diff options
| author | herbelin | 2003-10-08 10:37:15 +0000 |
|---|---|---|
| committer | herbelin | 2003-10-08 10:37:15 +0000 |
| commit | f844897e7258db969e86f2e48e50e29ca5ec5802 (patch) | |
| tree | 5c19749542c5ef61e8ed3ce228f2dd2bec3ad863 | |
| parent | 81033f8407490ceb985e0c64b69b82ddf3f4cd30 (diff) | |
Renommage no-strict en -strict-implicit
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@4542 85f007b7-540e-0410-9357-904b9bb8a0f7
| -rw-r--r-- | Makefile | 14 |
1 files changed, 7 insertions, 7 deletions
@@ -422,7 +422,7 @@ FULLIDELIB=$(FULLCOQLIB)/ide COQIDEVO=ide/utf8.vo $(COQIDEVO): states/initial.coq - $(BOOTCOQTOP) $(TTRANSLATE) -compile $* + $(BOOTCOQTOP) $(TRANSLATE) -compile $* IDEFILES=$(COQIDEVO) ide/coq.png ide/.coqide-gtk2rc ide/FAQ @@ -794,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) $(TTRANSLATE) -nois -compile theories/Init/$* + $(BOOTCOQTOP) $(TRANSLATE) -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) $(TTRANSLATE) -compile theories/$* + $(BOOTCOQTOP) $(TRANSLATE) -compile theories/$* newcontrib/%.v: contrib/%.vo @$(MKDIR) newcontrib/`dirname $*` @cp -f contrib/$*.v8 newcontrib/$*.v contrib/%.vo: contrib/%.v states/initial.coq - $(BOOTCOQTOP) $(TTRANSLATE) -compile contrib/$* + $(BOOTCOQTOP) $(TRANSLATE) -compile contrib/$* newtheories/Init/%.vo: $(BESTCOQTOP) newtheories/Init/%.v $(BOOTCOQTOP) -nois -compile $* @@ -820,14 +820,14 @@ newcontrib/%.vo: newcontrib/%.v states/initialnew.coq $(BOOTCOQTOP) -compile newcontrib/$* contrib/extraction/%.vo: contrib/extraction/%.v states/barestate.coq $(COQC) - $(BOOTCOQTOP) $(TTRANSLATE) -is states/barestate.coq -compile $* + $(BOOTCOQTOP) $(TRANSLATE) -is states/barestate.coq -compile $* # Obsolete ? contrib/interface/Centaur.vo: contrib/interface/Centaur.v $(INTERFACE) - $(BESTCOQTOP) $(TTRANSLATE) -boot -byte $(COQOPTS) -compile $* + $(BESTCOQTOP) $(TRANSLATE) -boot -byte $(COQOPTS) -compile $* # Obsolete ? contrib/interface/AddDad.vo: contrib/interface/AddDad.v $(INTERFACE) states/initial.coq - $(BESTCOQTOP) $(TTRANSLATE) -boot -byte $(COQOPTS) -compile $* + $(BESTCOQTOP) $(TRANSLATE) -boot -byte $(COQOPTS) -compile $* clean:: rm -f states/*.coq |