search

abella-prover / abella

An interactive theorem prover based on lambda-tree syntax
https://abella-prover.org/
GNU General Public License v3.0
89 stars 18 forks source link

Move from ocamlbuild to dune #111

Closed chaudhuri closed 5 years ago

chaudhuri commented 5 years ago

Looks like much of the OCaml user community is picking Dune (http://dune.build) as the standard OCaml build system. I've already made sure that Abella compiles with Dune, but I'm hesitant to transition to it for the 2.0.6 release. This should be done for 2.0.7.

chaudhuri commented 5 years ago

This is way too much work. Dune's documentation is rubbish. Unlikely I'll get back to this unless things improve significantly.