From: Claudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Date: Thu, 28 Dec 2000 15:52:45 +0000 (+0000)
Subject: Makefile moved in Makefile.old and start-xaland created.
X-Git-Tag: nogzip~28
X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=16b7d7d156446f21d0b7f014b78360d14a085033;p=helm.git

Makefile moved in Makefile.old and start-xaland created.
This in order to use autoconf.
---

diff --git a/helm/xsltd/Makefile b/helm/xsltd/Makefile
deleted file mode 100644
index bd50ad7cc..000000000
--- a/helm/xsltd/Makefile
+++ /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
index 000000000..bd50ad7cc
--- /dev/null
+++ b/helm/xsltd/Makefile.old
@@ -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
index 000000000..062e181e5
--- /dev/null
+++ b/helm/xsltd/start-xaland
@@ -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