search

Andromedans / andromeda

A proof assistant for general type theories
http://www.andromeda-prover.org/
Other
297 stars 34 forks source link

s/Pervasives/Stdlib/g for OCaml >= 4.08.0, closes #470 #471

Closed haselwarter closed 5 years ago

haselwarter commented 5 years ago

This will move the minimal OCaml version to 4.07.0 (I think), but use of Pervasives is deprecated since 4.08.0, which causes compilation to fail, as kindly reported by @mikeshulman in #470.

mikeshulman commented 5 years ago

I can confirm that this fixes #470.

haselwarter commented 5 years ago

This got a bit more complicated than anticipated.

Due to a breaking change in OCaml, the minimum supported version for Andromeda will henceforth be 4.07.0. While we could make older compilers happy, I think the required complexity in the build system is unjustified, as recent compilers are available for all platforms, as far as I can tell.

However, the version of OCaml and Opam provided by the Travis CI are outdated, so instead we're going to use Anil's version of Opam 2 from https://launchpad.net/~avsm and build Andromeda as the instructions on the website recommend. For now, the CI uses OCaml 4.07.0, but we can update this as we please.