OCAML_ROOT = @OCAML_ROOT@
-HELM_BIN_DIR = @HELM_BIN_DIR@
+BIN_DIR = @BIN_DIR@
+LABLGTK_DIR = @LABLGTK_LIB_DIR@
+LABLGTKMATHVIEW_DIR = @LABLGTKMATHVIEW_LIB_DIR@
+MINIDOM_DIR = @MLMINIDOM_LIB_DIR@
-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
+XSTR_DIR = $(OCAML_ROOT)/site-lib/xstr
+NETCLIENT_DIR = $(OCAML_ROOT)/site-lib/netclient
+
+#OCAMLC = ocamlc -I $(LABLGTK_DIR) -I $(LABLGTKMATHVIEW_DIR) -I $(PXP_DIR) -I $(NETSTRING_DIR) -I $(MINIDOM_DIR) -I mlmathview
+#OCAMLOPT = ocamlopt -I $(LABLGTK_DIR) -I $(LABLGTKMATHVIEW_DIR) -I mlgtk_devel -I $(PXP_DIR) -I $(NETSTRING_DIR) -I $(MINIDOM_DIR) -I mlmathview
+OCAMLC = ocamlc -I $(LABLGTK_DIR) -I $(LABLGTKMATHVIEW_DIR) -I $(PXP_DIR) -I $(NETSTRING_DIR) -I $(MINIDOM_DIR) -I $(XSTR_DIR) -I $(NETCLIENT_DIR)
+OCAMLOPT = ocamlopt -I $(LABLGTK_DIR) -I $(LABLGTKMATHVIEW_DIR) -I $(PXP_DIR) -I $(NETSTRING_DIR) -I $(MINIDOM_DIR) -I $(XSTR_DIR) -I $(NETCLIENT_DIR)
OCAMLDEP = ocamldep
all: experiment reduction fix_params mmlinterface
pxp_lex_iso88591.cmxa pxp_lex_utf8.cmxa pxp_engine.cmxa \
pxp_utf8.cmx
+XSTRLIBS = xstr.cma
+
+XSTRLIBSOPT = xstr.cmxa
+
+NETCLIENTLIBS = netclient.cma
+
+NETCLIENTLIBSOPT = netclient.cmxa
DEPOBJS = experiment.ml cicCache.ml cicCache.mli cicPp.ml cicPp.mli \
cicParser.ml cicParser.mli cicParser2.ml cicParser2.mli \
- cicParser3.ml cicParser3.mli cic.ml getter.ml getter.mli \
+ cicParser3.ml cicParser3.mli cic.ml clientHTTP.ml getter.ml getter.mli \
gtkInterface.ml cicReduction.ml cicReduction.mli cicTypeChecker.ml \
cicTypeChecker.mli reduction.ml tgtkInterface.ml theory.ml \
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 \
- mmlinterface.ml configuration.ml \
- xsltProcessor.ml deannotate.ml cicXPath.ml pxpUriResolver.ml \
+ mmlinterface.ml configuration.ml styleConfiguration.ml \
+ xsltProcessorHTTP.ml xsltProcessor.ml deannotate.ml cicXPath.ml pxpUriResolver.ml \
annotationParser.ml annotationParser2.ml annotation2Xml.ml \
cicAnnotationHinter.ml
-MMLINTERFACEOBJS = configuration.cmo uriManager.cmo getter.cmo cic.cmo \
- pxpUriResolver.cmo \
+MMLINTERFACEOBJS = configuration.cmo uriManager.cmo clientHTTP.cmo getter.cmo cic.cmo \
+ pxpUriResolver.cmo styleConfiguration.cmo \
cicParser3.cmo cicParser2.cmo cicParser.cmo deannotate.cmo \
cicSubstitution.cmo annotationParser2.cmo \
annotationParser.cmo cicCache.cmo cicCooking.cmo cicPp.cmo \
cicReduction.cmo cicTypeChecker.cmo \
xml.cmo \
- xsltProcessor.cmo cic2Xml.cmo annotation2Xml.cmo \
+ xsltProcessorHTTP.cmo xsltProcessor.cmo cic2Xml.cmo annotation2Xml.cmo \
cicXPath.cmo theory.cmo theoryParser2.cmo theoryParser.cmo \
theoryCache.cmo theoryTypeChecker.cmo \
cicAnnotationHinter.cmo mmlinterface.cmo
-MMLINTERFACEOPTOBJS = configuration.cmx uriManager.cmx getter.cmx cic.cmx \
- pxpUriResolver.cmx \
+MMLINTERFACEOPTOBJS = configuration.cmx uriManager.cmx clientHTTP.cmx getter.cmx cic.cmx \
+ pxpUriResolver.cmx styleConfiguration.cmx \
cicParser3.cmx cicParser2.cmx cicParser.cmx \
deannotate.cmx cicSubstitution.cmx annotationParser2.cmx \
annotationParser.cmx cicCache.cmx \
cicCooking.cmx cicPp.cmx cicReduction.cmx \
cicTypeChecker.cmx \
- xml.cmx xsltProcessor.cmx \
+ xml.cmx xsltProcessorHTTP.cmx xsltProcessor.cmx \
cic2Xml.cmx annotation2Xml.cmx cicXPath.cmx \
theory.cmx theoryParser2.cmx theoryParser.cmx \
theoryCache.cmx theoryTypeChecker.cmx \
cicAnnotationHinter.cmx mmlinterface.cmx
-FIX_PARAMSOBJS = configuration.cmo uriManager.cmo getter.cmo cic.cmo \
- pxpUriResolver.cmo \
+FIX_PARAMSOBJS = configuration.cmo uriManager.cmo clientHTTP.cmo getter.cmo cic.cmo \
+ pxpUriResolver.cmo styleConfiguration.cmo \
cicParser3.cmo cicParser2.cmo cicParser.cmo deannotate.cmo \
cicSubstitution.cmo annotationParser2.cmo \
annotationParser.cmo cicCache.cmo cicPp.cmo xml.cmo \
cic2Xml.cmo cicFindParameters.cmo fix_params.cmo
-FIX_PARAMSOPTOBJS = configuration.cmx uriManager.cmx getter.cmx cic.cmx \
- pxpUriResolver.cmx \
+FIX_PARAMSOPTOBJS = configuration.cmx uriManager.cmx clientHTTP.cmx getter.cmx cic.cmx \
+ pxpUriResolver.cmx styleConfiguration.cmx \
cicParser3.cmx cicParser2.cmx cicParser.cmx deannotate.cmx \
cicSubstitution.cmx annotationParser2.cmx \
annotationParser.cmx cicCache.cmx cicPp.cmx xml.cmx \
cic2Xml.cmx cicFindParameters.cmx fix_params.cmx
-REDUCTIONOBJS = configuration.cmo uriManager.cmo getter.cmo cic.cmo \
- pxpUriResolver.cmo \
+REDUCTIONOBJS = configuration.cmo uriManager.cmo clientHTTP.cmo getter.cmo cic.cmo \
+ pxpUriResolver.cmo styleConfiguration.cmo \
cicParser3.cmo cicParser2.cmo cicParser.cmo deannotate.cmo \
cicSubstitution.cmo annotationParser2.cmo annotationParser.cmo \
cicCache.cmo cicPp.cmo cicCooking.cmo \
cicReduction.cmo cicTypeChecker.cmo reduction.cmo
-REDUCTIONOPTOBJS = configuration.cmx uriManager.cmx getter.cmx cic.cmx \
- pxpUriResolver.cmx \
+REDUCTIONOPTOBJS = configuration.cmx uriManager.cmx clientHTTP.cmx getter.cmx cic.cmx \
+ pxpUriResolver.cmx styleConfiguration.cmx \
cicParser3.cmx cicParser2.cmx cicParser.cmx deannotate.cmx \
cicSubstitution.cmx annotationParser2.cmx \
annotationParser.cmx cicCache.cmx cicPp.cmx cicCooking.cmx \
cicReduction.cmx cicTypeChecker.cmx reduction.cmx
-EXPERIMENTOBJS = configuration.cmo uriManager.cmo getter.cmo cic.cmo \
- pxpUriResolver.cmo \
+EXPERIMENTOBJS = configuration.cmo uriManager.cmo clientHTTP.cmo getter.cmo cic.cmo \
+ pxpUriResolver.cmo styleConfiguration.cmo \
cicParser3.cmo cicParser2.cmo cicParser.cmo deannotate.cmo \
cicSubstitution.cmo annotationParser2.cmo \
annotationParser.cmo cicCache.cmo cicPp.cmo experiment.cmo
-EXPERIMENTOPTOBJS = configuration.cmx uriManager.cmx getter.cmx cic.cmx \
- pxpUriResolver.cmx \
+EXPERIMENTOPTOBJS = configuration.cmx uriManager.cmx clientHTTP.cmx getter.cmx cic.cmx \
+ pxpUriResolver.cmx styleConfiguration.cmx \
cicParser3.cmx cicParser2.cmx cicParser.cmx deannotate.cmx \
cicSubstitution.cmx annotationParser2.cmx \
annotationParser.cmx cicCache.cmx cicPp.cmx experiment.cmx
$(OCAMLDEP) $(DEPOBJS) > .depend
mmlinterface: $(MMLINTERFACEOBJS)
- $(OCAMLC) -custom -o mmlinterface str.cma unix.cma $(PXPLIBS) dbm.cma \
+ $(OCAMLC) -custom -o mmlinterface str.cma unix.cma $(PXPLIBS) $(XSTRLIBS) $(NETCLIENTLIBS) dbm.cma \
lablgtk.cma gtkInit.cmo \
$(MINIDOM_DIR)/minidom.cmo \
$(MINIDOM_DIR)/ominidom.cmo \
- $(LABLGTK_MATHVIEW_DIR)/lablgtkmathview.cma \
+ $(LABLGTKMATHVIEW_DIR)/lablgtkmathview.cma \
$(MMLINTERFACEOBJS) \
-cclib "-lstr -L/usr/lib -L/usr/X11R6/lib -lgtk -lgdk \
-rdynamic -lgmodule -lglib -ldl -lXi -lXext -lX11 -lm \
-lunix `gtkmathview-config --libs` \
- $(LABLGTK_MATHVIEW_DIR)/ml_gtk_mathview.o \
+ $(LABLGTKMATHVIEW_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 \
+ $(OCAMLOPT) -o mmlinterface.opt str.cmxa unix.cmxa $(PXPLIBSOPT) $(XSTRLIBSOPT) $(NETCLIENTLIBSOPT) unix.cmxa \
dbm.cmxa lablgtk.cmxa gtkInit.cmx \
$(MINIDOM_DIR)/minidom.cmx \
$(MINIDOM_DIR)/ominidom.cmx \
- $(LABLGTK_MATHVIEW_DIR)/lablgtkmathview.cmxa \
+ $(LABLGTKMATHVIEW_DIR)/lablgtkmathview.cmxa \
$(MMLINTERFACEOPTOBJS) \
-cclib "-lstr -L/usr/lib -L/usr/X11R6/lib -lgtk -lgdk \
-rdynamic -lgmodule -lglib -ldl -lXi -lXext -lX11 -lm \
-lunix `gtkmathview-config --libs` \
- $(LABLGTK_MATHVIEW_DIR)/ml_gtk_mathview.o \
+ $(LABLGTKMATHVIEW_DIR)/ml_gtk_mathview.o \
$(MINIDOM_DIR)/ml_minidom.o" \
-cclib -lmldbm -cclib -lndbm
fix_params: $(FIX_PARAMSOBJS)
- $(OCAMLC) -custom -o fix_params str.cma $(PXPLIBS) dbm.cma \
+ $(OCAMLC) -custom -o fix_params str.cma unix.cma $(PXPLIBS) $(XSTRLIBS) $(NETCLIENTLIBS) dbm.cma \
$(FIX_PARAMSOBJS) -cclib -lstr -cclib -lmldbm -cclib -lndbm
fix_params.opt: $(FIX_PARAMSOPTOBJS)
- $(OCAMLOPT) -o fix_params.opt str.cmxa $(PXPLIBSOPT) dbm.cmxa \
+ $(OCAMLOPT) -o fix_params.opt str.cmxa unix.cmxa $(PXPLIBSOPT) $(XSTRLIBSOPT) $(NETCLIENTLIBSOPT) dbm.cmxa \
$(FIX_PARAMSOPTOBJS) -cclib -lstr -cclib -lmldbm \
-cclib -lndbm
reduction: $(REDUCTIONOBJS)
- $(OCAMLC) -custom -o reduction str.cma $(PXPLIBS) dbm.cma \
+ $(OCAMLC) -custom -o reduction str.cma unix.cma $(PXPLIBS) $(XSTRLIBS) $(NETCLIENTLIBS) dbm.cma \
$(REDUCTIONOBJS) -cclib -lstr -cclib -lmldbm -cclib -lndbm
reduction.opt: $(REDUCTIONOPTOBJS)
- $(OCAMLOPT) -o reduction.opt str.cmxa $(PXPLIBSOPT) dbm.cmxa \
+ $(OCAMLOPT) -o reduction.opt str.cmxa unix.cmxa $(PXPLIBSOPT) $(XSTRLIBSOPT) $(NETCLIENTLIBSOPT) dbm.cmxa \
$(REDUCTIONOPTOBJS) -cclib -lstr -cclib -lmldbm \
-cclib -lndbm
experiment: $(EXPERIMENTOBJS)
- $(OCAMLC) -custom -o experiment str.cma $(PXPLIBS) dbm.cma \
+ $(OCAMLC) -custom -o experiment str.cma unix.cma $(PXPLIBS) $(XSTRLIBS) $(NETCLIENTLIBS) dbm.cma \
$(EXPERIMENTOBJS) -cclib -lstr -cclib -lmldbm -cclib -lndbm
experiment.opt: $(EXPERIMENTOPTOBJS)
- $(OCAMLOPT) -o experiment.opt str.cmxa $(PXPLIBSOPT) dbm.cmxa \
+ $(OCAMLOPT) -o experiment.opt str.cmxa unix.cmxa $(PXPLIBSOPT) $(XSTRLIBSOPT) $(NETCLIENTLIBSOPT) dbm.cmxa \
$(EXPERIMENTOPTOBJS) -cclib -lstr -cclib -lmldbm \
-cclib -lndbm
mmlinterface.opt mmlinterface2 mmlinterface2.opt
install:
- cp mmlinterface mmlinterface.opt helm_wget $(HELM_BIN_DIR)
+ cp mmlinterface mmlinterface.opt helm_wget $(BIN_DIR)
-distclean:
+distclean: clean
rm -f Makefile configuration.ml helm_wget configure config.log \
config.cache config.status
+dist: clean
+ rm -rf ../@PACKAGE@-@VERSION@
+ mkdir ../@PACKAGE@-@VERSION@
+ cp -r * .depend ../@PACKAGE@-@VERSION@
+ (cd .. ; tar cvfz @PACKAGE@-@VERSION@.tar.gz @PACKAGE@-@VERSION@ ; rm -rf @PACKAGE@-@VERSION@)
+
.PHONY: install distclean clean
include .depend