test cleaning has to be defined in the same file has testing

Author: ybertot

Make_coq.local

@@ -64,7 +64,13 @@ TESTS_LOG=$(TESTS:%=%.log)
 TESTS_ORACLE=$(TESTS:%=%.oracle)
 TESTS_OK=$(TESTS:%=%.ok)
 
-DISTRIBUTED+=$(TESTS_SRC) $(TESTS_ORACLE)
+clean_test :
+	rm -f $(TESTS) $(TESTS_LOG) $(TESTS_OK)
+	rm -f $(TESTDIR)/Test.vo $(TESTDIR)/Test.glob
+	rm -f $(TESTDIR)/Morph.vo $(TESTDIR)/Morph.glob
+	rm -f $(TESTDIR)/Polymorph.vo $(TESTDIR)/Polymorph.glob
+	rm -f $(TESTDIR)/PrimitiveProjections.vo $(TESTDIR)/PrimitiveProjections.glob
+	rm -f  $(TESTDIR)/.*.vo.aux
 
 .PRECIOUS : $(TESTS) $(TESTS_LOG) $(TESTS_ORACLE)
 

Makefile

@@ -42,20 +42,13 @@ distrib : $(NAME)-$(VERSION).tgz
 
 
 #-------------------------------------------------------------------------------
-# Configuration
+# testing
+
 
 #-------------------------------------------------------------------------------
 clean_coq : Make_coq
 	$(MAKE) -f $< clean
 
-clean_test :
-	rm -f $(TESTS) $(TESTS_LOG) $(TESTS_OK)
-	rm -f $(TESTDIR)/Test.vo $(TESTDIR)/Test.glob
-	rm -f $(TESTDIR)/Morph.vo $(TESTDIR)/Morph.glob
-	rm -f $(TESTDIR)/Polymorph.vo $(TESTDIR)/Polymorph.glob
-	rm -f $(TESTDIR)/PrimitiveProjections.vo $(TESTDIR)/PrimitiveProjections.glob
-	rm -f  $(TESTDIR)/.*.vo.aux
-
 clean_config:
 	rm -rf autom4te.cache
 	rm -f configure config.log config.status