[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: [MirageOS-devel] Problem compiling Jitsu
| It should have picked up the right ezjsonm constraints when Irmin was pinned. Perhaps the Irmin `opam` file in the working repository has the incorrect upper bound. I occasionally find out-of-sync opam files in other repositories and sync them up.
Anil On 12 Oct 2015, at 10:25, Magnus Skjegstad < magnus@xxxxx> wrote:
Jitsu doesn't use ezjsonm directly. It looks like the constraint is correct for Irmin 0.9.9 though [1] -- shouldn't ezjsonm 0.4.1 have been installed automatically when Irmin was pinned?
(Could also be related to [2])
On Mon, 12 Oct 2015, at 10:12, Anil Madhavapeddy wrote:
Thanks -- is there a bug open for the ezjsonm constraint as well? The older versions of Jitsu should all have upper bounds to prevent the conflicting libraries from being selected.
Anil
FYI
---------- Forwarded message ----------
Date: Fri, Oct 9, 2015 at 12:58 PM
Subject: Re: [MirageOS-devel] Problem compiling Jitsu
Thank you for the quick reply! I got it working now. I had to also pin the ezjsonm to 0.4.1.
> opam pin add ezjsonm 0.4.1
BR,
Heikki
On Fri, Oct 9, 2015 at 10:52 AM, Magnus Skjegstad <magnus@xxxxx> wrote:
On Fri, 9 Oct 2015, at 18:58, Heikki Mahkonen wrote:
Can anybody help with this? I have problem compiling mirage/jitsu on Ubuntu.
[...]
# Error: Unbound type constructor Irmin.t
# make: *** [/home/user/.opam/4.01.0/build/jitsu.0.2/bin/jitsu] Error 2
This error is caused by a recent API change in Irmin 0.9.10 and will be fixed in the next version of Jitsu.
As a temporary solution you can pin Irmin to version 0.9.9 with 'opam pin add irmin 0.9.9'. You should then be able to install Jitsu with 'opam install jitsu'.
I have submitted a PR to add a version constraint in opam [1], but it may take some time before it is merged and propagated.
Magnus
_______________________________________________
MirageOS-devel mailing list
_______________________________________________
MirageOS-devel mailing list
_______________________________________________ MirageOS-devel mailing list MirageOS-devel@xxxxxxxxxxxxxxxxxxxxhttp://lists.xenproject.org/cgi-bin/mailman/listinfo/mirageos-devel
|
_______________________________________________
MirageOS-devel mailing list
MirageOS-devel@xxxxxxxxxxxxxxxxxxxx
http://lists.xenproject.org/cgi-bin/mailman/listinfo/mirageos-devel
|
