Coq OCaml C Other
Latest commit fc82855 May 8, 2016 @robbertkrebbers Bump versions.
The accent in parser/Cabs.ml gave a 'Comment not terminated' with
OCaml 4.02.3, so I removed it.
Permalink
Failed to load latest commit information.
abstract_c
axiomatic
core_c
doc
extraction
include
memory
memory_refinements
memory_separation
parser
prelude
refinements
separation
site_scons/site_tools
tests
types
utils
.gitignore
LICENSE
README
SConstruct

README

PREREQUISITES
-------------

This version is known to compile with:

 - Coq 8.5pl2
 - SCons 2.5
 - Ocaml 4.02.3
 - GNU C preprocessor 6.1.1
 
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