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 a4b8f8d835dda539edec6f6eef07049dcacd051f..d49ade215f9834762080ccb847dba7db25d418b2 100644 (file)
--- 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 2b948c4ad5b9b17f4671ea444ff8a2b46d1676a9..da224d7f02d1c595b3e529bc789dcd1f50bbab70 100755 (executable)
--- 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 a4b8f8d835dda539edec6f6eef07049dcacd051f..d49ade215f9834762080ccb847dba7db25d418b2 100644 (file)
--- 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 4c27893b2ab18b55b8b6d4893fda393d2d8d5235..baf87a31fdefd5095bbe10b1fd2b0aca3b9e356d 100644 (file)
--- 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)