diff options
Diffstat (limited to 'src/_CoqProject')
-rw-r--r-- | src/_CoqProject | 8 |
1 files changed, 5 insertions, 3 deletions
diff --git a/src/_CoqProject b/src/_CoqProject index 9ac5799..21bd41b 100644 --- a/src/_CoqProject +++ b/src/_CoqProject @@ -8,7 +8,7 @@ ######################################################################## ## To generate the Makefile: ## -## coq_makefile -f Make -o Makefile ## +## coq_makefile -f _CoqProject -o Makefile ## ## sed -i 's/^CAMLDONTLINK=unix,str$/CAMLDONTLINK=num,str,unix,dynlink,threads/' Makefile ## ## WARNING: DO NOT FORGET THE SECOND LINE (see PR#62) ## ######################################################################## @@ -26,6 +26,7 @@ -I lia -I smtlib2 -I trace +-I preproc -I verit -I zchaff -I PArray @@ -134,11 +135,12 @@ spl/Syntactic.v spl/Arithmetic.v spl/Operators.v -Conversion_tactics.v +preproc/Database_trakt.v +preproc/Conversion.v + Misc.v SMTCoq.v ReflectFacts.v -PropToBool.v QInst.v Tactics.v SMT_terms.v |