Compile with dune and make Andromeda into an OPAM package

Question

andrejbauer opened this issue 5 years ago · 2 comments

We should switch to Dune for compilation and make Andromeda installable by OPAM (it used to be).

Answer 1 · 2019-09-11T14:53:34.000Z

Do the opam instructions at http://www.andromeda-prover.org/install.html work for you, @andrejbauer ?
We can switch to dune, agreed.

Answer 2 · 2019-09-11T19:28:21.000Z

I'll verify them when I get to this issue. I was just making a list of things that should be done before we can reasonably make a public release.