X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Finterface%2FMakefile.in;h=2e92fd82be5209443ca88ca55a638924640c1c54;hb=refs%2Ftags%2Fv0_0_2;hp=1fe1570161c75498a36507508c4f87f931ab1c49;hpb=4faf0e37e7019de16dd6862bb34d84f799a2a230;p=helm.git diff --git a/helm/interface/Makefile.in b/helm/interface/Makefile.in index 1fe157016..2e92fd82b 100644 --- a/helm/interface/Makefile.in +++ b/helm/interface/Makefile.in @@ -6,13 +6,11 @@ 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) -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) +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) OCAMLDEP = ocamldep all: experiment reduction fix_params mmlinterface @@ -28,89 +26,82 @@ 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 clientHTTP.ml getter.ml getter.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 styleConfiguration.ml \ - xsltProcessorHTTP.ml xsltProcessor.ml deannotate.ml cicXPath.ml pxpUriResolver.ml \ + 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 clientHTTP.cmo getter.cmo cic.cmo \ - pxpUriResolver.cmo styleConfiguration.cmo \ +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 \ - xsltProcessorHTTP.cmo xsltProcessor.cmo cic2Xml.cmo annotation2Xml.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 clientHTTP.cmx getter.cmx cic.cmx \ - pxpUriResolver.cmx styleConfiguration.cmx \ +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 xsltProcessorHTTP.cmx xsltProcessor.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 clientHTTP.cmo getter.cmo cic.cmo \ - pxpUriResolver.cmo styleConfiguration.cmo \ +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 clientHTTP.cmx getter.cmx cic.cmx \ - pxpUriResolver.cmx styleConfiguration.cmx \ +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 clientHTTP.cmo getter.cmo cic.cmo \ - pxpUriResolver.cmo styleConfiguration.cmo \ +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 clientHTTP.cmx getter.cmx cic.cmx \ - pxpUriResolver.cmx styleConfiguration.cmx \ +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 clientHTTP.cmo getter.cmo cic.cmo \ - pxpUriResolver.cmo styleConfiguration.cmo \ +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 clientHTTP.cmx getter.cmx cic.cmx \ - pxpUriResolver.cmx styleConfiguration.cmx \ +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 @@ -119,7 +110,7 @@ depend: $(OCAMLDEP) $(DEPOBJS) > .depend mmlinterface: $(MMLINTERFACEOBJS) - $(OCAMLC) -custom -o mmlinterface str.cma unix.cma $(PXPLIBS) $(XSTRLIBS) $(NETCLIENTLIBS) dbm.cma \ + $(OCAMLC) -custom -o mmlinterface str.cma unix.cma $(PXPLIBS) dbm.cma \ lablgtk.cma gtkInit.cmo \ $(MINIDOM_DIR)/minidom.cmo \ $(MINIDOM_DIR)/ominidom.cmo \ @@ -133,7 +124,7 @@ mmlinterface: $(MMLINTERFACEOBJS) -cclib -lmldbm -cclib -lndbm mmlinterface.opt: $(MMLINTERFACEOPTOBJS) - $(OCAMLOPT) -o mmlinterface.opt str.cmxa unix.cmxa $(PXPLIBSOPT) $(XSTRLIBSOPT) $(NETCLIENTLIBSOPT) unix.cmxa \ + $(OCAMLOPT) -o mmlinterface.opt str.cmxa $(PXPLIBSOPT) unix.cmxa \ dbm.cmxa lablgtk.cmxa gtkInit.cmx \ $(MINIDOM_DIR)/minidom.cmx \ $(MINIDOM_DIR)/ominidom.cmx \ @@ -147,29 +138,29 @@ mmlinterface.opt: $(MMLINTERFACEOPTOBJS) -cclib -lmldbm -cclib -lndbm fix_params: $(FIX_PARAMSOBJS) - $(OCAMLC) -custom -o fix_params str.cma unix.cma $(PXPLIBS) $(XSTRLIBS) $(NETCLIENTLIBS) dbm.cma \ + $(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 unix.cmxa $(PXPLIBSOPT) $(XSTRLIBSOPT) $(NETCLIENTLIBSOPT) dbm.cmxa \ + $(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 unix.cma $(PXPLIBS) $(XSTRLIBS) $(NETCLIENTLIBS) dbm.cma \ + $(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 unix.cmxa $(PXPLIBSOPT) $(XSTRLIBSOPT) $(NETCLIENTLIBSOPT) dbm.cmxa \ + $(OCAMLOPT) -o reduction.opt str.cmxa $(PXPLIBSOPT) dbm.cmxa \ $(REDUCTIONOPTOBJS) -cclib -lstr -cclib -lmldbm \ -cclib -lndbm experiment: $(EXPERIMENTOBJS) - $(OCAMLC) -custom -o experiment str.cma unix.cma $(PXPLIBS) $(XSTRLIBS) $(NETCLIENTLIBS) dbm.cma \ + $(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 unix.cmxa $(PXPLIBSOPT) $(XSTRLIBSOPT) $(NETCLIENTLIBSOPT) dbm.cmxa \ + $(OCAMLOPT) -o experiment.opt str.cmxa $(PXPLIBSOPT) dbm.cmxa \ $(EXPERIMENTOPTOBJS) -cclib -lstr -cclib -lmldbm \ -cclib -lndbm