The Coq Constructive Repository at Nijmegen.
Make sure that you added the Coq repository:
opam repo add coq-released https://coq.inria.fr/opam/released
and run:
opam install coq-corn
This version of C-CoRN is known to compile with:
- Coq 8.5
- SCons 1.2 or make
C-CoRN depends on Math Classes, which is a library of abstract interfaces for mathematical structures that is heavily based on Coq's new type classes. It will be automatically installed by opam.
C-CoRN uses SCons for its build infrastructure. SCons is a modern Python-based Make-replacement.
To build C-CoRN with SCons say scons
to build the whole library, or
scons some/module.vo
to just build some/module.vo
(and its dependencies).
In addition to common Make options like -j N
and -k
, SCons
supports some useful options of its own, such as --debug=time
, which
displays the time spent executing individual build commands.
scons -c replaces Make clean
For more information, see the SCons documentation.
Make is still supported.
To build CoqDoc documentation, say scons coqdoc
.