Hello,

On 2018-04-14 21:15, wenlong xie <wlxie.buaa...@gmail.com> 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 different now:

> # File "src/util/bigInt.ml", line 12, characters 5-12:
> # Error: Unbound module Big_int

I'm surprised that the module is not bound. Maybe someone who knows
better how why3 is compiled will have a suggestion.

Best,

Alan

-- 
OpenPGP Key ID : 040D0A3B4ED2E5C7
Monthly Athmospheric CO₂, Mauna Loa Obs. 2018-03: 409.46, 2017-03: 407.18

Attachment: signature.asc
Description: PGP signature

_______________________________________________
Why3-club mailing list
Why3-club@lists.gforge.inria.fr
https://lists.gforge.inria.fr/mailman/listinfo/why3-club

Reply via email to