X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Finterface%2FMakefile;h=ef5068524a5ec304015ed938580e736b72b55e88;hb=d66b34e7f8a6c6ceb330c4cfc8f6a3803eba262b;hp=2b892e2d9fc9bfd6a794c19a0bf1b093df8c1e8c;hpb=c01d2aaea05f7385bee46addd900cd0397756389;p=helm.git

diff --git a/helm/interface/Makefile b/helm/interface/Makefile
index 2b892e2d9..ef5068524 100644
--- a/helm/interface/Makefile
+++ b/helm/interface/Makefile
@@ -1,9 +1,10 @@
 LABLGTK_DIR = /usr/lib/ocaml/lablgtk
 LABLGTK_MATHVIEW_DIR = /usr/lib/ocaml/lablgtk/mathview
+MINIDOM_DIR = /usr/lib/ocaml/lablgtk/mathview/minidom
 PXP_DIR = /usr/lib/ocaml/site-lib/pxp
 NETSTRING_DIR = /usr/lib/ocaml/site-lib/netstring
-OCAMLC = ocamlc -I $(LABLGTK_DIR) -I $(LABLGTK_MATHVIEW_DIR) -I $(PXP_DIR) -I $(NETSTRING_DIR) -I mlmathview
-OCAMLOPT = ocamlopt -I $(LABLGTK_DIR) -I $(LABLGTK_MATHVIEW_DIR) -I mlgtk_devel -I $(PXP_DIR) -I $(NETSTRING_DIR) -I mlmathview
+OCAMLC = ocamlc -I $(LABLGTK_DIR) -I $(LABLGTK_MATHVIEW_DIR) -I $(PXP_DIR) -I $(NETSTRING_DIR) -I $(MINIDOM_DIR) -I mlmathview
+OCAMLOPT = ocamlopt -I $(LABLGTK_DIR) -I $(LABLGTK_MATHVIEW_DIR) -I mlgtk_devel -I $(PXP_DIR) -I $(NETSTRING_DIR) -I $(MINIDOM_DIR) -I mlmathview
 OCAMLDEP = ocamldep
 
 all: experiment reduction fix_params mmlinterface
@@ -106,22 +107,26 @@ mmlinterface: $(MMLINTERFACEOBJS)
 	$(OCAMLC) -custom -o mmlinterface str.cma unix.cma $(PXPLIBS) dbm.cma \
                   lablgtk.cma gtkInit.cmo \
                   $(LABLGTK_MATHVIEW_DIR)/lablgtkmathview.cma \
+                  $(MINIDOM_DIR)/minidom.cmo \
                   $(MMLINTERFACEOBJS) \
                   -cclib "-lstr -L/usr/lib -L/usr/X11R6/lib -lgtk -lgdk \
                   -rdynamic -lgmodule -lglib -ldl -lXi -lXext -lX11 -lm \
                   -lunix -L/usr/local/lib/gtkmathview -lgtkmathview \
-                  $(LABLGTK_MATHVIEW_DIR)/ml_gtk_mathview.o" \
+                  $(LABLGTK_MATHVIEW_DIR)/ml_gtk_mathview.o \
+                  $(MINIDOM_DIR)/ml_minidom.o" \
                   -cclib -lmldbm -cclib -lndbm
 
 mmlinterface.opt: $(MMLINTERFACEOPTOBJS)
 	$(OCAMLOPT) -o mmlinterface.opt str.cmxa $(PXPLIBSOPT) unix.cmxa \
                     dbm.cmxa lablgtk.cmxa gtkInit.cmx \
                     $(LABLGTK_MATHVIEW_DIR)/lablgtkmathview.cmxa \
+                    $(MINIDOM_DIR)/minidom.cmx \
                     $(MMLINTERFACEOPTOBJS) \
                     -cclib "-lstr -L/usr/lib -L/usr/X11R6/lib -lgtk -lgdk \
                     -rdynamic -lgmodule -lglib -ldl -lXi -lXext -lX11 -lm \
                     -lunix -L/usr/local/lib/gtkmathview -lgtkmathview \
-                    $(LABLGTK_MATHVIEW_DIR)/ml_gtk_mathview.o" \
+                    $(LABLGTK_MATHVIEW_DIR)/ml_gtk_mathview.o \
+                    $(MINIDOM_DIR)/ml_minidom.o" \
                     -cclib -lmldbm -cclib -lndbm
 
 fix_params: $(FIX_PARAMSOBJS)
@@ -165,14 +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 \
+         $(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