include Makefile.conf VERSION = 0.2.0-pre5 PACKAGES = pxp-engine pxp-lex-iso88591 ulex camlp4 num cgi pcre netstring ifeq ($(PXP_WLEX), true) PACKAGES += pxp-wlex-utf8 else PACKAGES += pxp-lex-utf8 endif # webiface can be made static to be able to move it more easily # (to compile it on a machine which is not the web server) # Seems to be some problems with statically linking curl # EXTRA_OPTS_WEBIFACE = -ccopt -static SYNTAX = -I misc/ q_symbol.cmo \ -symbol cduce_version=\"$(VERSION)\" \ -symbol build_date=\"$(shell date +%Y-%m-%d)\" \ -symbol session_dir=\"$(SESSION_DIR)\" ifeq ($(NATIVE), true) SYNTAX += -symbol ocaml_compiler=\"native\" else SYNTAX += -symbol ocaml_compiler=\"bytecode\" endif ifeq ($(EXPAT), true) PACKAGES += expat SYNTAX += -symbol EXPAT= endif ifeq ($(CURL), true) PACKAGES += curl SYNTAX += -symbol CURL= endif ifeq ($(NETCLIENT), true) PACKAGES += netclient SYNTAX += -symbol NETCLIENT= endif SYNTAX_PARSER = -syntax camlp4o $(SYNTAX:%=-ppopt %) CAMLC_P = ocamlc -g DEPEND_OCAMLDEP = misc/q_symbol.cmo ifeq ($(PROFILE), true) CAMLOPT_P = ocamlopt -p ifeq ($(NATIVE), false) CAMLC_P = ocamlcp -p a SYNTAX_PARSER = DEPEND_OCAMLDEP = endif else CAMLOPT_P = ocamlopt -inline 25 endif OPT = -warn-error FPS ANNOT = INTERFACE = ifeq ($(ANNOT), true) OPT += -passopt -dtypes endif ifeq ($(INTERFACE), true) OPT += -passopt -i endif OCAMLFIND = ocamlfind CAMLC = $(OCAMLFIND) $(CAMLC_P) $(OPT) -package "$(PACKAGES)" CAMLOPT = $(OCAMLFIND) $(CAMLOPT_P) $(OPT) -package "$(PACKAGES)" ifeq ($(NATIVE), true) EXTENSION = cmx EXTENSION_LIB = cmxa COMPILE = $(CAMLOPT) LINK = $(CAMLOPT) -linkpkg gramlib.cmxa else EXTENSION = cmo EXTENSION_LIB = cma COMPILE = $(CAMLC) LINK = $(CAMLC) -custom -linkpkg gramlib.cma endif ifneq ($(ML_INTERFACE), false) SYNTAX += -symbol ML_INTERFACE= ML_LIB = oCaml_all.$(EXTENSION_LIB) ML_INTERFACE_OBJ = \ cdo2cmo/ml_types.cmo \ cdo2cmo/ml_cduce.cmo \ cdo2cmo/ml_ocaml.cmo \ cdo2cmo/ml_checker.cmo \ cdo2cmo/ml_generator.cmo else ML_INTERFACE_OBJ = endif INSTALL := $(shell which install) all: cduce dtd2cduce validate ifneq ($(ML_INTERFACE), false) all: cdml.$(EXTENSION_LIB) endif install: all mkdir -p $(BINDIR) mkdir -p $(MANDIR)/man1 $(INSTALL) -m755 cduce$(EXE) dtd2cduce$(EXE) validate$(EXE) $(BINDIR)/ $(INSTALL) -m644 doc/cduce.1 $(MANDIR)/man1/ $(INSTALL) -m644 doc/dtd2cduce.1 $(MANDIR)/man1/ $(INSTALL) -m644 doc/validate.1 $(MANDIR)/man1/ ifneq ($(ML_INTERFACE), false) install_cdml: ocamlfind install cduce META cdml.$(EXTENSION_LIB) cdo2cmo/cdml.cmi cDuce_all.cmi oCaml_all.$(EXTENSION_LIB) oCaml_all.cmi endif uninstall: rm $(BINDIR)/cduce$(EXE) $(BINDIR)/dtd2cduce$(EXE) $(BINDIR)/validate$(EXE) rm $(MANDIR)/man1/cduce.1 $(MANDIR)/man1/dtd2cduce.1 $(MANDIR)/man1/validate.1 help: @echo "GOALS" @echo " cduce : compiles the CDuce command line interpreter" @echo " dtd2cduce : compiles the dtd2cduce tools" @echo " validate : compiles the schema validation tool" @echo " webiface : compiles the CDuce web interface interpreter (CGI script)" @echo " webpages : compiles in web/www/ the files for the CDuce website" @echo " (including the tutorial and manual)" @echo " install_web : compiles webiface and webpages, and install everything" @echo " all : equivalent to (make cduce dtd2cduce validate)" @echo " install : install cduce dtd2cduce, validate et man pages" @echo " clean : back to the starting point" @echo " uninstall : remove installed files" # Source directories DIRS = misc parser schema typing types compile runtime driver query cdo2cmo CLEAN_DIRS = $(DIRS) tools tests # Objects to build OBJECTS = \ misc/stats.cmo \ misc/serialize.cmo misc/custom.cmo \ misc/state.cmo misc/pool.cmo misc/encodings.cmo misc/bool.cmo \ misc/pretty.cmo misc/ns.cmo misc/inttbl.cmo misc/imap.cmo \ \ types/sortedList.cmo types/boolean.cmo types/ident.cmo \ types/intervals.cmo types/chars.cmo types/atoms.cmo \ types/normal.cmo \ types/types.cmo types/patterns.cmo types/sequence.cmo \ types/sample.cmo types/builtin_defs.cmo \ \ compile/lambda.cmo \ runtime/value.cmo \ \ schema/schema_types.cmo \ schema/schema_xml.cmo \ schema/schema_common.cmo \ schema/schema_builtin.cmo \ schema/schema_validator.cmo \ schema/schema_parser.cmo \ \ parser/location.cmo parser/url.cmo parser/ulexer.cmo parser/ast.cmo parser/parser.cmo \ \ typing/typed.cmo typing/typer.cmo \ \ runtime/load_xml.cmo runtime/run_dispatch.cmo \ runtime/explain.cmo \ runtime/print_xml.cmo runtime/eval.cmo \ compile/compile.cmo \ compile/operators.cmo \ \ types/builtin.cmo \ driver/librarian.cmo OBJECTS += $(ML_INTERFACE_OBJ) driver/cduce.cmo CQL_OBJECTS= query/query.cmo query/query_parse.cmo CQL_OBJECTS_RUN = query/query_run.cmo 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 CDUCE = $(OBJECTS) $(CQL_OBJECTS) driver/run.cmo $(CQL_OBJECTS_RUN) WEBIFACE = $(OBJECTS) $(CQL_OBJECTS) driver/examples.cmo driver/webiface.cmo DTD2CDUCE = tools/dtd2cduce.cmo ALL_OBJECTS = $(OBJECTS) $(CQL_OBJECTS) \ driver/run.cmo driver/examples.cmo driver/webiface.cmo \ tools/dtd2cduce.cmo tools/validate.cmo \ $(CQL_OBJECTS_RUN) ALL_INTERFACES = schema/schema_types.mli DEPEND = $(ALL_OBJECTS:.cmo=.ml) $(ALL_OBJECTS:.cmo=.mli) $(ALL_INTERFACES) INCLUDES = $(DIRS:%=-I %) cduce: $(CDUCE:.cmo=.$(EXTENSION)) $(LINK) $(INCLUDES) -o $@ $(ML_LIB) $^ $(EXTRA_LINK_OPTS) cduce_packed.ml: $(CDUCE:.cmo=.ml) rm -f cduce_packed.ml ocaml tools/pack.ml $^ > cduce_packed.ml cduce_packed: cduce_packed.$(EXTENSION) $(LINK) $(INCLUDES) -o $@ $(ML_LIB) $^ $(EXTRA_LINK_OPTS) cdml.$(EXTENSION_LIB): $(OBJECTS:.cmo=.$(EXTENSION)) echo 'version="$(VERSION)"' > META echo 'requires="$(PACKAGES) camlp4.gramlib"' >> META echo 'description="Runtime support for CDuce"' >> META echo 'archive(byte)="oCaml_all.cma,cdml.cma"' >> META echo 'archive(native)="oCaml_all.cmxa,cdml.cmxa"' >> META $(COMPILE) -o cDuce_all.$(EXTENSION) -pack $^ $(COMPILE) -c cdo2cmo/cdml.mli $(COMPILE) -c cdo2cmo/cdml.ml $(COMPILE) -a -o cdml.$(EXTENSION_LIB) \ cDuce_all.$(EXTENSION) \ cdo2cmo/cdml.$(EXTENSION) oCaml_all.$(EXTENSION_LIB): cd cdo2cmo; $(MAKE) PREFIX=$(ML_MODULES) MODEL=$(ML_INTERFACE) $@ webiface: $(WEBIFACE:.cmo=.$(EXTENSION)) $(LINK) -verbose $(INCLUDES) -o $@ $(ML_LIB) $^ $(EXTRA_OPTS_WEBIFACE) dtd2cduce: $(DTD2CDUCE:.cmo=.$(EXTENSION)) $(LINK) $(INCLUDES) -o $@ $^ validate: $(VALIDATE_OBJECTS:.cmo=.$(EXTENSION)) tools/validate.$(EXTENSION) $(LINK) $(INCLUDES) -o $@ $^ .PHONY: compute_depend compute_depend: $(DEPEND_OCAMLDEP) echo $(DEPEND) @echo "Computing dependencies ..." ocamlfind ocamldep -package "$(PACKAGES)" \ $(INCLUDES) $(SYNTAX_PARSER) $(DEPEND) > depend clean: for i in $(CLEAN_DIRS); do \ (cd $$i; rm -f *.cmi *.cmo *.cma *.cmx *.o *.a *.cmxa *~); \ done (cd expat; $(MAKE) clean) rm -f `find . -name "*~"` rm -f *.cmi *.cmo *.cma *.cmx *.a *.cmxa *.o *~ rm -f cduce ocamlprof.dump rm -f dtd2cduce pool webiface validate rm -Rf prepro package rm -f web/www/*.html web/*~ rm -f web/*.cdo distclean: clean rm -f Makefile.conf $(ML_INTERFACE_OBJ:.cmo=.$(EXTENSION)): oCaml_all.$(EXTENSION_LIB) $(ALL_OBJECTS:.cmo=.$(EXTENSION)): misc/q_symbol.cmo $(ALL_INTERFACES): misc/q_symbol.cmo .SUFFIXES: .ml .mli .cmo .cmi .cmx misc/q_symbol.cmo: misc/q_symbol.ml $(CAMLC) -c -pp 'camlp4o pa_extend.cmo q_MLast.cmo' $< .ml.cmo: $(CAMLC) -c $(INCLUDES) $(SYNTAX_PARSER) $< .ml.cmx: $(CAMLOPT) -c $(SYNTAX_PARSER) $(INCLUDES) $< .mli.cmi: $(CAMLC) -c $(SYNTAX_PARSER) $(INCLUDES) $< include depend # CDuce-generated files driver/examples.ml: cduce web/examples/build.cd web/examples/examples.xml (cd web/examples; ../../cduce build.cd --arg examples.xml) webpages: cduce web/site.cdo (cd web; ../cduce --run site.cdo --arg site.xml) web/site.cdo: cduce web/xhtml.cdo web/site.cd ./cduce -I web/ --compile web/site.cd web/xhtml.cdo: cduce web/xhtml.cd ./cduce -I web/ --compile web/xhtml.cd website: webpages webiface install_web: website cp web/www/*.html web/cduce.css $(HTML_DIR)/ cp CHANGES INSTALL INSTALL.WIN32 $(HTML_DIR)/ cp webiface $(CGI_DIR)/cduce if test ! -d "$(HTML_DIR)/img" ; then \ mkdir $(HTML_DIR)/img; \ fi; cp web/img/*.* $(HTML_DIR)/img