From: vijay_ganesh <vijay_ganesh@e59a4935-1847-0410-ae03-e826735625c1>
Date: Wed, 21 Oct 2009 20:57:53 +0000 (+0000)
Subject: config.info is now getting deleted during make clean
X-Git-Url: https://git.unchartedbackwaters.co.uk/w/?a=commitdiff_plain;h=0147f3f7bd15db80fc2e0ded5d6e4d80f6871cab;p=francis%2Fstp.git

config.info is now getting deleted during make clean

git-svn-id: https://stp-fast-prover.svn.sourceforge.net/svnroot/stp-fast-prover/trunk/stp@335 e59a4935-1847-0410-ae03-e826735625c1
---

diff --git a/Makefile b/Makefile
index a4b8f8d..d49ade2 100644
--- a/Makefile
+++ b/Makefile
@@ -51,7 +51,7 @@ install: all
 
 .PHONY: clean
 clean:
-	rm -rf *~ scripts/*~
+	rm -rf *~ scripts/*~ scripts/config.info
 	rm -rf *.a
 	rm -rf lib/*.a
 	rm -rf test/*~
diff --git a/clean-install.sh b/clean-install.sh
index 2b948c4..da224d7 100755
--- a/clean-install.sh
+++ b/clean-install.sh
@@ -16,8 +16,7 @@ while [ $# -gt 0 ]; do
     shift
 done
 
-
-./scripts/configure --with-prefix=$PREFIX
 make clean
+./scripts/configure --with-prefix=$PREFIX
 make install
 
diff --git a/scripts/Makefile.in b/scripts/Makefile.in
index a4b8f8d..d49ade2 100644
--- a/scripts/Makefile.in
+++ b/scripts/Makefile.in
@@ -51,7 +51,7 @@ install: all
 
 .PHONY: clean
 clean:
-	rm -rf *~ scripts/*~
+	rm -rf *~ scripts/*~ scripts/config.info
 	rm -rf *.a
 	rm -rf lib/*.a
 	rm -rf test/*~
diff --git a/src/sat/mtl/template.mk b/src/sat/mtl/template.mk
index 4c27893..baf87a3 100644
--- a/src/sat/mtl/template.mk
+++ b/src/sat/mtl/template.mk
@@ -77,7 +77,8 @@ lib$(LIB).a lib$(LIB)d.a lib$(LIB)p.a:
 ## Clean rule
 clean:
 	@rm -f *~ $(EXEC) $(EXEC)_profile $(EXEC)_debug $(EXEC)_release $(EXEC)_static \
-	  $(COBJS) $(PCOBJS) $(DCOBJS) $(RCOBJS) *.core depend.mak lib$(LIB).a lib$(LIB)d.a lib$(LIB)p.a
+	$(COBJS) $(PCOBJS) $(DCOBJS) $(RCOBJS) *.core depend.mk depend.mak lib$(LIB).a \
+	lib$(LIB)d.a lib$(LIB)p.a
 
 ## Make dependencies
 depend.mk: $(CSRCS) $(CHDRS)