Skip to content

Rewrite create_makefile.sh as a Makefile

Pierre Roux requested to merge proux1/rt-proofs:make_call_create into master

This simplifies the build process. We now only need to type make to launch the compilation, the Makefile will create the _CoqProject and Makefile.coq files itself.

Merge request reports