/[svn]/cduce/trunk/Makefile.distrib
ViewVC logotype

Diff of /cduce/trunk/Makefile.distrib

Parent Directory Parent Directory | Revision Log Revision Log | View Patch Patch

revision 580 by abate, Tue Jul 10 17:46:08 2007 UTC revision 1021 by abate, Tue Jul 10 18:17:46 2007 UTC
# Line 1  Line 1 
1  include Makefile.conf  include Makefile.conf
2  VERSION = 0.1.0  VERSION = 0.2.0-pre4
3    
4  PACKAGES = pxp-engine pxp-lex-iso88591 wlexing camlp4 num cgi pcre netstring  PACKAGES = pxp-engine pxp-lex-iso88591 ulex camlp4 num cgi pcre netstring
5  ifeq ($(PXP_WLEX), true)  ifeq ($(PXP_WLEX), true)
6    PACKAGES += pxp-wlex-utf8    PACKAGES += pxp-wlex-utf8
7  else  else
8    PACKAGES += pxp-lex-utf8    PACKAGES += pxp-lex-utf8
9  endif  endif
10    
11  SYNTAX = camlp4o -I misc/ pa_extend.cmo \  
12    q_symbol.cmo \  
13    
14    #
15    # Check if running Cygwin
16    #
17    
18    ifneq (,$(findstring Cygwin, $(shell echo "Sys.os_type;;" | ocaml)))
19        EXE=.exe
20    else
21        EXE=
22    endif
23    
24    
25    SYNTAX = -I misc/ q_symbol.cmo \
26    -symbol cduce_version=\"$(VERSION)\" \    -symbol cduce_version=\"$(VERSION)\" \
27    -symbol build_date=\"$(shell date +%Y-%m-%d)\" \    -symbol build_date=\"$(shell date +%Y-%m-%d)\" \
28    -symbol session_dir=\"$(SESSION_DIR)\"    -symbol session_dir=\"$(SESSION_DIR)\"
# Line 25  Line 38 
38          SYNTAX += -symbol EXPAT=          SYNTAX += -symbol EXPAT=
39  endif  endif
40    
41  SYNTAX_PARSER = -pp '$(SYNTAX)'  ifeq ($(CURL), true)
42      PACKAGES += curl
43      SYNTAX += -symbol CURL=
44    endif
45    
46    ifeq ($(NETCLIENT), true)
47      PACKAGES += netclient
48      SYNTAX += -symbol NETCLIENT=
49    endif
50    
51    ifeq ($(ML_INTERFACE), true)
52      SYNTAX += -symbol ML_INTERFACE=
53      ML_LIB = oCaml_all.cma
54    endif
55    
56    SYNTAX_PARSER = -syntax camlp4o $(SYNTAX:%=-ppopt %)
57    
58  CAMLC_P = ocamlc  CAMLC_P = ocamlc -g
59    DEPEND_OCAMLDEP = misc/q_symbol.cmo
60  ifeq ($(PROFILE), true)  ifeq ($(PROFILE), true)
61          CAMLOPT_P = ocamlopt -p          CAMLOPT_P = ocamlopt -p
62          ifeq ($(NATIVE), false)          ifeq ($(NATIVE), false)
63           CAMLC_P = ocamlcp -p a           CAMLC_P = ocamlcp -p a
64           SYNTAX_PARSER =           SYNTAX_PARSER =
65             DEPEND_OCAMLDEP =
66          endif          endif
67  else  else
68          CAMLOPT_P = ocamlopt -inline 25          CAMLOPT_P = ocamlopt -inline 25
69  endif  endif
70    
71  OPT = -warn-error FPS  OPT = -warn-error FPS
72  CAMLC = ocamlfind $(CAMLC_P) $(OPT) -package "$(PACKAGES)"  ANNOT =
73  CAMLOPT = ocamlfind $(CAMLOPT_P) $(OPT) -package "$(PACKAGES)"  INTERFACE =
74    ifeq ($(ANNOT), true)
75            OPT += -passopt -dtypes
76    endif
77    ifeq ($(INTERFACE), true)
78            OPT += -passopt -i
79    endif
80    OCAMLFIND = ocamlfind
81    CAMLC = $(OCAMLFIND) $(CAMLC_P) $(OPT) -package "$(PACKAGES)"
82    CAMLOPT = $(OCAMLFIND) $(CAMLOPT_P) $(OPT) -package "$(PACKAGES)"
83    
84  ifeq ($(NATIVE), true)  ifeq ($(NATIVE), true)
85          EXTENSION = cmx          EXTENSION = cmx
86            EXTENSION_LIB = cmxa
87            COMPILE = $(CAMLOPT)
88          LINK = $(CAMLOPT) -linkpkg gramlib.cmxa          LINK = $(CAMLOPT) -linkpkg gramlib.cmxa
89  else  else
90          EXTENSION = cmo          EXTENSION = cmo
91            EXTENSION_LIB = cma
92            COMPILE = $(CAMLC)
93          LINK = $(CAMLC) -custom -linkpkg gramlib.cma          LINK = $(CAMLC) -custom -linkpkg gramlib.cma
94  endif  endif
95    
96  all: cduce dtd2cduce website validate  INSTALL := $(shell which install)
97    
98    
99    all: cduce dtd2cduce validate
100    
101    install: all
102            mkdir -p $(PREFIX)/bin/
103            mkdir -p $(PREFIX)/man/man1/
104            $(INSTALL) -m755 cduce$(EXE) dtd2cduce$(EXE) $(PREFIX)/bin/
105            $(INSTALL) -m644 doc/cduce.1 $(PREFIX)/man/man1/
106            $(INSTALL) -m644 doc/dtd2cduce.1 $(PREFIX)/man/man1/
107            $(INSTALL) -m644 doc/validate.1 $(PREFIX)/man/man1/
108    
109    uninstall:
110            rm  $(PREFIX)/bin/cduce$(EXE) \
111                $(PREFIX)/bin/dtd2cduce$(EXE) \
112                $(PREFIX)/man/man1/cduce.1 \
113                $(PREFIX)/man/man1/dtd2cduce.1 \
114                $(PREFIX)/man/man1/validate.1
115    
116    help:
117            @echo "GOALS"
118            @echo "  cduce : compiles the CDuce command line interpreter"
119            @echo "  dtd2cduce : compiles the dtd2cduce tools"
120            @echo "  validate : compiles the schema validation tool"
121            @echo "  webiface : compiles the CDuce web interface interpreter (CGI script)"
122            @echo "  webpages : compiles in web/www/ the files for the CDuce website"
123            @echo "             (including the tutorial and manual)"
124            @echo "  install_web : compiles webiface and webpages, and install everything"
125            @echo "  all : equivalent to (make cduce dtd2cduce validate)"
126            @echo "  install : install cduce dtd2cduce, validate et man pages"
127            @echo "  clean :  back to the starting point"
128            @echo "  uninstall : remove installed files"
129            @echo ""
130            @echo "OPTIONS (default value in brackets)"
131            @echo "  PREFIX=<path> : set the prefix for installation [/usr/local]"
132            @echo "  NATIVE=false : use the OCaml native code compiler to build CDuce [true]"
133            @echo "  PXP_WLEX=true : use wlex for parsing UTF-8 XML files [false]"
134            @echo "  EXPAT=true : build expat support [false]"
135            @echo "  CURL=true: build curl support [false]"
136            @echo "  NETCLIENT=false: build netclient support [true]"
137            @echo ""
138    
139  # Source directories  # Source directories
140    
141  DIRS = misc parser schema typing types runtime driver  DIRS = misc parser schema typing types compile runtime driver query cdo2cmo
142  CLEAN_DIRS = $(DIRS) tools tests  CLEAN_DIRS = $(DIRS) tools tests
143    
144  # Objects to build  # Objects to build
145    
146  OBJECTS = \  OBJECTS = \
147     misc/stats.cmo \
148     misc/serialize.cmo misc/custom.cmo \
149   misc/state.cmo misc/pool.cmo misc/encodings.cmo misc/bool.cmo \   misc/state.cmo misc/pool.cmo misc/encodings.cmo misc/bool.cmo \
150   misc/pretty.cmo misc/ns.cmo \   misc/pretty.cmo misc/ns.cmo misc/inttbl.cmo misc/imap.cmo \
151   \   \
152   types/sortedList.cmo types/boolean.cmo types/ident.cmo \   types/sortedList.cmo types/boolean.cmo types/ident.cmo \
153   types/intervals.cmo types/chars.cmo types/atoms.cmo \   types/intervals.cmo types/chars.cmo types/atoms.cmo \
# Line 71  Line 157 
157   \   \
158   runtime/value.cmo \   runtime/value.cmo \
159   \   \
160   schema/schema_types.cmo schema/schema_xml.cmo schema/schema_builtin.cmo \   schema/schema_xml.cmo \
161   schema/schema_validator.cmo schema/schema_parser.cmo \   schema/schema_common.cmo \
162     schema/schema_builtin.cmo \
163     schema/schema_validator.cmo \
164     schema/schema_parser.cmo \
165   \   \
166   parser/location.cmo parser/wlexer.cmo parser/ast.cmo parser/parser.cmo \   parser/location.cmo parser/url.cmo parser/ulexer.cmo parser/ast.cmo parser/parser.cmo \
167   \   \
168   typing/typed.cmo typing/typer.cmo \   typing/typed.cmo typing/typer.cmo \
169   \   \
170     compile/lambda.cmo \
171     \
172   runtime/load_xml.cmo runtime/run_dispatch.cmo \   runtime/load_xml.cmo runtime/run_dispatch.cmo \
173     runtime/explain.cmo \
174   runtime/print_xml.cmo runtime/eval.cmo \   runtime/print_xml.cmo runtime/eval.cmo \
175     compile/compile.cmo \
176     compile/operators.cmo \
177   \   \
178   types/builtin.cmo driver/cduce.cmo   types/builtin.cmo \
179     driver/librarian.cmo \
180     cdo2cmo/ml_types.cmo \
181     cdo2cmo/ml_cduce.cmo \
182     cdo2cmo/ml_ocaml.cmo \
183     cdo2cmo/ml_checker.cmo \
184     cdo2cmo/ml_generator.cmo \
185     driver/cduce.cmo
186    
187  CDUCE = $(OBJECTS) driver/run.cmo  CQL_OBJECTS= query/query.cmo query/query_parse.cmo
188  WEBIFACE  = $(OBJECTS) driver/examples.cmo driver/webiface.cmo  CQL_OBJECTS_RUN = query/query_run.cmo
189    
190    VALIDATE_OBJECTS := $(shell for o in $(OBJECTS); do echo $$o; if [ "$$o" = "schema/schema_parser.cmo" ]; then exit 0; fi; done) # all objects until schema_parser.cmo
191    
192    CDUCE = $(OBJECTS) $(CQL_OBJECTS) driver/run.cmo $(CQL_OBJECTS_RUN)
193    WEBIFACE  = $(OBJECTS) $(CQL_OBJECTS) driver/examples.cmo driver/webiface.cmo
194  DTD2CDUCE = tools/dtd2cduce.cmo  DTD2CDUCE = tools/dtd2cduce.cmo
195    
196  ALL_OBJECTS = $(OBJECTS) \  ALL_OBJECTS = $(OBJECTS) $(CQL_OBJECTS) \
197   driver/run.cmo driver/examples.cmo driver/webiface.cmo \   driver/run.cmo driver/examples.cmo driver/webiface.cmo \
198   tools/dtd2cduce.cmo   tools/dtd2cduce.cmo tools/validate.cmo \
199     $(CQL_OBJECTS_RUN)
200    ALL_INTERFACES = schema/schema_types.mli
201    
202  DEPEND = $(ALL_OBJECTS:.cmo=.ml) $(ALL_OBJECTS:.cmo=.mli)  DEPEND = $(ALL_OBJECTS:.cmo=.ml) $(ALL_OBJECTS:.cmo=.mli) $(ALL_INTERFACES)
203    
204  INCLUDES = $(DIRS:%=-I %)  INCLUDES = $(DIRS:%=-I %)
205    
206  cduce: $(CDUCE:.cmo=.$(EXTENSION))  cduce: $(CDUCE:.cmo=.$(EXTENSION))
207          $(LINK) $(INCLUDES) -o $@ $^          $(LINK) $(INCLUDES) -o $@ $(ML_LIB) $^ $(EXTRA_LINK_OPTS)
208    
209    cDuce_all.$(EXTENSION_LIB): $(OBJECTS:.cmo=.$(EXTENSION))
210            $(COMPILE) -o cDuce_all.$(EXTENSION) -pack $^
211            $(LINK) -a -o $@ cDuce_all.$(EXTENSION)
212    
213  webiface: $(WEBIFACE:.cmo=.$(EXTENSION))  webiface: $(WEBIFACE:.cmo=.$(EXTENSION))
214          $(LINK) $(INCLUDES) -o $@ $^          $(LINK) -verbose $(INCLUDES) -o $@ $^ -ccopt -static
215    # webiface is made static to be able to move it more easily
216    # (to compile it on a machine which is not the web server)
217    
218  dtd2cduce: $(DTD2CDUCE:.cmo=.$(EXTENSION))  dtd2cduce: $(DTD2CDUCE:.cmo=.$(EXTENSION))
219          $(LINK) $(INCLUDES) -o $@ $^          $(LINK) $(INCLUDES) -o $@ $^
220    
221  validate: $(OBJECTS:.cmo=.$(EXTENSION)) tools/validate.ml  validate: $(VALIDATE_OBJECTS:.cmo=.$(EXTENSION)) tools/validate.$(EXTENSION)
222          $(LINK) $(INCLUDES) -o $@ $^          $(LINK) $(INCLUDES) -o $@ $^
223    
224  .PHONY: compute_depend  .PHONY: compute_depend
225  compute_depend: misc/q_symbol.cmo  compute_depend: $(DEPEND_OCAMLDEP)
226            echo $(DEPEND)
227          @echo "Computing dependencies ..."          @echo "Computing dependencies ..."
228          ocamldep $(INCLUDES) $(SYNTAX_PARSER) $(DEPEND) | \          ocamlfind ocamldep -package "$(PACKAGES)" \
229                    $(INCLUDES) $(SYNTAX_PARSER) $(DEPEND) | \
230          sed -e "s|: |: misc/q_symbol.cmo |" > depend          sed -e "s|: |: misc/q_symbol.cmo |" > depend
   
 parser/wlexer.ml: parser/wlexer.mll  
         wlex parser/wlexer.mll  
   
