1 OCAML_ROOT = @OCAML_ROOT@
3 LABLGTK_DIR = @LABLGTK_LIB_DIR@
4 LABLGTKMATHVIEW_DIR = @LABLGTKMATHVIEW_LIB_DIR@
5 MINIDOM_DIR = @MLMINIDOM_LIB_DIR@
7 PXP_DIR = $(OCAML_ROOT)/site-lib/pxp
8 NETSTRING_DIR = $(OCAML_ROOT)/site-lib/netstring
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)
16 all: experiment reduction fix_params mmlinterface
17 opt: experiment.opt reduction.opt fix_params.opt mmlinterface.opt
19 PXPLIBS = netstring.cma netmappings_iso.cmo netmappings_other.cmo \
21 pxp_lex_iso88591.cma pxp_lex_utf8.cma pxp_engine.cma \
24 PXPLIBSOPT = netstring.cmxa netmappings_iso.cmx netmappings_other.cmx \
26 pxp_lex_iso88591.cmxa pxp_lex_utf8.cmxa pxp_engine.cmxa \
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
44 MMLINTERFACEOBJS = configuration.cmo uriManager.cmo getter.cmo cic.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 \
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
56 MMLINTERFACEOPTOBJS = configuration.cmx uriManager.cmx getter.cmx cic.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 \
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
69 FIX_PARAMSOBJS = configuration.cmo uriManager.cmo getter.cmo cic.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
76 FIX_PARAMSOPTOBJS = configuration.cmx uriManager.cmx getter.cmx cic.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
83 REDUCTIONOBJS = configuration.cmo uriManager.cmo getter.cmo cic.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
90 REDUCTIONOPTOBJS = configuration.cmx uriManager.cmx getter.cmx cic.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
97 EXPERIMENTOBJS = configuration.cmo uriManager.cmo getter.cmo cic.cmo \
99 cicParser3.cmo cicParser2.cmo cicParser.cmo deannotate.cmo \
100 cicSubstitution.cmo annotationParser2.cmo \
101 annotationParser.cmo cicCache.cmo cicPp.cmo experiment.cmo
103 EXPERIMENTOPTOBJS = configuration.cmx uriManager.cmx getter.cmx cic.cmx \
105 cicParser3.cmx cicParser2.cmx cicParser.cmx deannotate.cmx \
106 cicSubstitution.cmx annotationParser2.cmx \
107 annotationParser.cmx cicCache.cmx cicPp.cmx experiment.cmx
110 $(OCAMLDEP) $(DEPOBJS) > .depend
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
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
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
144 fix_params.opt: $(FIX_PARAMSOPTOBJS)
145 $(OCAMLOPT) -o fix_params.opt str.cmxa $(PXPLIBSOPT) dbm.cmxa \
146 $(FIX_PARAMSOPTOBJS) -cclib -lstr -cclib -lmldbm \
149 reduction: $(REDUCTIONOBJS)
150 $(OCAMLC) -custom -o reduction str.cma $(PXPLIBS) dbm.cma \
151 $(REDUCTIONOBJS) -cclib -lstr -cclib -lmldbm -cclib -lndbm
153 reduction.opt: $(REDUCTIONOPTOBJS)
154 $(OCAMLOPT) -o reduction.opt str.cmxa $(PXPLIBSOPT) dbm.cmxa \
155 $(REDUCTIONOPTOBJS) -cclib -lstr -cclib -lmldbm \
158 experiment: $(EXPERIMENTOBJS)
159 $(OCAMLC) -custom -o experiment str.cma $(PXPLIBS) dbm.cma \
160 $(EXPERIMENTOBJS) -cclib -lstr -cclib -lmldbm -cclib -lndbm
162 experiment.opt: $(EXPERIMENTOPTOBJS)
163 $(OCAMLOPT) -o experiment.opt str.cmxa $(PXPLIBSOPT) dbm.cmxa \
164 $(EXPERIMENTOPTOBJS) -cclib -lstr -cclib -lmldbm \
167 .SUFFIXES: .ml .mli .cmo .cmi .cmx
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
181 cp mmlinterface mmlinterface.opt helm_wget $(BIN_DIR)
184 rm -f Makefile configuration.ml helm_wget configure config.log \
185 config.cache config.status
188 rm -rf ../@PACKAGE@-@VERSION@
189 mkdir ../@PACKAGE@-@VERSION@
190 cp -r * .depend ../@PACKAGE@-@VERSION@
191 (cd .. ; tar cvfz @PACKAGE@-@VERSION@.tar.gz @PACKAGE@-@VERSION@ ; rm -rf @PACKAGE@-@VERSION@)
193 .PHONY: install distclean clean