• ocaml-base-compiler package conflict when updating opam-debian-switch

    From Silas@21:1/5 to All on Sun Jul 2 19:20:01 2023
    Hey all,

    I've been directed to take a look at opam-debian-switch to identify ways to contribute to the project, and I've been trying to replicate the workflow described in the Readme.

    The first thing I noticed is that I was unable to run make because it seems that there are some new packages added to the debian repo that have not
    been added to the pkgmap.json, so I made those changes. Once, I was able to run make, I ran into a different error.

    When running setup.opam.sh as builder, I get an error at the step of installing from opams-to-install.txt. It seems to be unable to install ocaml-base-compiler:

    [ERROR] Package conflict!
    * No agreement on the version of ocaml-base-compiler:
    - ocaml-base-compiler
    - (invariant) -> ocaml-base-compiler = 4.13.1
    You can temporarily relax the switch invariant with `--update-
    invariant'
    * Incompatible packages:
    - ocaml-base-compiler
    - (invariant) -> ocaml-system = 4.13.1

    What should I do about this error? Is there something wrong with ocaml- base-compiler rather than opam-debian-switch?

    Is there a mistake I could have made in the workflow? I tried schroot with both sid and stable, and I got the same error twice.

    My guess is that I shouldn't just mark ocaml-base-compiler with "!".

    Best,
    Silas

    --- SoupGate-Win32 v1.05
    * Origin: fsxNet Usenet Gateway (21:1/5)
  • From =?UTF-8?Q?St=c3=a9phane_Glondu?=@21:1/5 to All on Tue Jul 18 13:50:02 2023
    Dear Silas,

    Le 02/07/2023 à 19:18, Silas a écrit :
    I've been directed to take a look at opam-debian-switch to identify ways to contribute to the project, and I've been trying to replicate the workflow described in the Readme.
    [...]

    I'm so sorry, I just only saw your e-mail.

    I must admit opam-debian-switch is a bit hackish at the moment... I
    updated it the day before yesterday, and it mostly works. You just have
    to apt-install xdot in the chroot manually, and remove ppx-globalize
    from opams-to-install before running setup-opam.sh.


    Cheers,

    --
    Stéphane

    --- SoupGate-Win32 v1.05
    * Origin: fsxNet Usenet Gateway (21:1/5)
  • From Silas@21:1/5 to All on Fri Jul 28 02:00:01 2023
    This is a multi-part message in MIME format.

    VGhhbmtzIGZvciB0aGUgaGVscCEKCk15IGxhcHRvcCBkaWVkLCBzbyBJIHdvbid0IGJlIGFibGUg dG8gdGVzdCB0aGlzIG91dCB1bnRpbCBJIGJ1eSBhIG5ldyBvbmUuCgpCZXN0LApTaWxhcwoKLS0t LS0tLS0gT3JpZ2luYWwgTWVzc2FnZSAtLS0tLS0tLQpPbiBKdWwgMTgsIDIwMjMsIDA3OjQzLCBT dMOpcGhhbmUgR2xvbmR1IHdyb3RlOgoKPiBEZWFyIFNpbGFzLCBMZSAwMi8wNy8yMDIzIMOgIDE5 OjE4LCBTaWxhcyBhIMOpY3JpdCA6ID4gSSd2ZSBiZWVuIGRpcmVjdGVkIHRvIHRha2UgYSBsb29r IGF0IG9wYW0tZGViaWFuLXN3aXRjaCB0byBpZGVudGlmeSB3YXlzIHRvID4gY29udHJpYnV0ZSB0 byB0aGUgcHJvamVjdCwgYW5kIEkndmUgYmVlbiB0cnlpbmcgdG8gcmVwbGljYXRlIHRoZSB3b3Jr ZmxvdyA+IGRlc2NyaWJlZCBpbiB0aGUgUmVhZG1lLiA+IFsuLi5dIEknbSBzbyBzb3JyeSwgSSBq dXN0IG9ubHkgc2F3IHlvdXIgZS1tYWlsLiBJIG11c3QgYWRtaXQgb3BhbS1kZWJpYW4tc3dpdGNo IGlzIGEgYml0IGhhY2tpc2ggYXQgdGhlIG1vbWVudC4uLiBJIHVwZGF0ZWQgaXQgdGhlIGRheSBi ZWZvcmUgeWVzdGVyZGF5LCBhbmQgaXQgbW9zdGx5IHdvcmtzLiBZb3UganVzdCBoYXZlIHRvIGFw dC1pbnN0YWxsIHhkb3QgaW4gdGhlIGNocm9vdCBtYW51YWxseSwgYW5kIHJlbW92ZSBwcHgtZ2xv YmFsaXplIGZyb20gb3BhbXMtdG8taW5zdGFsbCBiZWZvcmUgcnVubmluZyBzZXR1cC1vcGFtLnNo LiBDaGVlcnMsIC0tIFN0w6lwaGFuZQ==

    PGJyPlRoYW5rcyBmb3IgdGhlIGhlbHAhPGJyPjxicj5NeSBsYXB0b3AgZGllZCwgc28gSSB3b24n dCBiZSBhYmxlIHRvIHRlc3QgdGhpcyBvdXQgdW50aWwgSSBidXkgYSBuZXcgb25lLjxicj48YnI+ QmVzdCw8YnI+U2lsYXM8YnI+PGJyPjxicj48YnI+LS0tLS0tLS0gT3JpZ2luYWwgTWVzc2FnZSAt LS0tLS0tLTxicj5PbiBKdWwgMTgsIDIwMjMsIDA3OjQzLCBTdMOpcGhhbmUgR2xvbmR1IDwgZ2xv bmR1QGRlYmlhbi5vcmc+IHdyb3RlOjxibG9ja3F1b3RlIGNsYXNzPSJwcm90b25tYWlsX3F1b3Rl Ij48YnI+RGVhciBTaWxhcywNCg0KTGUgMDIvMDcvMjAyMyDDoCAxOToxOCwgU2lsYXMgYSDDqWNy aXTCoDoNCj4gSSd2ZSBiZWVuIGRpcmVjdGVkIHRvIHRha2UgYSBsb29rIGF0IG9wYW0tZGViaWFu LXN3aXRjaCB0byBpZGVudGlmeSB3YXlzIHRvDQo+IGNvbnRyaWJ1dGUgdG8gdGhlIHByb2plY3Qs IGFuZCBJJ3ZlIGJlZW4gdHJ5aW5nIHRvIHJlcGxpY2F0ZSB0aGUgd29ya2Zsb3cNCj4gZGVzY3Jp YmVkIGluIHRoZSBSZWFkbWUuDQo+IFsuLi5dDQoNCkknbSBzbyBzb3JyeSwgSSBqdXN0IG9ubHkg c2F3IHlvdXIgZS1tYWlsLg0KDQpJIG11c3QgYWRtaXQgb3BhbS1kZWJpYW4tc3dpdGNoIGlzIGEg Yml0IGhhY2tpc2ggYXQgdGhlIG1vbWVudC4uLiBJDQp1cGRhdGVkIGl0IHRoZSBkYXkgYmVmb3Jl IHllc3RlcmRheSwgYW5kIGl0IG1vc3RseSB3b3Jrcy4gWW91IGp1c3QgaGF2ZQ0KdG8gYXB0LWlu c3RhbGwgeGRvdCBpbiB0aGUgY2hyb290IG1hbnVhbGx5LCBhbmQgcmVtb3ZlIHBweC1nbG9iYWxp emUNCmZyb20gb3BhbXMtdG8taW5zdGFsbCBiZWZvcmUgcnVubmluZyBzZXR1cC1vcGFtLnNoLg0K DQoNCkNoZWVycywNCg0KLS0NClN0w6lwaGFuZQ0KDQo8L2Rpdj4=

    --- SoupGate-Win32 v1.05
    * Origin: fsxNet Usenet Gateway (21:1/5)