diff options
| author |  barras <barras@85f007b7-540e-0410-9357-904b9bb8a0f7> | 2003-03-14 11:05:13 +0000 |
|---|---|---|
| committer | barras <barras@85f007b7-540e-0410-9357-904b9bb8a0f7> | 2003-03-14 11:05:13 +0000 |
| commit | a7c6877a572c69da81d96fc29e0c212a81b6bf10 (patch) | |
| tree | 5d2e414ef6167b63837ac0a2c09933c82c158da2 /Makefile | |
| parent | 450ef302a756c7ea29c06bb2cdb8053836f2a67c (diff) | |
*** empty log message ***
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@3771 85f007b7-540e-0410-9357-904b9bb8a0f7
Diffstat (limited to 'Makefile')
| -rw-r--r-- | Makefile | 5 |
1 files changed, 4 insertions, 1 deletions
@@ -311,7 +311,6 @@ COQTOPBYTE=bin/coqtop.byte$(EXE) COQTOPOPT=bin/coqtop.opt$(EXE) BESTCOQTOP=bin/coqtop.$(BEST)$(EXE) COQTOP=bin/coqtop$(EXE) -COQTOPNEW=bin/coqtopnew$(EXE) COQINTERFACE=bin/coq-interface$(EXE) bin/coq-interface.opt$(EXE) bin/parser$(EXE) COQBINARIES= $(COQMKTOP) $(COQC) $(COQTOPBYTE) $(BESTCOQTOP) $(COQTOP) \ @@ -1271,3 +1270,7 @@ newtheories/%.vo: newtheories/%.v states/initialnew.coq sed -e "s|theories/\([^ ]*\.v\)|newtheories/\1|g" -e "s|contrib/\([^ ]*\.v\)|newcontrib/\1|g" .depend.coq > .depend.newcoq include .depend.newcoq + +clean:: + rm -f bin/coqtopnew.byte$(EXE) bin/coqtopnew.opt$(EXE) + rm -fr *.v8 newtheories newcontrib |