]> matita.cs.unibo.it Git - helm.git/blob - helm/xsltd/Makefile.old
added .theory check
[helm.git] / helm / xsltd / Makefile.old
1 JAVADIR = /opt/java/jdk1.3/bin
2 HELM_STYLES_DIR = file:/home/lpadovan/miohelm/style
3
4 start-xaland:
5         java -ss1024K -oss8192K \
6            xaland 12345 12346 \
7            $(HELM_STYLES_DIR)/rootcontent.xsl \
8            $(HELM_STYLES_DIR)/annotatedpres.xsl \
9            $(HELM_STYLES_DIR)/theory_content.xsl \
10            $(HELM_STYLES_DIR)/theory_pres.xsl
11
12 start-xaland-DOM:
13         java -ss1024K -oss8192K \
14            xaland_DOM 12345 12346 \
15            $(HELM_STYLES_DIR)/rootcontent.xsl \
16            $(HELM_STYLES_DIR)/annotatedpres.xsl \
17            $(HELM_STYLES_DIR)/theory_content.xsl \
18            $(HELM_STYLES_DIR)/theory_pres.xsl
19
20 start-xaland-2:
21         java -ss1024K -oss8192K \
22            xaland2 12345 12346 \
23            $(HELM_STYLES_DIR)/rootcontent.xsl \
24            $(HELM_STYLES_DIR)/annotatedpres.xsl \
25            $(HELM_STYLES_DIR)/theory_content.xsl \
26            $(HELM_STYLES_DIR)/theory_pres.xsl
27
28 start-xaland-old:
29         java xaland 12345 12346 \
30          $(HELM_STYLES_DIR)/style_prima_del_linguaggio_naturale/rootcontent.xsl \
31          $(HELM_STYLES_DIR)/style_prima_del_linguaggio_naturale/annotatedpres.xsl \
32          $(HELM_STYLES_DIR)/style_prima_del_linguaggio_naturale/theory_content.xsl \
33          $(HELM_STYLES_DIR)/style_prima_del_linguaggio_naturale/theory_pres.xsl
34
35 start-xaland-uwobo:
36         $(JAVADIR)/java -ss1024K -oss8192K \
37            xaland_uwobo 12345 12346 12347 \
38            $(HELM_STYLES_DIR)/rootcontent.xsl \
39            $(HELM_STYLES_DIR)/annotatedpres.xsl \
40            $(HELM_STYLES_DIR)/theory_content.xsl \
41            $(HELM_STYLES_DIR)/theory_pres.xsl
42
43 start-xaland3:
44         java xaland 12347 12348 \
45            $(HELM_STYLES_DIR)/rootcontent.xsl \
46            $(HELM_STYLES_DIR)/annotatedpres.xsl \
47            $(HELM_STYLES_DIR)/theory_content.xsl \
48            $(HELM_STYLES_DIR)/theory_pres.xsl