From: Claudio Sacerdoti Coen Date: Thu, 28 Dec 2000 16:56:14 +0000 (+0000) Subject: Makefile moved in Makefile.in to use autoconf X-Git-Tag: nogzip~20 X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=8888ef176932798ba5c3b332eb1e9f2d57bf2a88;p=helm.git Makefile moved in Makefile.in to use autoconf --- diff --git a/helm/interface/Makefile b/helm/interface/Makefile deleted file mode 100644 index cb833fcc7..000000000 --- a/helm/interface/Makefile +++ /dev/null @@ -1,175 +0,0 @@ -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 diff --git a/helm/interface/Makefile.in b/helm/interface/Makefile.in new file mode 100644 index 000000000..cb833fcc7 --- /dev/null +++ b/helm/interface/Makefile.in @@ -0,0 +1,175 @@ +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