search

antoinemine / apron

Apron Numerical Abstract Domain Library
Other
114 stars 33 forks source link

Installation via opam fails #70

Closed haselwarter closed 1 year ago

haselwarter commented 1 year ago

On my laptop running Arch Linux, with MPFR 4.2.0, GMP 6.2.1, and OCaml 4.14.1 or 4.12.1, opam install apron fails (on a fresh opam switch) to compile apron. Building master from source works. opam pin add --dev-repo apron can be used as a workaround to install master through opam (thanks to octachron on #ocaml).

antoinemine commented 1 year ago

Could you please tell me how it fails? What are the logs?

haselwarter commented 1 year ago

This is the log recorded by opam https://pastebin.mozilla.org/VfV3PeHt

antoinemine commented 1 year ago

OK, this is a duplicate of #56. The fix is in master and will be included in the next release.

maroneze commented 1 year ago

Hi,

I just stumbled upon this issue when trying to install apron on an Alpine Linux 3.18 and on a Fedora 38, both of which use Make 4.4. The fix is very useful.

Do you intend to make a release of apron soon? Or would providing a patch file to opam be useful?

antoinemine commented 1 year ago

There is a beta release for Apron 0.9.14. It has also been submitted to opam. So, I close this issue. Feel free to reopen f the release does not solve the problem.