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