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