]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/xsltd/Makefile.old
ocaml 3.09 transition
[helm.git] / helm / xsltd / Makefile.old
index bd50ad7cc1fbee7971a4318bfddc09725d206086..a56803cc5c16ab24bbf674659849d4d54ab81c1a 100644 (file)
@@ -1,3 +1,6 @@
+JAVADIR = /opt/java/jdk1.3/bin
+HELM_STYLES_DIR = file:/home/lpadovan/miohelm/style
+
 start-xaland:
        java -ss1024K -oss8192K \
            xaland 12345 12346 \
@@ -30,7 +33,7 @@ start-xaland-old:
          $(HELM_STYLES_DIR)/style_prima_del_linguaggio_naturale/theory_pres.xsl
 
 start-xaland-uwobo:
-       java -ss1024K -oss8192K \
+       $(JAVADIR)/java -ss1024K -oss8192K \
            xaland_uwobo 12345 12346 12347 \
            $(HELM_STYLES_DIR)/rootcontent.xsl \
            $(HELM_STYLES_DIR)/annotatedpres.xsl \