diff options
author | Quentin Garchery <garchery.quentin@gmail.com> | 2018-10-27 22:53:25 +0200 |
---|---|---|
committer | Valentin Blot <24938579+vblot@users.noreply.github.com> | 2018-10-27 22:53:25 +0200 |
commit | cefda895d15a3f7eb7bf75402beb6fae22162585 (patch) | |
tree | 7c0551bbb800f7e90677ac4b1c70c4cd80a928fc /src/versions | |
parent | fcc5d6af5f97b7efe9a38fa008abe82078ea2d39 (diff) | |
download | smtcoq-cefda895d15a3f7eb7bf75402beb6fae22162585.tar.gz smtcoq-cefda895d15a3f7eb7bf75402beb6fae22162585.zip |
Updated Makefile instructions
Diffstat (limited to 'src/versions')
-rw-r--r-- | src/versions/native/Make | 15 | ||||
-rw-r--r-- | src/versions/standard/Make | 14 |
2 files changed, 17 insertions, 12 deletions
diff --git a/src/versions/native/Make b/src/versions/native/Make index 57e85b8..c6ce237 100644 --- a/src/versions/native/Make +++ b/src/versions/native/Make @@ -9,12 +9,15 @@ ######################################################################## ## To generate the Makefile: ## ## coq_makefile -f Make -o Makefile ## -## Change the "all" target into: ## -## all: ml $(CMXFILES) $(CMXA) $(CMXS) $(VOFILES) ## -## Change the "install-natdynlink" target: change CMXSFILES into CMXS and add the same thing for CMXA and VCMXS. ## -## Change the "install" target: change CMO into CMX. ## -## Finally, suppress the "Makefile" target and add to the "clean" target: ## -## - rm -f NSMTCoq* cnf/NSMTCoq* euf/NSMTCoq* lia/NSMTCoq* spl/NSMTCoq* ../unit-tests/NSMTCoq* ../unit-tests/*.vo ../unit-tests/*.zlog ../unit-tests/*.vtlog verit/veritParser.mli verit/veritParser.ml verit/veritLexer.ml smtlib2/smtlib2_parse.mli smtlib2/smtlib2_parse.ml smtlib2/smtlib2_lex.ml ## +## In the Makefile : ## +## 1) Suppress the "Makefile" target ## +## 2) Change the "all" target into: ## +## all: ml $(CMXFILES) $(CMXA) $(CMXS) $(VOFILES) ## +## 3) Change the "install-natdynlink" target: ## +## change CMXSFILES into CMXS and add the same block for CMXA and VCMXS. ## +## 4) Change the "install" target: change CMOFILES into CMXFILES. ## +## 5) Add to the "clean" target: ## +## - rm -f NSMTCoq* cnf/NSMTCoq* euf/NSMTCoq* lia/NSMTCoq* spl/NSMTCoq* ../unit-tests/NSMTCoq* ../unit-tests/*.vo ../unit-tests/*.zlog ../unit-tests/*.vtlog verit/veritParser.mli verit/veritParser.ml verit/veritLexer.ml smtlib2/smtlib2_parse.mli smtlib2/smtlib2_parse.ml smtlib2/smtlib2_lex.ml ## ######################################################################## diff --git a/src/versions/standard/Make b/src/versions/standard/Make index 5322133..37822db 100644 --- a/src/versions/standard/Make +++ b/src/versions/standard/Make @@ -9,12 +9,14 @@ ######################################################################## ## To generate the Makefile: ## ## coq_makefile -f Make -o Makefile ## -## Suppress the "Makefile" target ## -## Suppress the "test", "ztest", "vtest" and "./" dependencies from ## -## the all target ## -## Suppress the "+" lines of the install and the clean targets ## -## Add to the clean target: ## -## - rm -f ../unit-tests/*.vo ../unit-tests/*.zlog ../unit-tests/*.vtlog verit/veritParser.mli verit/veritParser.ml verit/veritLexer.ml smtlib2/smtlib2_parse.mli smtlib2/smtlib2_parse.ml smtlib2/smtlib2_lex.ml ## +## In the Makefile : ## +## 1) Suppress the "Makefile" target ## +## 2) Change the "all" target: ## +## remove the "test", "ztest", "vtest" and "./" dependencies ## +## 3) Change the "install" and "clean" targets: ## +## Suppress the "+" lines ## +## 4) Add to the "clean" target: ## +## - rm -f ../unit-tests/*.vo ../unit-tests/*.zlog ../unit-tests/*.vtlog verit/veritParser.mli verit/veritParser.ml verit/veritLexer.ml smtlib2/smtlib2_parse.mli smtlib2/smtlib2_parse.ml smtlib2/smtlib2_lex.ml ## ######################################################################## |