Commit bf6ca5ad authored by Ralf Jung's avatar Ralf Jung

update README

parent 986830b7
......@@ -3,18 +3,14 @@ PREREQUISITES
This version is known to compile with:
- Coq 8.5 beta 3
- SCons 2.0
- Coq 8.5
- Ssreflect 1.6
- Autosubst 1.4
BUILDING INSTRUCTIONS
---------------------
Say "scons" to build the full 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
Run the following commands to build the full development:
./configure
make
Markdown is supported
0%
or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment