X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Finterface%2FMakefile.in;h=1fe1570161c75498a36507508c4f87f931ab1c49;hb=1c7fb836e2af4f2f3d18afd0396701f2094265ff;hp=0a0339e6f1f433562866e965755157e9348ef3c2;hpb=6ad6608ac02ed454313a580e85f3b576cb6abdd1;p=helm.git diff --git a/helm/interface/Makefile.in b/helm/interface/Makefile.in index 0a0339e6f..1fe157016 100644 --- 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