]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/interface/Makefile.in
projects / helm.git / blobdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | inline | side by side
- the mathql interpreter is not helm-dependent any more
[helm.git] / helm / interface / Makefile.in
diff --git a/helm/interface/Makefile.in b/helm/interface/Makefile.in
index 0a0339e6f1f433562866e965755157e9348ef3c2..1fe1570161c75498a36507508c4f87f931ab1c49 100644 (file)
--- a/helm/interface/Makefile.in
+++ b/helm/interface/Makefile.in
@@ -6,11 +6,13 @@ MINIDOM_DIR = @MLMINIDOM_LIB_DIR@
 
 PXP_DIR = $(OCAML_ROOT)/site-lib/pxp
 NETSTRING_DIR = $(OCAML_ROOT)/site-lib/netstring
+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) 
-OCAMLOPT = ocamlopt -I $(LABLGTK_DIR) -I $(LABLGTKMATHVIEW_DIR) -I $(PXP_DIR) -I $(NETSTRING_DIR) -I $(MINIDOM_DIR) 
+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
@@ -26,82 +28,89 @@ PXPLIBSOPT = netstring.cmxa netmappings_iso.cmx netmappings_other.cmx \
              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
@@ -110,7 +119,7 @@ depend:
        $(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 \
@@ -124,7 +133,7 @@ mmlinterface: $(MMLINTERFACEOBJS)
                   -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 \
@@ -138,29 +147,29 @@ mmlinterface.opt: $(MMLINTERFACEOPTOBJS)
                     -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
 
@@ -187,7 +196,7 @@ distclean: clean
 dist:   clean
        rm -rf ../@PACKAGE@-@VERSION@
        mkdir ../@PACKAGE@-@VERSION@
-       cp -r * ../@PACKAGE@-@VERSION@
+       cp -r * .depend ../@PACKAGE@-@VERSION@
        (cd .. ; tar cvfz @PACKAGE@-@VERSION@.tar.gz @PACKAGE@-@VERSION@ ; rm -rf @PACKAGE@-@VERSION@)
 
 .PHONY: install distclean clean
Unnamed repository; edit this file 'description' to name the repository.