helm/interface/Makefile

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