forked from coq-community/corn
Coq Repository at Nijmegen
License
QuanticPotato/corn
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
Folders and files
Name | Name | Last commit message | Last commit date | |
---|---|---|---|---|
Repository files navigation
C-CoRN, the Coq Constructive Repository at Nijmegen --------------------------------------------------- PREREQUISITES ------------- This version of C-CoRN is known to compile with: - Coq 8.4pl4 - SCons 1.2 GIT CHECKOUT & SUBMODULES ------------------------- 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. Math Classes is contained in the C-CoRN git repository as a submodule. You can obtain math-classes automatically by giving the --recursive option when you clone the git repository: git clone --recursive https://github.com/c-corn/corn.git If you have already cloned the CoRN repository without --recursive, you can still get the submodules with git submodule update --init --recursive BUILDING C-CoRN --------------- 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 at http://www.scons.org/ BUILDING DOCUMENTATION ---------------------- To build CoqDoc documentation, say "scons coqdoc".
About
Coq Repository at Nijmegen
Resources
License
Stars
Watchers
Forks
Releases
No releases published
Packages 0
No packages published
Languages
- Coq 97.2%
- TeX 2.5%
- Makefile 0.2%
- Verilog 0.1%
- Python 0.0%
- OCaml 0.0%