X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Finterface%2FMakefile.in;h=1fe1570161c75498a36507508c4f87f931ab1c49;hb=89262281b6e83bd2321150f81f1a0583645eb0c8;hp=39328094c8ae0db36e4f5c75c247b9b922eb39b6;hpb=f2e28618fb5422ff96d6b5487a2e429ca7ebb986;p=helm.git diff --git a/helm/interface/Makefile.in b/helm/interface/Makefile.in index 39328094c..1fe157016 100644 --- a/helm/interface/Makefile.in +++ b/helm/interface/Makefile.in @@ -1,13 +1,18 @@ 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 @@ -23,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 @@ -107,57 +119,57 @@ 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 \ - $(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 @@ -175,11 +187,17 @@ clean: mmlinterface.opt mmlinterface2 mmlinterface2.opt install: - cp mmlinterface mmlinterface.opt $(HELM_BIN_DIR) + cp mmlinterface mmlinterface.opt helm_wget $(BIN_DIR) + +distclean: clean + rm -f Makefile configuration.ml helm_wget configure config.log \ + config.cache config.status -distclean: - rm -f Makefile configuration.ml 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