helm/interface/Makefile.in

   1 OCAML_ROOT = @OCAML_ROOT@
   2 BIN_DIR = @BIN_DIR@
   3 LABLGTK_DIR = @LABLGTK_LIB_DIR@
   4 LABLGTKMATHVIEW_DIR = @LABLGTKMATHVIEW_LIB_DIR@
   5 MINIDOM_DIR = @MLMINIDOM_LIB_DIR@
   6
   7 PXP_DIR = $(OCAML_ROOT)/site-lib/pxp
   8 NETSTRING_DIR = $(OCAML_ROOT)/site-lib/netstring
   9
  10 #OCAMLC = ocamlc -I $(LABLGTK_DIR) -I $(LABLGTKMATHVIEW_DIR) -I $(PXP_DIR) -I $(NETSTRING_DIR) -I $(MINIDOM_DIR) -I mlmathview
  11 #OCAMLOPT = ocamlopt -I $(LABLGTK_DIR) -I $(LABLGTKMATHVIEW_DIR) -I mlgtk_devel -I $(PXP_DIR) -I $(NETSTRING_DIR) -I $(MINIDOM_DIR) -I mlmathview
  12 OCAMLC = ocamlc -I $(LABLGTK_DIR) -I $(LABLGTKMATHVIEW_DIR) -I $(PXP_DIR) -I $(NETSTRING_DIR) -I $(MINIDOM_DIR)
  13 OCAMLOPT = ocamlopt -I $(LABLGTK_DIR) -I $(LABLGTKMATHVIEW_DIR) -I $(PXP_DIR) -I $(NETSTRING_DIR) -I $(MINIDOM_DIR)
  14 OCAMLDEP = ocamldep
  15
  16 all: experiment reduction fix_params mmlinterface
  17 opt: experiment.opt reduction.opt fix_params.opt mmlinterface.opt
  18
  19 PXPLIBS = netstring.cma netmappings_iso.cmo netmappings_other.cmo \
  20           pxp_types.cma \
  21           pxp_lex_iso88591.cma pxp_lex_utf8.cma pxp_engine.cma \
  22           pxp_utf8.cmo
  23
  24 PXPLIBSOPT = netstring.cmxa netmappings_iso.cmx netmappings_other.cmx \
  25              pxp_types.cmxa \
  26              pxp_lex_iso88591.cmxa pxp_lex_utf8.cmxa pxp_engine.cmxa \
  27              pxp_utf8.cmx
  28
  29
  30 DEPOBJS = experiment.ml cicCache.ml cicCache.mli cicPp.ml cicPp.mli \
  31           cicParser.ml cicParser.mli cicParser2.ml cicParser2.mli \
  32           cicParser3.ml cicParser3.mli cic.ml getter.ml getter.mli \
  33           gtkInterface.ml cicReduction.ml cicReduction.mli cicTypeChecker.ml \
  34           cicTypeChecker.mli reduction.ml tgtkInterface.ml theory.ml \
  35           theoryParser.ml theoryParser2.ml theoryPp.ml theoryTypeChecker.ml \
  36           cicCooking.ml cicCooking.mli cicFindParameters.ml theoryCache.ml \
  37           fix_params.ml cic2Xml.ml xml.ml uriManager.ml uriManager.mli \
  38           cicSubstitution.ml cicSubstitution.mli \
  39           mmlinterface.ml configuration.ml \
  40           xsltProcessor.ml deannotate.ml cicXPath.ml pxpUriResolver.ml \
  41           annotationParser.ml annotationParser2.ml annotation2Xml.ml \
  42           cicAnnotationHinter.ml
  43
  44 MMLINTERFACEOBJS = configuration.cmo uriManager.cmo getter.cmo cic.cmo \
  45                    pxpUriResolver.cmo \
  46                    cicParser3.cmo cicParser2.cmo cicParser.cmo deannotate.cmo \
  47                    cicSubstitution.cmo annotationParser2.cmo \
  48                    annotationParser.cmo cicCache.cmo cicCooking.cmo cicPp.cmo \
  49                    cicReduction.cmo cicTypeChecker.cmo \
  50                    xml.cmo \
  51                    xsltProcessor.cmo cic2Xml.cmo annotation2Xml.cmo \
  52                    cicXPath.cmo theory.cmo theoryParser2.cmo theoryParser.cmo \
  53                    theoryCache.cmo theoryTypeChecker.cmo \
  54                    cicAnnotationHinter.cmo mmlinterface.cmo
  55
  56 MMLINTERFACEOPTOBJS = configuration.cmx uriManager.cmx getter.cmx cic.cmx \
  57                       pxpUriResolver.cmx \
  58                       cicParser3.cmx cicParser2.cmx cicParser.cmx \
  59                       deannotate.cmx cicSubstitution.cmx annotationParser2.cmx \
  60                       annotationParser.cmx cicCache.cmx \
  61                       cicCooking.cmx cicPp.cmx cicReduction.cmx \
  62                       cicTypeChecker.cmx \
  63                       xml.cmx xsltProcessor.cmx \
  64                       cic2Xml.cmx annotation2Xml.cmx cicXPath.cmx \
  65                       theory.cmx theoryParser2.cmx theoryParser.cmx \
  66                       theoryCache.cmx theoryTypeChecker.cmx \
  67                       cicAnnotationHinter.cmx mmlinterface.cmx
  68
  69 FIX_PARAMSOBJS = configuration.cmo uriManager.cmo getter.cmo cic.cmo \
  70                  pxpUriResolver.cmo \
  71                  cicParser3.cmo cicParser2.cmo cicParser.cmo deannotate.cmo \
  72                  cicSubstitution.cmo annotationParser2.cmo \
  73                  annotationParser.cmo  cicCache.cmo cicPp.cmo xml.cmo \
  74                  cic2Xml.cmo cicFindParameters.cmo fix_params.cmo
  75
  76 FIX_PARAMSOPTOBJS = configuration.cmx uriManager.cmx getter.cmx cic.cmx \
  77                     pxpUriResolver.cmx \
  78                     cicParser3.cmx cicParser2.cmx cicParser.cmx deannotate.cmx \
  79                     cicSubstitution.cmx annotationParser2.cmx \
  80                     annotationParser.cmx cicCache.cmx cicPp.cmx xml.cmx \
  81                     cic2Xml.cmx cicFindParameters.cmx fix_params.cmx
  82
  83 REDUCTIONOBJS = configuration.cmo uriManager.cmo getter.cmo cic.cmo \
  84                 pxpUriResolver.cmo \
  85                 cicParser3.cmo cicParser2.cmo cicParser.cmo deannotate.cmo \
  86                 cicSubstitution.cmo annotationParser2.cmo annotationParser.cmo \
  87                 cicCache.cmo cicPp.cmo cicCooking.cmo \
  88                 cicReduction.cmo cicTypeChecker.cmo reduction.cmo
  89
  90 REDUCTIONOPTOBJS = configuration.cmx uriManager.cmx getter.cmx cic.cmx \
  91                    pxpUriResolver.cmx \
  92                    cicParser3.cmx cicParser2.cmx cicParser.cmx deannotate.cmx \
  93                    cicSubstitution.cmx annotationParser2.cmx \
  94                    annotationParser.cmx cicCache.cmx cicPp.cmx cicCooking.cmx \
  95                    cicReduction.cmx cicTypeChecker.cmx reduction.cmx
  96
  97 EXPERIMENTOBJS = configuration.cmo uriManager.cmo getter.cmo cic.cmo \
  98                  pxpUriResolver.cmo \
  99                  cicParser3.cmo cicParser2.cmo cicParser.cmo deannotate.cmo \
 100                  cicSubstitution.cmo annotationParser2.cmo \
 101                  annotationParser.cmo cicCache.cmo cicPp.cmo experiment.cmo
 102
 103 EXPERIMENTOPTOBJS = configuration.cmx uriManager.cmx getter.cmx cic.cmx \
 104                     pxpUriResolver.cmx \
 105                     cicParser3.cmx cicParser2.cmx cicParser.cmx deannotate.cmx \
 106                     cicSubstitution.cmx annotationParser2.cmx \
 107                     annotationParser.cmx cicCache.cmx cicPp.cmx experiment.cmx
 108
 109 depend:
 110         $(OCAMLDEP) $(DEPOBJS) > .depend
 111
 112 mmlinterface: $(MMLINTERFACEOBJS)
 113         $(OCAMLC) -custom -o mmlinterface str.cma unix.cma $(PXPLIBS) dbm.cma \
 114                   lablgtk.cma gtkInit.cmo \
 115                   $(MINIDOM_DIR)/minidom.cmo \
 116                   $(MINIDOM_DIR)/ominidom.cmo \
 117                   $(LABLGTKMATHVIEW_DIR)/lablgtkmathview.cma \
 118                   $(MMLINTERFACEOBJS) \
 119                   -cclib "-lstr -L/usr/lib -L/usr/X11R6/lib -lgtk -lgdk \
 120                   -rdynamic -lgmodule -lglib -ldl -lXi -lXext -lX11 -lm \
 121                   -lunix `gtkmathview-config --libs` \
 122                   $(LABLGTKMATHVIEW_DIR)/ml_gtk_mathview.o \
 123                   $(MINIDOM_DIR)/ml_minidom.o" \
 124                   -cclib -lmldbm -cclib -lndbm
 125
 126 mmlinterface.opt: $(MMLINTERFACEOPTOBJS)
 127         $(OCAMLOPT) -o mmlinterface.opt str.cmxa $(PXPLIBSOPT) unix.cmxa \
 128                     dbm.cmxa lablgtk.cmxa gtkInit.cmx \
 129                     $(MINIDOM_DIR)/minidom.cmx \
 130                     $(MINIDOM_DIR)/ominidom.cmx \
 131                     $(LABLGTKMATHVIEW_DIR)/lablgtkmathview.cmxa \
 132                     $(MMLINTERFACEOPTOBJS) \
 133                     -cclib "-lstr -L/usr/lib -L/usr/X11R6/lib -lgtk -lgdk \
 134                     -rdynamic -lgmodule -lglib -ldl -lXi -lXext -lX11 -lm \
 135                     -lunix `gtkmathview-config --libs` \
 136                     $(LABLGTKMATHVIEW_DIR)/ml_gtk_mathview.o \
 137                     $(MINIDOM_DIR)/ml_minidom.o" \
 138                     -cclib -lmldbm -cclib -lndbm
 139
 140 fix_params: $(FIX_PARAMSOBJS)
 141         $(OCAMLC) -custom -o fix_params str.cma $(PXPLIBS) dbm.cma \
 142                   $(FIX_PARAMSOBJS) -cclib -lstr -cclib -lmldbm -cclib -lndbm
 143
 144 fix_params.opt: $(FIX_PARAMSOPTOBJS)
 145         $(OCAMLOPT) -o fix_params.opt str.cmxa $(PXPLIBSOPT) dbm.cmxa \
 146                     $(FIX_PARAMSOPTOBJS) -cclib -lstr -cclib -lmldbm \
 147                     -cclib -lndbm
 148
 149 reduction: $(REDUCTIONOBJS)
 150         $(OCAMLC) -custom -o reduction str.cma $(PXPLIBS) dbm.cma \
 151                   $(REDUCTIONOBJS) -cclib -lstr -cclib -lmldbm -cclib -lndbm
 152
 153 reduction.opt: $(REDUCTIONOPTOBJS)
 154         $(OCAMLOPT) -o reduction.opt str.cmxa $(PXPLIBSOPT) dbm.cmxa \
 155                     $(REDUCTIONOPTOBJS) -cclib -lstr -cclib -lmldbm \
 156                     -cclib -lndbm
 157
 158 experiment: $(EXPERIMENTOBJS)
 159         $(OCAMLC) -custom -o experiment str.cma $(PXPLIBS) dbm.cma \
 160                   $(EXPERIMENTOBJS) -cclib -lstr -cclib -lmldbm -cclib -lndbm
 161
 162 experiment.opt: $(EXPERIMENTOPTOBJS)
 163         $(OCAMLOPT) -o experiment.opt str.cmxa $(PXPLIBSOPT) dbm.cmxa \
 164                     $(EXPERIMENTOPTOBJS) -cclib -lstr -cclib -lmldbm \
 165                     -cclib -lndbm
 166
 167 .SUFFIXES: .ml .mli .cmo .cmi .cmx
 168 .ml.cmo:
 169         $(OCAMLC) -c $<
 170 .mli.cmi:
 171         $(OCAMLC) -c $<
 172 .ml.cmx:
 173         $(OCAMLOPT) -c $<
 174
 175 clean:
 176         rm -f *.cm[iox] *.o experiment experiment.opt reduction \
 177            reduction.opt fix_params fix_params.opt mmlinterface \
 178            mmlinterface.opt mmlinterface2 mmlinterface2.opt
 179
 180 install:
 181         cp mmlinterface mmlinterface.opt helm_wget $(BIN_DIR)
 182
 183 distclean: clean
 184         rm -f Makefile configuration.ml helm_wget configure config.log \
 185          config.cache config.status
 186
 187 dist:   clean
 188         rm -rf ../@PACKAGE@-@VERSION@
 189         mkdir ../@PACKAGE@-@VERSION@
 190         cp -r * ../@PACKAGE@-@VERSION@
 191         (cd .. ; tar cvfz @PACKAGE@-@VERSION@.tar.gz @PACKAGE@-@VERSION@ ; rm -rf @PACKAGE@-@VERSION@)
 192
 193 .PHONY: install distclean clean
 194
 195 include .depend