diff options
| -rw-r--r-- | .cvsignore | 3 | ||||
| -rw-r--r-- | Makefile | 5 | ||||
| -rw-r--r-- | bin/.cvsignore | 2 | ||||
| -rw-r--r-- | states/.cvsignore | 1 |
4 files changed, 10 insertions, 1 deletions
diff --git a/.cvsignore b/.cvsignore index 612daa2842..d967058e17 100644 --- a/.cvsignore +++ b/.cvsignore @@ -5,3 +5,6 @@ coqtop.opt glob.dump tmp .depend.devel +newtheories +newcontrib +*.v8 @@ -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 diff --git a/bin/.cvsignore b/bin/.cvsignore index 95b4ec7f83..6684912e0e 100644 --- a/bin/.cvsignore +++ b/bin/.cvsignore @@ -14,3 +14,5 @@ coq_vo2xml coq-interface.opt coqide.byte coqide.opt +coqtopnew.opt +coqtopnew.byte diff --git a/states/.cvsignore b/states/.cvsignore index ccc79cdf73..600e2f7a34 100644 --- a/states/.cvsignore +++ b/states/.cvsignore @@ -1,2 +1,3 @@ barestate.coq initial.coq +initialnew.coq |