-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
+OCAML_ROOT = /usr/lib/ocaml
+LABLGTK_DIR = $(OCAML_ROOT)/lablgtk
+LABLGTK_MATHVIEW_DIR = $(OCAML_ROOT)/lablgtk/mathview
+MINIDOM_DIR = $(OCAML_ROOT)/minidom
+PXP_DIR = $(OCAML_ROOT)/site-lib/pxp
+NETSTRING_DIR = $(OCAML_ROOT)/site-lib/netstring
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
theoryParser.ml theoryParser2.ml theoryPp.ml theoryTypeChecker.ml \
cicCooking.ml cicCooking.mli cicFindParameters.ml theoryCache.ml \
fix_params.ml cic2Xml.ml xml.ml uriManager.ml uriManager.mli \
- cicSubstitution.ml cicSubstitution.mli mml.ml \
+ cicSubstitution.ml cicSubstitution.mli \
mmlinterface.ml configuration.ml \
xsltProcessor.ml deannotate.ml cicXPath.ml pxpUriResolver.ml \
annotationParser.ml annotationParser2.ml annotation2Xml.ml \
cicParser3.cmo cicParser2.cmo cicParser.cmo deannotate.cmo \
cicSubstitution.cmo annotationParser2.cmo \
annotationParser.cmo cicCache.cmo cicCooking.cmo cicPp.cmo \
- cicReduction.cmo cicTypeChecker.cmo mml.cmo \
+ cicReduction.cmo cicTypeChecker.cmo \
xml.cmo \
xsltProcessor.cmo cic2Xml.cmo annotation2Xml.cmo \
cicXPath.cmo theory.cmo theoryParser2.cmo theoryParser.cmo \
deannotate.cmx cicSubstitution.cmx annotationParser2.cmx \
annotationParser.cmx cicCache.cmx \
cicCooking.cmx cicPp.cmx cicReduction.cmx \
- cicTypeChecker.cmx mml.cmx \
+ cicTypeChecker.cmx \
xml.cmx xsltProcessor.cmx \
cic2Xml.cmx annotation2Xml.cmx cicXPath.cmx \
theory.cmx theoryParser2.cmx theoryParser.cmx \
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 \
+ $(MINIDOM_DIR)/ominidom.cmo \
+ $(LABLGTK_MATHVIEW_DIR)/lablgtkmathview.cma \
$(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 \
+ -lunix `gtkmathview-config --libs` \
$(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 \
+ $(MINIDOM_DIR)/ominidom.cmx \
+ $(LABLGTK_MATHVIEW_DIR)/lablgtkmathview.cmxa \
$(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 \
+ -lunix `gtkmathview-config --libs` \
$(LABLGTK_MATHVIEW_DIR)/ml_gtk_mathview.o \
$(MINIDOM_DIR)/ml_minidom.o" \
-cclib -lmldbm -cclib -lndbm