Hi, Jens
I switched to ocaml 4.05.0, it worked. Thanks!
BTW, someone compiled why3 0.88.3 using ocaml 4.06.1 on macos 10.13.4
successfully. If I updated the os, then I would test it!
Sincerely
2018-04-17 8:58 GMT+08:00 wenlong xie :
> Hi, may it be 4.06.1, thanks for your remind, I check it later
Hi, may it be 4.06.1, thanks for your remind, I check it later!
Sincerely!
2018-04-16 21:53 GMT+08:00 Gerlach, Jens :
> Hello,
>
> I am using why3 0.88.3 without problems on my Mac(s).
> I remember that there was an issue with ocaml which made it necessary to
> resort to ocaml version 4.05.0.
> W
Hello,
I am using why3 0.88.3 without problems on my Mac(s).
I remember that there was an issue with ocaml which made it necessary to resort
to ocaml version 4.05.0.
Which version of ocaml are you using?
Regards
Jens
___
Why3-club mailing list
Why3-c
Hello,
On 2018-04-14 21:15, wenlong xie writes:
> Hi, I have tried both opam depext conf-pkg-config and export
> PKG_CONFIG_PATH=/usr/local/lib/pkgconfig:/usr/local/opt/
> libxml2/lib/pkgconfig:/opt/X11/lib/pkgconfig:$PKG_CONFIG_PATH, but there is
> still an error as following:
The error is d
Hi, I have tried both opam depext conf-pkg-config and export
PKG_CONFIG_PATH=/usr/local/lib/pkgconfig:/usr/local/opt/
libxml2/lib/pkgconfig:/opt/X11/lib/pkgconfig:$PKG_CONFIG_PATH, but there is
still an error as following:
opam install why3
The following actions will be performed:
∗ install w
opam depext conf-pkg-config
may be worth a try too.
Alix
On Fri, Apr 13, 2018 at 8:34 AM Alan Schmitt
wrote:
> On 2018-04-12 19:12, Virgile Prevosto writes:
>
> > 2018-04-12 18:36 GMT+02:00 wenlong xie :
> >>
> >>
> >> [conf-gtksourceview: pkg-config gtksourceview-2.0] Command started
> >> +
On 2018-04-12 19:12, Virgile Prevosto writes:
> 2018-04-12 18:36 GMT+02:00 wenlong xie :
>>
>>
>> [conf-gtksourceview: pkg-config gtksourceview-2.0] Command started
>> + pkg-config "--short-errors" "--print-errors" "gtksourceview-2.0"
>> (CWD=/Users/wenlongxie/.opam/system/build/conf-gtksourcevie
2018-04-12 18:36 GMT+02:00 wenlong xie :
>
>
> [conf-gtksourceview: pkg-config gtksourceview-2.0] Command started
> + pkg-config "--short-errors" "--print-errors" "gtksourceview-2.0"
> (CWD=/Users/wenlongxie/.opam/system/build/conf-gtksourceview.2)
> [ERROR] The compilation of conf-gtksourceview f
opam install --verbose why3
The following actions will be performed:
∗ install conf-gtksourceview 2 [required by why3]
∗ install lablgtk2.18.6[required by why3]
∗ install ocamlgraph 1.8.8 [required by why3]
∗ install why3-base 0.88.3
Hello,
thanks for your answer, but please reply to the list and not just myself
2018-04-11 2:55 GMT+02:00 wenlong xie :
> Hi
> First I did install depext with opam install depext
>
> Second, I tried opam depext conf-gtksourceview.2, result as following:
> OPAM plugin depext is not installed. I
Hello,
As I asked on the issue you opened on Frama-C's bts yesterday (
https://bts.frama-c.com/view.php?id=2373) for the exact same problem: did
you try the suggestion offered by opam, i.e.
launching opam depext conf-gtksourceview.2? There is apparently an issue
with the way gtksourceview was inst
My mac os version is 10.13.3, opam version is 1.2.2 and ocaml version is
4.06.1
I tried to install why3 as the following link:
http://frama-c.com/install-sulfur-20171101.html#installing-frama-c-on-mac-os-x
All is OK except opam install altgr-ergo why3, errors:
[ERROR] The compilation of conf-gtksou
12 matches
Mail list logo
