diff options
| author | herbelin | 2003-09-15 09:04:15 +0000 |
|---|---|---|
| committer | herbelin | 2003-09-15 09:04:15 +0000 |
| commit | bf1ff3f34c386d3f846b08d66db4178d4bc4152e (patch) | |
| tree | 9632099f9bfe0e670262056478477cc648b0bca9 | |
| parent | 32b768c62eada16d07453b63fd4bdabfebed0d05 (diff) | |
Reprise de coqbinaries dans translation
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@4399 85f007b7-540e-0410-9357-904b9bb8a0f7
| -rw-r--r-- | Makefile | 10 |
1 files changed, 5 insertions, 5 deletions
@@ -329,13 +329,13 @@ COQBINARIES= $(COQMKTOP) $(COQC) $(COQTOPBYTE) $(BESTCOQTOP) $(COQTOP) \ coqbinaries:: ${COQBINARIES} +# Aliases for various worlds newworld: world8 - -oldworld: world7 - world: world7 +translation: coqbinaries coqlib8-source +oldworld: world7 -world8: coqbinaries translation coqlib8 tools coqide +world8: coqbinaries coqlib8-source coqlib8 tools coqide world7: coqbinaries coqlib7 tools coqide @@ -1296,7 +1296,7 @@ devel: ############################################################################ # 1. Translate the old syntax files and build new syntax theories hierarchy -translation:: $(BESTCOQTOP) +coqlib8-source:: $(BESTCOQTOP) @$(MAKE) SYNTAX="-translate -no-strict" coqlib7 @$(MAKE) movenew |