231  clean:  clean:
232          for i in $(CLEAN_DIRS); do \          for i in $(CLEAN_DIRS); do \
233          (cd $$i; rm -f *.cmi *.cmo *.cma *.cmx *.o *~); \          (cd $$i; rm -f *.cmi *.cmo *.cma *.cmx *.o *~); \
234          done          done
235          (cd expat; make clean)          (cd expat; $(MAKE) clean)
236          rm -f `find . -name "*~"`          rm -f `find . -name "*~"`
237          rm -f *.cmi *.cmo *.cma *.cmx *.a *.cmxa *.o *~          rm -f *.cmi *.cmo *.cma *.cmx *.a *.cmxa *.o *~
238          rm -f cduce ocamlprof.dump          rm -f cduce ocamlprof.dump
239          rm -f dtd2cduce pool webiface validate          rm -f dtd2cduce pool webiface validate
240          rm -Rf prepro package          rm -Rf prepro package
241          rm -f web/www/*.html web/*~          rm -f web/www/*.html web/*~
242            rm -f web/*.cdo
243    
244    
245  .SUFFIXES: .ml .mli .cmo .cmi .cmx  .SUFFIXES: .ml .mli .cmo .cmi .cmx
# Line 135  Line 248 
248          $(CAMLC) -c -pp 'camlp4o pa_extend.cmo q_MLast.cmo' $<          $(CAMLC) -c -pp 'camlp4o pa_extend.cmo q_MLast.cmo' $<
249    
250  .ml.cmo:  .ml.cmo:
251          $(CAMLC) -c $(SYNTAX_PARSER) $(INCLUDES) $<          $(CAMLC) -c $(INCLUDES) $(SYNTAX_PARSER) $<
252    
253  .ml.cmx:  .ml.cmx:
254          $(CAMLOPT) -c $(SYNTAX_PARSER) $(INCLUDES) $<          $(CAMLOPT) -c $(SYNTAX_PARSER) $(INCLUDES) $<
# Line 148  Line 261 
261  # CDuce-generated files  # CDuce-generated files
262    
263  driver/examples.ml: cduce web/examples/build.cd web/examples/examples.xml  driver/examples.ml: cduce web/examples/build.cd web/examples/examples.xml
264          (cd web/examples; ../../cduce --quiet build.cd --arg examples.xml)          (cd web/examples; ../../cduce build.cd --arg examples.xml)
265    
266  webpages: cduce web/site.cd  webpages: cduce web/site.cdo
267          (cd web; ../cduce --quiet site.cd --arg site.xml)          (cd web; ../cduce --run site.cdo --arg site.xml)
268    
269    web/site.cdo: cduce web/xhtml.cdo web/site.cd
270            ./cduce -I web/ --compile web/site.cd
271    
272    web/xhtml.cdo: cduce web/xhtml.cd
273            ./cduce -I web/ --compile web/xhtml.cd
274    
275  website: webpages webiface  website: webpages webiface
276    
277  install_web: website  install_web: website
278          cp  web/www/*.html web/cduce.css  $(HTML_DIR)/          cp  web/www/*.html web/cduce.css  $(HTML_DIR)/
279          cp CHANGES $(HTML_DIR)/          cp CHANGES  INSTALL INSTALL.WIN32 $(HTML_DIR)/
280          cp webiface $(CGI_DIR)/cduce          cp webiface $(CGI_DIR)/cduce
281          if test ! -d "$(HTML_DIR)/img" ; then \          if test ! -d "$(HTML_DIR)/img" ; then \
282            mkdir $(HTML_DIR)/img; \            mkdir $(HTML_DIR)/img; \
283          fi;          fi;
284          cp web/img/*.*  $(HTML_DIR)/img          cp web/img/*.*  $(HTML_DIR)/img
285    #*: help
286    
287    
288    cduce2ocaml: cDuce_all.$(EXTENSION_LIB)
289            rm -f cduce2ocaml
290            (cd cdo2cmo; $(MAKE) clean; $(MAKE) NATIVE=$(NATIVE))
Legend:
Removed from v.580  
changed lines
  Added in v.1021
CVS Admin">CVS Admin
 ViewVC Help
Powered by ViewVC 1.1.5