]> matita.cs.unibo.it Git - helm.git/blob - helm/interface/Makefile.in
Main code clean-up.
[helm.git] / 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