Initial revision

[helm.git] / helm / interface / Makefile

diff --git a/helm/interface/Makefile b/helm/interface/Makefile
index 8bb54e9add7ef8791bd3704d44f58ce4a5498c76..ef5068524a5ec304015ed938580e736b72b55e88 100644 (file)
--- a/helm/interface/Makefile
+++ b/helm/interface/Makefile
@@ -170,21 +170,34 @@ clean:
            mmlinterface.opt mmlinterface2 mmlinterface2.opt
 
 start-xaland:
-       java xaland 12345 12346 examples/style/rootcontent.xsl \
-           examples/style/annotatedpres.xsl examples/style/theory_content.xsl \
-           examples/style/theory_pres.xsl
+       java -ss1024K -oss8192K \
+           xaland 12345 12346 \
+           $(COQV)/examples/style/rootcontent.xsl \
+           $(COQV)/examples/style/annotatedpres.xsl \
+           $(COQV)/examples/style/theory_content.xsl \
+           $(COQV)/examples/style/theory_pres.xsl
+
+start-xaland-2:
+       java -ss1024K -oss8192K \
+           xaland2 12345 12346 \
+           $(COQV)/examples/style/rootcontent.xsl \
+           $(COQV)/examples/style/annotatedpres.xsl \
+           $(COQV)/examples/style/theory_content.xsl \
+           $(COQV)/examples/style/theory_pres.xsl
 
 start-xaland-old:
        java xaland 12345 12346 \
-         examples/style/style_prima_del_linguaggio_naturale/rootcontent.xsl \
-         examples/style/style_prima_del_linguaggio_naturale/annotatedpres.xsl \
-         examples/style/style_prima_del_linguaggio_naturale/theory_content.xsl \
-         examples/style/style_prima_del_linguaggio_naturale/theory_pres.xsl
+         $(COQV)/examples/style/style_prima_del_linguaggio_naturale/rootcontent.xsl \
+         $(COQV)/examples/style/style_prima_del_linguaggio_naturale/annotatedpres.xsl \
+         $(COQV)/examples/style/style_prima_del_linguaggio_naturale/theory_content.xsl \
+         $(COQV)/examples/style/style_prima_del_linguaggio_naturale/theory_pres.xsl
 
 start-xaland3:
-       java xaland 12347 12348 examples/style/rootcontent.xsl \
-           examples/style/annotatedpres.xsl examples/style/theory_content.xsl \
-           examples/style/theory_pres.xsl
+       java xaland 12347 12348 \
+           $(COQV)/examples/style/rootcontent.xsl \
+           $(COQV)/examples/style/annotatedpres.xsl \
+           $(COQV)/examples/style/theory_content.xsl \
+           $(COQV)/examples/style/theory_pres.xsl
 
 start-http-getter:
        http_getter/http_getter.pl