Removed tests and demo files from compilation targets.

Author: Matafou

Makefile.local

@@ -2,7 +2,7 @@
 # This adds compilation of a test file, without adding it to the
 # install target.
 
-post-all::
+tests:
 	@echo -n building tests...
 	$(SHOW) 'COQC LibHyps/LibHypsTest.v'
 	$(HIDE)$(TIMER) $(COQC) $(COQDEBUG) $(TIMING_ARG) $(COQFLAGS) -w -undo-batch-mode $(COQLIBS) ./LibHyps/LibHypsTest.v $(TIMING_EXTRA) 

_CoqProject

@@ -1,8 +1,8 @@
 -R LibHyps LibHyps
 
-./LibHyps/LibDecomp.v
-./LibHyps/TacNewHyps.v
-./LibHyps/LibHyps.v
-./LibHyps/LibHypsTactics.v
-./LibHyps/LibHypsNaming.v
-./LibHyps/LibSpecialize.v
+LibHyps/LibHypsNaming.v
+LibHyps/LibHypsTactics.v
+LibHyps/LibSpecialize.v
+LibHyps/LibDecomp.v
+LibHyps/TacNewHyps.v
+LibHyps/LibHyps.v

configure.sh

@@ -3,7 +3,7 @@
 FILES=`find . -name "*.v" -exec echo {} \;`
 echo "-R LibHyps LibHyps" > _CoqProject
 echo "" >> _CoqProject
-for i in `find . -name "*.v"| grep -v LibHypsNaming2 | grep -v LibHypsExamples | grep -v LibHypsDemo | grep -v LibHypsTest `; do
+for i in `find LibHyps -name "*.v"| grep -v LibHypsNaming2 | grep -v LibHypsExamples | grep -v LibHypsDemo | grep -v LibHypsTest | grep -v LibHypsRegression`; do
   echo $i >> _CoqProject
 done
 coq_makefile -f _CoqProject -o Makefile