+++ /dev/null
-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
-
-all: experiment reduction fix_params mmlinterface
-opt: experiment.opt reduction.opt fix_params.opt mmlinterface.opt
-
-PXPLIBS = netstring.cma netmappings_iso.cmo netmappings_other.cmo \
- pxp_types.cma \
- pxp_lex_iso88591.cma pxp_lex_utf8.cma pxp_engine.cma \
- pxp_utf8.cmo
-
-PXPLIBSOPT = netstring.cmxa netmappings_iso.cmx netmappings_other.cmx \
- pxp_types.cmxa \
- pxp_lex_iso88591.cmxa pxp_lex_utf8.cmxa pxp_engine.cmxa \
- pxp_utf8.cmx
-
-
-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 \
- 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 \
- annotationParser.ml annotationParser2.ml annotation2Xml.ml \
- cicAnnotationHinter.ml
-
-MMLINTERFACEOBJS = configuration.cmo uriManager.cmo getter.cmo cic.cmo \
- pxpUriResolver.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 \
- 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 \
- 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 \
- 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 \
- 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 \
- 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 \
- 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 \
- 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 \
- 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 \
- cicParser3.cmx cicParser2.cmx cicParser.cmx deannotate.cmx \
- cicSubstitution.cmx annotationParser2.cmx \
- annotationParser.cmx cicCache.cmx cicPp.cmx experiment.cmx
-
-depend:
- $(OCAMLDEP) $(DEPOBJS) > .depend
-
-mmlinterface: $(MMLINTERFACEOBJS)
- $(OCAMLC) -custom -o mmlinterface str.cma unix.cma $(PXPLIBS) dbm.cma \
- lablgtk.cma gtkInit.cmo \
- $(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 `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 \
- $(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 `gtkmathview-config --libs` \
- $(LABLGTK_MATHVIEW_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 \
- $(FIX_PARAMSOBJS) -cclib -lstr -cclib -lmldbm -cclib -lndbm
-
-fix_params.opt: $(FIX_PARAMSOPTOBJS)
- $(OCAMLOPT) -o fix_params.opt str.cmxa $(PXPLIBSOPT) dbm.cmxa \
- $(FIX_PARAMSOPTOBJS) -cclib -lstr -cclib -lmldbm \
- -cclib -lndbm
-
-reduction: $(REDUCTIONOBJS)
- $(OCAMLC) -custom -o reduction str.cma $(PXPLIBS) dbm.cma \
- $(REDUCTIONOBJS) -cclib -lstr -cclib -lmldbm -cclib -lndbm
-
-reduction.opt: $(REDUCTIONOPTOBJS)
- $(OCAMLOPT) -o reduction.opt str.cmxa $(PXPLIBSOPT) dbm.cmxa \
- $(REDUCTIONOPTOBJS) -cclib -lstr -cclib -lmldbm \
- -cclib -lndbm
-
-experiment: $(EXPERIMENTOBJS)
- $(OCAMLC) -custom -o experiment str.cma $(PXPLIBS) dbm.cma \
- $(EXPERIMENTOBJS) -cclib -lstr -cclib -lmldbm -cclib -lndbm
-
-experiment.opt: $(EXPERIMENTOPTOBJS)
- $(OCAMLOPT) -o experiment.opt str.cmxa $(PXPLIBSOPT) dbm.cmxa \
- $(EXPERIMENTOPTOBJS) -cclib -lstr -cclib -lmldbm \
- -cclib -lndbm
-
-.SUFFIXES: .ml .mli .cmo .cmi .cmx
-.ml.cmo:
- $(OCAMLC) -c $<
-.mli.cmi:
- $(OCAMLC) -c $<
-.ml.cmx:
- $(OCAMLOPT) -c $<
-
-clean:
- rm -f *.cm[iox] *.o experiment experiment.opt reduction \
- reduction.opt fix_params fix_params.opt mmlinterface \
- mmlinterface.opt mmlinterface2 mmlinterface2.opt
-
-include .depend
--- /dev/null
+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
+
+all: experiment reduction fix_params mmlinterface
+opt: experiment.opt reduction.opt fix_params.opt mmlinterface.opt
+
+PXPLIBS = netstring.cma netmappings_iso.cmo netmappings_other.cmo \
+ pxp_types.cma \
+ pxp_lex_iso88591.cma pxp_lex_utf8.cma pxp_engine.cma \
+ pxp_utf8.cmo
+
+PXPLIBSOPT = netstring.cmxa netmappings_iso.cmx netmappings_other.cmx \
+ pxp_types.cmxa \
+ pxp_lex_iso88591.cmxa pxp_lex_utf8.cmxa pxp_engine.cmxa \
+ pxp_utf8.cmx
+
+
+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 \
+ 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 \
+ annotationParser.ml annotationParser2.ml annotation2Xml.ml \
+ cicAnnotationHinter.ml
+
+MMLINTERFACEOBJS = configuration.cmo uriManager.cmo getter.cmo cic.cmo \
+ pxpUriResolver.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 \
+ 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 \
+ 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 \
+ 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 \
+ 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 \
+ 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 \
+ 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 \
+ 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 \
+ 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 \
+ cicParser3.cmx cicParser2.cmx cicParser.cmx deannotate.cmx \
+ cicSubstitution.cmx annotationParser2.cmx \
+ annotationParser.cmx cicCache.cmx cicPp.cmx experiment.cmx
+
+depend:
+ $(OCAMLDEP) $(DEPOBJS) > .depend
+
+mmlinterface: $(MMLINTERFACEOBJS)
+ $(OCAMLC) -custom -o mmlinterface str.cma unix.cma $(PXPLIBS) dbm.cma \
+ lablgtk.cma gtkInit.cmo \
+ $(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 `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 \
+ $(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 `gtkmathview-config --libs` \
+ $(LABLGTK_MATHVIEW_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 \
+ $(FIX_PARAMSOBJS) -cclib -lstr -cclib -lmldbm -cclib -lndbm
+
+fix_params.opt: $(FIX_PARAMSOPTOBJS)
+ $(OCAMLOPT) -o fix_params.opt str.cmxa $(PXPLIBSOPT) dbm.cmxa \
+ $(FIX_PARAMSOPTOBJS) -cclib -lstr -cclib -lmldbm \
+ -cclib -lndbm
+
+reduction: $(REDUCTIONOBJS)
+ $(OCAMLC) -custom -o reduction str.cma $(PXPLIBS) dbm.cma \
+ $(REDUCTIONOBJS) -cclib -lstr -cclib -lmldbm -cclib -lndbm
+
+reduction.opt: $(REDUCTIONOPTOBJS)
+ $(OCAMLOPT) -o reduction.opt str.cmxa $(PXPLIBSOPT) dbm.cmxa \
+ $(REDUCTIONOPTOBJS) -cclib -lstr -cclib -lmldbm \
+ -cclib -lndbm
+
+experiment: $(EXPERIMENTOBJS)
+ $(OCAMLC) -custom -o experiment str.cma $(PXPLIBS) dbm.cma \
+ $(EXPERIMENTOBJS) -cclib -lstr -cclib -lmldbm -cclib -lndbm
+
+experiment.opt: $(EXPERIMENTOPTOBJS)
+ $(OCAMLOPT) -o experiment.opt str.cmxa $(PXPLIBSOPT) dbm.cmxa \
+ $(EXPERIMENTOPTOBJS) -cclib -lstr -cclib -lmldbm \
+ -cclib -lndbm
+
+.SUFFIXES: .ml .mli .cmo .cmi .cmx
+.ml.cmo:
+ $(OCAMLC) -c $<
+.mli.cmi:
+ $(OCAMLC) -c $<
+.ml.cmx:
+ $(OCAMLOPT) -c $<
+
+clean:
+ rm -f *.cm[iox] *.o experiment experiment.opt reduction \
+ reduction.opt fix_params fix_params.opt mmlinterface \
+ mmlinterface.opt mmlinterface2 mmlinterface2.opt
+
+include .depend
projects / helm.git / commitdiff