diff options
| author | herbelin | 2003-10-08 10:36:21 +0000 |
|---|---|---|
| committer | herbelin | 2003-10-08 10:36:21 +0000 |
| commit | 81033f8407490ceb985e0c64b69b82ddf3f4cd30 (patch) | |
| tree | 7d51f5c573f72fa10b55e456170737580bc6ebb7 | |
| parent | 63e4c65712e6f7b35434dc10f6ad892c4ae5cd04 (diff) | |
Renommage no-strict en -strict-implicit
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@4541 85f007b7-540e-0410-9357-904b9bb8a0f7
| -rw-r--r-- | Makefile | 15 |
1 files changed, 8 insertions, 7 deletions
@@ -80,6 +80,7 @@ COQINCLUDES= # coqtop includes itself the needed paths GLOB= # is "-dump-glob file" when making the doc COQ_XML= # is "-xml" when building XML library COQOPTS=$(GLOB) $(COQ_XML) +TRANSLATE=-translate -strict-implicit BOOTCOQTOP=$(BESTCOQTOP) -boot $(COQOPTS) @@ -421,7 +422,7 @@ FULLIDELIB=$(FULLCOQLIB)/ide COQIDEVO=ide/utf8.vo $(COQIDEVO): states/initial.coq - $(BOOTCOQTOP) -translate -no-strict -compile $* + $(BOOTCOQTOP) $(TTRANSLATE) -compile $* IDEFILES=$(COQIDEVO) ide/coq.png ide/.coqide-gtk2rc ide/FAQ @@ -793,21 +794,21 @@ newtheories/Init/%.v: $(BESTCOQTOP) theories/Init/%.vo @cp -f theories/Init/$*.v8 newtheories/Init/$*.v theories/Init/%.vo: $(BESTCOQTOP) theories/Init/%.v - $(BOOTCOQTOP) -translate -no-strict -nois -compile theories/Init/$* + $(BOOTCOQTOP) $(TTRANSLATE) -nois -compile theories/Init/$* newtheories/%.v: theories/%.vo @$(MKDIR) newtheories/`dirname $*` @cp -f theories/$*.v8 newtheories/$*.v theories/%.vo: theories/%.v states/initial.coq - $(BOOTCOQTOP) -translate -no-strict -compile theories/$* + $(BOOTCOQTOP) $(TTRANSLATE) -compile theories/$* newcontrib/%.v: contrib/%.vo @$(MKDIR) newcontrib/`dirname $*` @cp -f contrib/$*.v8 newcontrib/$*.v contrib/%.vo: contrib/%.v states/initial.coq - $(BOOTCOQTOP) -translate -no-strict -compile contrib/$* + $(BOOTCOQTOP) $(TTRANSLATE) -compile contrib/$* newtheories/Init/%.vo: $(BESTCOQTOP) newtheories/Init/%.v $(BOOTCOQTOP) -nois -compile $* @@ -819,14 +820,14 @@ newcontrib/%.vo: newcontrib/%.v states/initialnew.coq $(BOOTCOQTOP) -compile newcontrib/$* contrib/extraction/%.vo: contrib/extraction/%.v states/barestate.coq $(COQC) - $(BOOTCOQTOP) -translate -no-strict -is states/barestate.coq -compile $* + $(BOOTCOQTOP) $(TTRANSLATE) -is states/barestate.coq -compile $* # Obsolete ? contrib/interface/Centaur.vo: contrib/interface/Centaur.v $(INTERFACE) - $(BESTCOQTOP) -translate -no-strict -boot -byte $(COQOPTS) -compile $* + $(BESTCOQTOP) $(TTRANSLATE) -boot -byte $(COQOPTS) -compile $* # Obsolete ? contrib/interface/AddDad.vo: contrib/interface/AddDad.v $(INTERFACE) states/initial.coq - $(BESTCOQTOP) -translate -no-strict -boot -byte $(COQOPTS) -compile $* + $(BESTCOQTOP) $(TTRANSLATE) -boot -byte $(COQOPTS) -compile $* clean:: rm -f states/*.coq |