diff options
author | 2001-04-24 11:47:14 +0000 | |
---|---|---|
committer | 2001-04-24 11:47:14 +0000 | |
commit | 71cdba7cd8ac9593d46490e62d7f5ff470bddaa3 (patch) | |
tree | c76e1abdfcc2ad9761a62ba429978b59e459d5b1 /Makefile | |
parent | ef67c616e5195c08b9502869a5b8f7e8432e1593 (diff) |
bin/coqtop est un lien vers bin/coqtop.$(BEST)
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@1680 85f007b7-540e-0410-9357-904b9bb8a0f7
Diffstat (limited to 'Makefile')
-rw-r--r-- | Makefile | 7 |
1 files changed, 6 insertions, 1 deletions
@@ -216,9 +216,11 @@ COQC=bin/coqc$(EXE) COQTOPBYTE=bin/coqtop.byte$(EXE) COQTOPOPT=bin/coqtop.opt$(EXE) BESTCOQTOP=bin/coqtop.$(BEST)$(EXE) +COQTOP=bin/coqtop$(EXE) COQINTERFACE=bin/coq-interface$(EXE) bin/parser -COQBINARIES= $(COQMKTOP) $(COQC) $(COQTOPBYTE) $(BESTCOQTOP) $(COQINTERFACE) +COQBINARIES= $(COQMKTOP) $(COQC) $(COQTOPBYTE) $(BESTCOQTOP) $(COQTOP) \ + $(COQINTERFACE) world: $(COQBINARIES) states theories contrib tools @@ -229,6 +231,9 @@ $(COQTOPOPT): $(COQMKTOP) $(CMX) $(USERTACCMX) $(COQTOPBYTE): $(COQMKTOP) $(CMO) $(USERTACCMO) $(COQMKTOP) -top $(INCLUDES) $(CAMLDEBUG) -o $@ +$(COQTOP): + cd bin; ln -sf coqtop.$(BEST)$(EXE) coqtop$(EXE) + # coqmktop COQMKTOPCMO=$(CONFIG) scripts/tolink.cmo scripts/coqmktop.cmo |