]> matita.cs.unibo.it Git - helm.git/commitdiff
Makefile moved in Makefile.old and start-xaland created.
authorClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Thu, 28 Dec 2000 15:52:45 +0000 (15:52 +0000)
committerClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Thu, 28 Dec 2000 15:52:45 +0000 (15:52 +0000)
This in order to use autoconf.

helm/xsltd/Makefile [deleted file]
helm/xsltd/Makefile.old [new file with mode: 0644]
helm/xsltd/start-xaland [new file with mode: 0755]

diff --git a/helm/xsltd/Makefile b/helm/xsltd/Makefile
deleted file mode 100644 (file)
index bd50ad7..0000000
+++ /dev/null
@@ -1,45 +0,0 @@
-start-xaland:
-       java -ss1024K -oss8192K \
-           xaland 12345 12346 \
-           $(HELM_STYLES_DIR)/rootcontent.xsl \
-           $(HELM_STYLES_DIR)/annotatedpres.xsl \
-           $(HELM_STYLES_DIR)/theory_content.xsl \
-           $(HELM_STYLES_DIR)/theory_pres.xsl
-
-start-xaland-DOM:
-       java -ss1024K -oss8192K \
-           xaland_DOM 12345 12346 \
-           $(HELM_STYLES_DIR)/rootcontent.xsl \
-           $(HELM_STYLES_DIR)/annotatedpres.xsl \
-           $(HELM_STYLES_DIR)/theory_content.xsl \
-           $(HELM_STYLES_DIR)/theory_pres.xsl
-
-start-xaland-2:
-       java -ss1024K -oss8192K \
-           xaland2 12345 12346 \
-           $(HELM_STYLES_DIR)/rootcontent.xsl \
-           $(HELM_STYLES_DIR)/annotatedpres.xsl \
-           $(HELM_STYLES_DIR)/theory_content.xsl \
-           $(HELM_STYLES_DIR)/theory_pres.xsl
-
-start-xaland-old:
-       java xaland 12345 12346 \
-         $(HELM_STYLES_DIR)/style_prima_del_linguaggio_naturale/rootcontent.xsl \
-         $(HELM_STYLES_DIR)/style_prima_del_linguaggio_naturale/annotatedpres.xsl \
-         $(HELM_STYLES_DIR)/style_prima_del_linguaggio_naturale/theory_content.xsl \
-         $(HELM_STYLES_DIR)/style_prima_del_linguaggio_naturale/theory_pres.xsl
-
-start-xaland-uwobo:
-       java -ss1024K -oss8192K \
-           xaland_uwobo 12345 12346 12347 \
-           $(HELM_STYLES_DIR)/rootcontent.xsl \
-           $(HELM_STYLES_DIR)/annotatedpres.xsl \
-           $(HELM_STYLES_DIR)/theory_content.xsl \
-           $(HELM_STYLES_DIR)/theory_pres.xsl
-
-start-xaland3:
-       java xaland 12347 12348 \
-           $(HELM_STYLES_DIR)/rootcontent.xsl \
-           $(HELM_STYLES_DIR)/annotatedpres.xsl \
-           $(HELM_STYLES_DIR)/theory_content.xsl \
-           $(HELM_STYLES_DIR)/theory_pres.xsl
diff --git a/helm/xsltd/Makefile.old b/helm/xsltd/Makefile.old
new file mode 100644 (file)
index 0000000..bd50ad7
--- /dev/null
@@ -0,0 +1,45 @@
+start-xaland:
+       java -ss1024K -oss8192K \
+           xaland 12345 12346 \
+           $(HELM_STYLES_DIR)/rootcontent.xsl \
+           $(HELM_STYLES_DIR)/annotatedpres.xsl \
+           $(HELM_STYLES_DIR)/theory_content.xsl \
+           $(HELM_STYLES_DIR)/theory_pres.xsl
+
+start-xaland-DOM:
+       java -ss1024K -oss8192K \
+           xaland_DOM 12345 12346 \
+           $(HELM_STYLES_DIR)/rootcontent.xsl \
+           $(HELM_STYLES_DIR)/annotatedpres.xsl \
+           $(HELM_STYLES_DIR)/theory_content.xsl \
+           $(HELM_STYLES_DIR)/theory_pres.xsl
+
+start-xaland-2:
+       java -ss1024K -oss8192K \
+           xaland2 12345 12346 \
+           $(HELM_STYLES_DIR)/rootcontent.xsl \
+           $(HELM_STYLES_DIR)/annotatedpres.xsl \
+           $(HELM_STYLES_DIR)/theory_content.xsl \
+           $(HELM_STYLES_DIR)/theory_pres.xsl
+
+start-xaland-old:
+       java xaland 12345 12346 \
+         $(HELM_STYLES_DIR)/style_prima_del_linguaggio_naturale/rootcontent.xsl \
+         $(HELM_STYLES_DIR)/style_prima_del_linguaggio_naturale/annotatedpres.xsl \
+         $(HELM_STYLES_DIR)/style_prima_del_linguaggio_naturale/theory_content.xsl \
+         $(HELM_STYLES_DIR)/style_prima_del_linguaggio_naturale/theory_pres.xsl
+
+start-xaland-uwobo:
+       java -ss1024K -oss8192K \
+           xaland_uwobo 12345 12346 12347 \
+           $(HELM_STYLES_DIR)/rootcontent.xsl \
+           $(HELM_STYLES_DIR)/annotatedpres.xsl \
+           $(HELM_STYLES_DIR)/theory_content.xsl \
+           $(HELM_STYLES_DIR)/theory_pres.xsl
+
+start-xaland3:
+       java xaland 12347 12348 \
+           $(HELM_STYLES_DIR)/rootcontent.xsl \
+           $(HELM_STYLES_DIR)/annotatedpres.xsl \
+           $(HELM_STYLES_DIR)/theory_content.xsl \
+           $(HELM_STYLES_DIR)/theory_pres.xsl
diff --git a/helm/xsltd/start-xaland b/helm/xsltd/start-xaland
new file mode 100755 (executable)
index 0000000..062e181
--- /dev/null
@@ -0,0 +1,14 @@
+#!/bin/bash
+
+export HELM_STYLES_DIR=/usr/local/share/helm/style
+export PATH=$PATH:/opt/java/jdk1.3/bin/
+export CLASSPATH=.
+export CLASSPATH=$CLASSPATH:/projects/helm/shared/libraries/java/xalan_1_1/xalan.jar
+export CLASSPATH=$CLASSPATH:/projects/helm/shared/libraries/java/xalan_1_1/xerces.jar
+
+java -ss1024K -oss8192K \
+ xaland 12345 12346 \
+ $HELM_STYLES_DIR/rootcontent.xsl \
+ $HELM_STYLES_DIR/annotatedpres.xsl \
+ $HELM_STYLES_DIR/theory_content.xsl \
+ $HELM_STYLES_DIR/theory_pres.xsl