X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fsoftware%2Flambda-delta%2FMakefile;h=c5992e90a37bb38012ef394c6da034b7a4443f74;hb=f7988fc51f7c96617aa2b3320628645480af681a;hp=683e422a41313570582265e7fe0e2f5662b2d671;hpb=a8ae2efbf7e09d6ddbb1eb9fd79cafa4e045ff9a;p=helm.git

diff --git a/helm/software/lambda-delta/Makefile b/helm/software/lambda-delta/Makefile
index 683e422a4..c5992e90a 100644
--- a/helm/software/lambda-delta/Makefile
+++ b/helm/software/lambda-delta/Makefile
@@ -12,6 +12,8 @@ CLEAN = etc/log.txt etc/profile.txt
 
 TAGS = test-si test-si-fast hal xml-si-crg xml-si profile
 
+XMLLINTLOCAL = --nonet --path xml --dtdvalid ld.dtd
+
 XMLS = xml/brg-si/grundlagen/l/not.ld.xml \
        xml/brg-si/grundlagen/l/et.ld.xml \
        xml/brg-si/grundlagen/l/e/st/eq/landau/n/rt/rp/r/c/8283/t234.ld.xml \
@@ -21,15 +23,15 @@ XMLS = xml/brg-si/grundlagen/l/not.ld.xml \
        xml/crg-si/grundlagen/l/e/st/eq/landau/n/rt/rp/r/c/8283/t234.ld.xml \
        xml/crg-si/grundlagen/l/e/pairis1.ld.xml
 
-include Makefile.common
+LOCALXMLS = xml/brg-si/grundlagen/ccs.ldc.xml
 
-HOME = .
+include Makefile.common
 
 INPUT = examples/grundlagen/grundlagen.aut
 
 test-si: $(MAIN).opt etc
-	@echo "  HELENA -p -u $(INPUT)"
-	$(H)./$(MAIN).opt -p -u -S 3 $(O) $(INPUT) > etc/log.txt
+	@echo "  HELENA -p -u -c $(INPUT)"
+	$(H)./$(MAIN).opt -p -u -c -S 3 $(O) $(INPUT) > etc/log.txt
 
 test-si-fast: $(MAIN).opt etc
 	@echo "  HELENA -u -q $(INPUT)"
@@ -43,11 +45,11 @@ profile: $(MAIN).opt etc
 
 xml-si: $(MAIN).opt etc
 	@echo "  HELENA -u -x -s 2 $(INPUT)"
-	$(H)./$(MAIN).opt -u -x $(HOME) -s 2 -S 1 $(INPUT) > etc/log.txt
+	$(H)./$(MAIN).opt -u -x -s 2 -S 1 $(INPUT) > etc/log.txt
 
 xml-si-crg: $(MAIN).opt etc
 	@echo "  HELENA -u -x -s 1 $(INPUT)"
-	$(H)./$(MAIN).opt -u -x $(HOME) -s 1 -S 1 $(INPUT) > etc/log.txt
+	$(H)./$(MAIN).opt -u -x -s 1 -S 1 $(INPUT) > etc/log.txt
 
 etc:
 	@echo "  MKDIR etc"
@@ -104,4 +106,4 @@ test-si-fast-old: $(MAIN).opt etc
 
 xml-si-old: $(MAIN).opt etc
 	@echo "  HELENA -o -u -x -s 2 $(INPUT)"
-	$(H)./$(MAIN).opt -o -u -x $(HOME) -s 2 -S 1 $(INPUT) > etc/log.txt
+	$(H)./$(MAIN).opt -o -u -x -s 2 -S 1 $(INPUT) > etc/log.txt