when sort inclusion is enabled, we can produce conversion constraints in xml

[helm.git] / helm / software / lambda-delta / Makefile

diff --git a/helm/software/lambda-delta/Makefile b/helm/software/lambda-delta/Makefile
index 683e422a41313570582265e7fe0e2f5662b2d671..c5992e90a37bb38012ef394c6da034b7a4443f74 100644 (file)
--- 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