Skip to content

GitLab

Commit ab1f78b5 authored by Pietro Abate's avatar Pietro Abate
Browse files

[r2004-06-29 23:06:06 by afrisch] Cleanup. Remove options --pxp and --expat 

Original author: afrisch
Date: 2004-06-29 23:06:08+00:00
parent 6efbf17d
Hide whitespace changes
Inline Side-by-side
Showing with 446 additions and 326 deletions
Makefile.distrib
View file @ ab1f78b5
include Makefile.conf
VERSION = 0.2.0-rc1
all: cduce dtd2cduce validate cdo2ml cduce_lib.cma
ifeq ($(NATIVE),true)
all: cduce_lib.cmxa
endif
PACKAGES = pxp-engine pxp-lex-iso88591 ulex camlp4 num cgi pcre netstring
ifeq ($(PXP_WLEX), true)
PACKAGES += pxp-wlex-utf8
......@@ -8,6 +13,17 @@ else
PACKAGES += pxp-lex-utf8
endif
# Call make with VERBOSE=true to get a trace of commands
VERBOSE=false
ifneq ($(VERBOSE), true)
HIDE=@
else
HIDE=
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
......@@ -18,27 +34,6 @@ SYNTAX = -I misc/ q_symbol.cmo \
-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
......@@ -72,33 +67,22 @@ ifeq ($(NATIVE), true)
EXTENSION_LIB = cmxa
COMPILE = $(CAMLOPT)
LINK = $(CAMLOPT) -linkpkg gramlib.cmxa
SYNTAX += -symbol ocaml_compiler=\"bytecode\"
else
EXTENSION = cmo
EXTENSION_LIB = cma
COMPILE = $(CAMLC)
LINK = $(CAMLC) -custom -linkpkg gramlib.cma
SYNTAX += -symbol ocaml_compiler=\"native\"
endif
ifneq ($(ML_INTERFACE), false)
SYNTAX += -symbol ML_INTERFACE=
ML_LIB = oCaml_all.$(EXTENSION_LIB)
ML_INTERFACE_OBJ = ocamliface/mltypes.cmo ocamliface/mlstub.cmo
else
ML_INTERFACE_OBJ =
endif
INSTALL := $(shell which install)
all: cduce dtd2cduce validate cdo2ml
ifneq ($(ML_INTERFACE), false)
all: cDuce_all.cma
endif
ifeq ($(NATIVE),true)
all: cDuce_all.cmxa
cDuce_all.cma:
$(MAKE) NATIVE=false $@
cduce_lib.cma:
$(HIDE)$(MAKE) NATIVE=false $@
endif
install: all install_lib
......@@ -111,18 +95,16 @@ install: all install_lib
$(INSTALL) -m644 doc/validate.1 $(MANDIR)/man1/
install_lib:
ifneq ($(ML_INTERFACE), false)
@echo "--> Build META"
@echo 'version="$(VERSION)"' > META
@echo 'requires="$(PACKAGES) camlp4.gramlib"' >> META
@echo 'description="Runtime support for CDuce"' >> META
@echo 'archive(byte)="oCaml_all.cma,cDuce_all.cma"' >> META
@echo 'archive(native)="oCaml_all.cmxa,cDuce_all.cmxa"' >> META
@echo "Build META"
$(HIDE)echo 'version="$(VERSION)"' > META
$(HIDE)echo 'requires="$(PACKAGES) camlp4.gramlib"' >> META
$(HIDE)echo 'description="Runtime support for CDuce"' >> META
$(HIDE)echo 'archive(byte)="cduce_lib.cma"' >> META
$(HIDE)echo 'archive(native)="cduce_lib.cmxa"' >> META
-$(OCAMLFIND) remove cduce
-$(OCAMLFIND) install cduce META \
cDuce_all.cmi oCaml_all.cmi \
cduce_lib.cmi cduce_lib.cmi \
$(wildcard *.cma) $(wildcard *.cmxa) $(wildcard *.a)
endif
uninstall:
rm -f $(BINDIR)/cduce$(EXE) $(BINDIR)/dtd2cduce$(EXE) \
......@@ -153,6 +135,7 @@ CLEAN_DIRS = $(DIRS) cdo2cmo tools tests
# Objects to build
OBJECTS = \
driver/config.cmo \
misc/stats.cmo \
misc/serialize.cmo misc/custom.cmo \
misc/state.cmo misc/pool.cmo misc/encodings.cmo misc/bool.cmo \
......@@ -186,9 +169,32 @@ OBJECTS = \
compile/operators.cmo \
\
types/builtin.cmo \
driver/librarian.cmo
driver/librarian.cmo \
driver/cduce.cmo
ML_INTERFACE_OBJS = \
ocamliface/caml_cduce.cmo ocamliface/mltypes.cmo ocamliface/mlstub.cmo
ifneq ($(ML_INTERFACE), false)
OBJECTS += $(ML_INTERFACE_OBJS)
endif
ifneq ($(CURL), false)
OBJECTS += parser/cduce_curl.cmo
PACKAGES += curl
endif
ifneq ($(NETCLIENT), false)
OBJECTS += parser/cduce_netclient.cmo
PACKAGES += netclient
endif
ifeq ($(EXPAT), true)
OBJECTS += runtime/cduce_expat.cmo
PACKAGES += expat
else
OBJECTS += runtime/cduce_pxp.cmo
endif
OBJECTS += $(ML_INTERFACE_OBJ) driver/cduce.cmo
CQL_OBJECTS= query/query.cmo query/query_parse.cmo
CQL_OBJECTS_RUN = query/query_run.cmo
......@@ -205,45 +211,43 @@ ALL_OBJECTS = $(OBJECTS) $(CQL_OBJECTS) \
$(CQL_OBJECTS_RUN)
ALL_INTERFACES = schema/schema_types.mli
ifneq ($(ML_INTERFACE), false)
ALL_INTERFACES += ocamliface/mltypes.mli ocamliface/mlstub.mli
endif
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)
@echo "Build $@"
$(HIDE)$(LINK) $(INCLUDES) -o $@ $^ $(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)
$(LINK) $(INCLUDES) -o $@ $^ $(EXTRA_LINK_OPTS)
cDuce_all.$(EXTENSION_LIB): $(OBJECTS:.cmo=.$(EXTENSION))
@echo "--> Build $@"
@$(COMPILE) -o cDuce_all.$(EXTENSION) -pack $^
@$(COMPILE) -a -o $@ cDuce_all.$(EXTENSION)
cduce_lib.$(EXTENSION_LIB): $(OBJECTS:.cmo=.$(EXTENSION))
@echo "Build $@"
$(HIDE)$(COMPILE) -o cduce_lib.$(EXTENSION) -pack $^
$(HIDE)$(COMPILE) -a -o $@ cduce_lib.$(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)
@echo "Build $@"
$(HIDE)$(LINK) -verbose $(INCLUDES) -o $@ $^ $(EXTRA_OPTS_WEBIFACE)
dtd2cduce: $(DTD2CDUCE:.cmo=.$(EXTENSION))
$(LINK) $(INCLUDES) -o $@ $^
@echo "Build $@"
$(HIDE)$(LINK) $(INCLUDES) -o $@ $^
validate: $(VALIDATE_OBJECTS:.cmo=.$(EXTENSION)) tools/validate.$(EXTENSION)
$(LINK) $(INCLUDES) -o $@ $^
@echo "Build $@"
$(HIDE)$(LINK) $(INCLUDES) -o $@ $^
cdo2ml: ocamliface/cdo2ml.ml
ocamlc -o $@ -pp camlp4o -I +camlp4 camlp4.cma pr_o.cmo $^
@echo "Build $@"
$(HIDE)ocamlc -o $@ -pp camlp4o -I +camlp4 camlp4.cma pr_o.cmo $^
.PHONY: compute_depend
compute_depend: $(DEPEND_OCAMLDEP)
......@@ -255,7 +259,7 @@ 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 ocamliface/cmi2ml ocamliface/asttypes.ml
rm -f `find . -name "*~"`
rm -f *.cmi *.cmo *.cma *.cmx *.a *.cmxa *.o *~ META
rm -f cduce$(EXE) ocamlprof.dump
......@@ -267,7 +271,7 @@ clean:
distclean: clean
rm -f Makefile.conf
$(ML_INTERFACE_OBJ:.cmo=.$(EXTENSION)): oCaml_all.$(EXTENSION_LIB)
ocamliface/mltypes.$(EXTENSION)): ocamliface/caml_cduce.$(EXTENSION)
$(ALL_OBJECTS:.cmo=.$(EXTENSION)): misc/q_symbol.cmo
$(ALL_INTERFACES): misc/q_symbol.cmo
......@@ -275,16 +279,20 @@ $(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' $<
@echo "Build $@"
$(HIDE)$(CAMLC) -c -pp 'camlp4o pa_extend.cmo q_MLast.cmo' $<
.ml.cmo:
$(CAMLC) -c $(INCLUDES) $(SYNTAX_PARSER) $<
@echo "Build $@"
$(HIDE)$(CAMLC) -c $(INCLUDES) $(SYNTAX_PARSER) $<
.ml.cmx:
$(CAMLOPT) -c $(SYNTAX_PARSER) $(INCLUDES) $<
@echo "Build $@"
$(HIDE)$(CAMLOPT) -c $(SYNTAX_PARSER) $(INCLUDES) $<
.mli.cmi:
$(CAMLC) -c $(SYNTAX_PARSER) $(INCLUDES) $<
@echo "Build $@"
$(HIDE)$(CAMLC) -c $(SYNTAX_PARSER) $(INCLUDES) $<
include depend
......@@ -313,3 +321,16 @@ install_web: website
fi;
cp web/img/*.* $(HTML_DIR)/img
### Pack OCaml modules for the CDuce/OCaml interface
ocamliface/caml_cduce.cmo:
@cd ocamliface; \
$(MAKE) PREFIX=$(ML_MODULES) MODEL=$(ML_INTERFACE) \
HIDE=$(HIDE) caml_cduce.cmo
ocamliface/caml_cduce.cmx:
@cd ocamliface; \
$(MAKE) PREFIX=$(ML_MODULES) MODEL=$(ML_INTERFACE) \
HIDE=$(HIDE) caml_cduce.cmx
cdo2cmo/Makefile
View file @ ab1f78b5
# This Makefile generates oCaml_all.cma/.cmxa and put it in ..
# This Makefile generates oCaml_cduce.cmo/.cmx and put it in ..
#
# We need the units such that typing/types.cmo (.cmx)
# - If OCaml has been compiler in a directory DIR,
# you can do:
# make MODEL=tree PREFIX=DIR
# e.g.: make oCaml_all.cma MODEL=tree PREFIX=$HOME/ocaml-3.07
# e.g.: make oCaml_cduce.cmo MODEL=tree PREFIX=$HOME/ocaml-3.07
#
# - If you have a (flat) directory DIR will all the compiled units
# from utils/ parsing/ and typing/, you can do:
# make MODEL=flat PREFIX=DIR
# e.g.: make oCaml_all.cma MODEL=fal PREFIX=$HOME/godi/lib/ocaml/compiler-lib
# e.g.: make oCaml_cduce.cmo MODEL=fal PREFIX=$HOME/godi/lib/ocaml/compiler-lib
OBJECTS=asttypes.ml $(patsubst %,$(PREFIX)/%, $(UNITS))
......@@ -29,39 +29,49 @@ else
endif
endif
oCaml_all.cma:
ocamlc -pack -o oCaml_all.cmo $(INCLUDES) $(OBJECTS)
ocamlc -a -o oCaml_all.cma oCaml_all.cmo
mv oCaml_all.cma oCaml_all.cmi ..
rm -f oCaml_all.*
oCaml_cduce.cma:
ocamlc -pack -o oCaml_cduce.cmo $(INCLUDES) $(OBJECTS)
mv oCaml_cduce.cmo oCaml_cduce.cmi ..
oCaml_all.cmxa:
ocamlopt -pack -o oCaml_all.cmx $(INCLUDES) $(XOBJECTS)
ocamlopt -a -o oCaml_all.cmxa oCaml_all.cmx
mv oCaml_all.cmxa oCaml_all.a oCaml_all.cmi ..
rm -f oCaml_all.*
oCaml_cduce.cmxa:
ocamlopt -pack -o oCaml_cduce.cmx $(INCLUDES) $(XOBJECTS)
mv oCaml_cduce.cmx oCaml_cduce.o oCaml_cduce.cmi ..
clean:
rm -f oCaml_all.* *~
rm -f oCaml_cduce.* *~
UTILS=utils/misc.cmo utils/tbl.cmo utils/config.cmo \
utils/clflags.cmo utils/terminfo.cmo utils/ccomp.cmo utils/warnings.cmo \
utils/consistbl.cmo
utils/clflags.cmo utils/consistbl.cmo
PARSING=parsing/linenum.cmo parsing/location.cmo parsing/longident.cmo \
parsing/syntaxerr.cmo parsing/parser.cmo \
parsing/lexer.cmo parsing/parse.cmo parsing/printast.cmo
PARSING=parsing/longident.cmo
TYPING=typing/ident.cmo typing/path.cmo \
typing/primitive.cmo typing/types.cmo \
typing/btype.cmo typing/oprint.cmo \
typing/subst.cmo typing/predef.cmo \
typing/datarepr.cmo typing/env.cmo \
typing/typedtree.cmo typing/ctype.cmo \
typing/printtyp.cmo typing/includeclass.cmo \
typing/mtype.cmo typing/includecore.cmo \
typing/includemod.cmo typing/parmatch.cmo \
typing/typetexp.cmo typing/stypes.cmo typing/typecore.cmo \
typing/typedecl.cmo typing/typeclass.cmo \
typing/typemod.cmo
typing/ctype.cmo typing/printtyp.cmo
#UTILS=utils/misc.cmo utils/tbl.cmo utils/config.cmo \
# utils/clflags.cmo utils/terminfo.cmo utils/ccomp.cmo utils/warnings.cmo \
# utils/consistbl.cmo
#
#PARSING=parsing/linenum.cmo parsing/location.cmo parsing/longident.cmo \
# parsing/syntaxerr.cmo parsing/parser.cmo \
# parsing/lexer.cmo parsing/parse.cmo parsing/printast.cmo
#
#TYPING=typing/ident.cmo typing/path.cmo \
# typing/primitive.cmo typing/types.cmo \
# typing/btype.cmo typing/oprint.cmo \
# typing/subst.cmo typing/predef.cmo \
# typing/datarepr.cmo typing/env.cmo \
# typing/typedtree.cmo typing/ctype.cmo \
# typing/printtyp.cmo typing/includeclass.cmo \
# typing/mtype.cmo typing/includecore.cmo \
# typing/includemod.cmo typing/parmatch.cmo \
# typing/typetexp.cmo typing/stypes.cmo typing/typecore.cmo \
# typing/typedecl.cmo typing/typeclass.cmo \
# typing/typemod.cmo
depend
View file @ ab1f78b5
......@@ -78,8 +78,8 @@ runtime/value.cmo: types/atoms.cmi types/builtin_defs.cmi types/chars.cmi \
runtime/value.cmx: types/atoms.cmx types/builtin_defs.cmx types/chars.cmx \
misc/encodings.cmx types/ident.cmx types/intervals.cmx compile/lambda.cmx \
misc/ns.cmx types/sequence.cmx types/types.cmx runtime/value.cmi
types/externals.cmo: misc/custom.cmo types/externals.cmi
types/externals.cmx: misc/custom.cmx types/externals.cmi
types/externals.cmo: types/externals.cmi
types/externals.cmx: types/externals.cmi
schema/schema_types.cmo: misc/encodings.cmi types/intervals.cmi misc/ns.cmi \
runtime/value.cmi schema/schema_types.cmi
schema/schema_types.cmx: misc/encodings.cmx types/intervals.cmx misc/ns.cmx \
......@@ -120,8 +120,8 @@ schema/schema_parser.cmx: misc/encodings.cmx types/intervals.cmx misc/ns.cmx \
runtime/value.cmx schema/schema_parser.cmi
parser/location.cmo: parser/location.cmi
parser/location.cmx: parser/location.cmi
parser/url.cmo: parser/url.cmi
parser/url.cmx: parser/url.cmi
parser/url.cmo: parser/location.cmi parser/url.cmi
parser/url.cmx: parser/location.cmx parser/url.cmi
parser/ulexer.cmo: parser/ulexer.cmi
parser/ulexer.cmx: parser/ulexer.cmi
parser/ast.cmo: types/builtin_defs.cmi types/chars.cmi types/ident.cmo \
......@@ -131,31 +131,33 @@ parser/ast.cmx: types/builtin_defs.cmx types/chars.cmx types/ident.cmx \
types/intervals.cmx parser/location.cmx misc/ns.cmx \
schema/schema_types.cmx types/sequence.cmx types/types.cmx
parser/parser.cmo: parser/ast.cmo types/atoms.cmi types/chars.cmi \
misc/encodings.cmi types/externals.cmi types/ident.cmo \
types/intervals.cmi parser/location.cmi misc/ns.cmi \
schema/schema_parser.cmi types/sequence.cmi types/types.cmi \
parser/ulexer.cmi parser/url.cmi parser/parser.cmi
misc/encodings.cmi types/ident.cmo types/intervals.cmi \
parser/location.cmi misc/ns.cmi schema/schema_parser.cmi \
types/sequence.cmi types/types.cmi parser/ulexer.cmi parser/url.cmi \
parser/parser.cmi
parser/parser.cmx: parser/ast.cmx types/atoms.cmx types/chars.cmx \
misc/encodings.cmx types/externals.cmx types/ident.cmx \
types/intervals.cmx parser/location.cmx misc/ns.cmx \
schema/schema_parser.cmx types/sequence.cmx types/types.cmx \
parser/ulexer.cmx parser/url.cmx parser/parser.cmi
misc/encodings.cmx types/ident.cmx types/intervals.cmx \
parser/location.cmx misc/ns.cmx schema/schema_parser.cmx \
types/sequence.cmx types/types.cmx parser/ulexer.cmx parser/url.cmx \
parser/parser.cmi
typing/typed.cmo: types/ident.cmo parser/location.cmi types/patterns.cmi \
schema/schema_types.cmi types/types.cmi
typing/typed.cmx: types/ident.cmx parser/location.cmx types/patterns.cmx \
schema/schema_types.cmx types/types.cmx
typing/typer.cmo: parser/ast.cmo types/atoms.cmi types/builtin_defs.cmi \
types/chars.cmi types/ident.cmo types/intervals.cmi parser/location.cmi \
misc/ns.cmi types/patterns.cmi schema/schema_builtin.cmi \
schema/schema_common.cmi schema/schema_types.cmi types/sequence.cmi \
misc/serialize.cmi misc/state.cmi misc/stats.cmi typing/typed.cmo \
types/types.cmi runtime/value.cmi typing/typer.cmi
types/chars.cmi types/externals.cmi types/ident.cmo types/intervals.cmi \
parser/location.cmi misc/ns.cmi types/patterns.cmi \
schema/schema_builtin.cmi schema/schema_common.cmi \
schema/schema_types.cmi types/sequence.cmi misc/serialize.cmi \
misc/state.cmi misc/stats.cmi typing/typed.cmo types/types.cmi \
runtime/value.cmi typing/typer.cmi
typing/typer.cmx: parser/ast.cmx types/atoms.cmx types/builtin_defs.cmx \
types/chars.cmx types/ident.cmx types/intervals.cmx parser/location.cmx \
misc/ns.cmx types/patterns.cmx schema/schema_builtin.cmx \
schema/schema_common.cmx schema/schema_types.cmx types/sequence.cmx \
misc/serialize.cmx misc/state.cmx misc/stats.cmx typing/typed.cmx \
types/types.cmx runtime/value.cmx typing/typer.cmi
types/chars.cmx types/externals.cmx types/ident.cmx types/intervals.cmx \
parser/location.cmx misc/ns.cmx types/patterns.cmx \
schema/schema_builtin.cmx schema/schema_common.cmx \
schema/schema_types.cmx types/sequence.cmx misc/serialize.cmx \
misc/state.cmx misc/stats.cmx typing/typed.cmx types/types.cmx \
runtime/value.cmx typing/typer.cmi
runtime/load_xml.cmo: types/atoms.cmi misc/encodings.cmi types/ident.cmo \
parser/location.cmi misc/ns.cmi parser/url.cmi runtime/value.cmi \
runtime/load_xml.cmi
......@@ -215,25 +217,15 @@ types/builtin.cmx: types/atoms.cmx types/builtin_defs.cmx types/chars.cmx \
runtime/print_xml.cmx types/sequence.cmx typing/typer.cmx types/types.cmx \
runtime/value.cmx types/builtin.cmi
driver/librarian.cmo: types/builtin.cmi compile/compile.cmi \
misc/encodings.cmi runtime/eval.cmi types/ident.cmo compile/lambda.cmo \
parser/location.cmi parser/parser.cmi misc/serialize.cmi typing/typer.cmi \
types/types.cmi runtime/value.cmi driver/librarian.cmi
misc/encodings.cmi runtime/eval.cmi types/externals.cmi types/ident.cmo \
compile/lambda.cmo parser/location.cmi parser/parser.cmi \
misc/serialize.cmi typing/typer.cmi types/types.cmi runtime/value.cmi \
driver/librarian.cmi
driver/librarian.cmx: types/builtin.cmx compile/compile.cmx \
misc/encodings.cmx runtime/eval.cmx types/ident.cmx compile/lambda.cmx \
parser/location.cmx parser/parser.cmx misc/serialize.cmx typing/typer.cmx \
types/types.cmx runtime/value.cmx driver/librarian.cmi
ocamliface/mltypes.cmo: cdo2cmo/asttypes.cmo types/ident.cmo \
driver/librarian.cmi types/types.cmi ocamliface/mltypes.cmi
ocamliface/mltypes.cmx: cdo2cmo/asttypes.cmx types/ident.cmx \
driver/librarian.cmx types/types.cmx ocamliface/mltypes.cmi
ocamliface/mlstub.cmo: types/atoms.cmi types/builtin_defs.cmi \
compile/compile.cmi types/ident.cmo driver/librarian.cmi \
parser/location.cmi ocamliface/mltypes.cmi misc/ns.cmi types/sequence.cmi \
typing/typer.cmi types/types.cmi ocamliface/mlstub.cmi
ocamliface/mlstub.cmx: types/atoms.cmx types/builtin_defs.cmx \
compile/compile.cmx types/ident.cmx driver/librarian.cmx \
parser/location.cmx ocamliface/mltypes.cmx misc/ns.cmx types/sequence.cmx \
typing/typer.cmx types/types.cmx ocamliface/mlstub.cmi
misc/encodings.cmx runtime/eval.cmx types/externals.cmx types/ident.cmx \
compile/lambda.cmx parser/location.cmx parser/parser.cmx \
misc/serialize.cmx typing/typer.cmx types/types.cmx runtime/value.cmx \
driver/librarian.cmi
driver/cduce.cmo: parser/ast.cmo types/builtin.cmi compile/compile.cmi \
misc/encodings.cmi runtime/eval.cmi runtime/explain.cmi types/ident.cmo \
driver/librarian.cmi parser/location.cmi misc/ns.cmi parser/parser.cmi \
......@@ -246,6 +238,24 @@ driver/cduce.cmx: parser/ast.cmx types/builtin.cmx compile/compile.cmx \
types/patterns.cmx types/sample.cmx schema/schema_common.cmx \
misc/state.cmx typing/typer.cmx types/types.cmx parser/ulexer.cmx \
runtime/value.cmx driver/cduce.cmi
ocamliface/mltypes.cmo: ocamliface/asttypes.cmo driver/config.cmo \
types/ident.cmo driver/librarian.cmi types/types.cmi \
ocamliface/mltypes.cmi
ocamliface/mltypes.cmx: ocamliface/asttypes.cmx driver/config.cmx \
types/ident.cmx driver/librarian.cmx types/types.cmx \
ocamliface/mltypes.cmi
ocamliface/mlstub.cmo: types/atoms.cmi types/builtin_defs.cmi \
compile/compile.cmi driver/config.cmo types/externals.cmi types/ident.cmo \
driver/librarian.cmi parser/location.cmi ocamliface/mltypes.cmi \
misc/ns.cmi types/sequence.cmi typing/typer.cmi types/types.cmi \
ocamliface/mlstub.cmi
ocamliface/mlstub.cmx: types/atoms.cmx types/builtin_defs.cmx \
compile/compile.cmx driver/config.cmx types/externals.cmx types/ident.cmx \
driver/librarian.cmx parser/location.cmx ocamliface/mltypes.cmx \
misc/ns.cmx types/sequence.cmx typing/typer.cmx types/types.cmx \
ocamliface/mlstub.cmi
parser/cduce_curl.cmo: driver/config.cmo parser/url.cmi
parser/cduce_curl.cmx: driver/config.cmx parser/url.cmx
query/query.cmo: parser/ast.cmo types/atoms.cmi types/builtin_defs.cmi \
types/chars.cmi types/ident.cmo types/intervals.cmi parser/location.cmi \
parser/parser.cmi types/types.cmi query/query.cmi
......@@ -258,14 +268,12 @@ query/query_parse.cmo: parser/ast.cmo types/atoms.cmi types/ident.cmo \
query/query_parse.cmx: parser/ast.cmx types/atoms.cmx types/ident.cmx \
parser/location.cmx parser/parser.cmx query/query.cmx types/sequence.cmx \
types/types.cmx
driver/run.cmo: types/builtin.cmi driver/cduce.cmi types/ident.cmo \
driver/librarian.cmi runtime/load_xml.cmi parser/location.cmi \
misc/state.cmi misc/stats.cmi parser/ulexer.cmi parser/url.cmi \
runtime/value.cmi
driver/run.cmx: types/builtin.cmx driver/cduce.cmx types/ident.cmx \
driver/librarian.cmx runtime/load_xml.cmx parser/location.cmx \
misc/state.cmx misc/stats.cmx parser/ulexer.cmx parser/url.cmx \
runtime/value.cmx
driver/run.cmo: types/builtin.cmi driver/cduce.cmi driver/config.cmo \
types/ident.cmo driver/librarian.cmi parser/location.cmi misc/state.cmi \
misc/stats.cmi parser/ulexer.cmi runtime/value.cmi
driver/run.cmx: types/builtin.cmx driver/cduce.cmx driver/config.cmx \
types/ident.cmx driver/librarian.cmx parser/location.cmx misc/state.cmx \
misc/stats.cmx parser/ulexer.cmx runtime/value.cmx
driver/webiface.cmo: driver/cduce.cmi driver/examples.cmo parser/location.cmi \
misc/state.cmi
driver/webiface.cmx: driver/cduce.cmx driver/examples.cmx parser/location.cmx \
......@@ -321,9 +329,9 @@ compile/compile.cmi: parser/ast.cmo types/ident.cmo compile/lambda.cmo \
compile/operators.cmi: misc/custom.cmo parser/location.cmi misc/serialize.cmi \
typing/typer.cmi types/types.cmi runtime/value.cmi
types/builtin.cmi: typing/typer.cmi runtime/value.cmi
driver/librarian.cmi: compile/compile.cmi typing/typer.cmi types/types.cmi
ocamliface/mltypes.cmi: cdo2cmo/asttypes.cmo types/types.cmi
driver/librarian.cmi: compile/compile.cmi types/ident.cmo typing/typer.cmi \
types/types.cmi runtime/value.cmi
ocamliface/mltypes.cmi: ocamliface/asttypes.cmo types/types.cmi
query/query.cmi: parser/ast.cmo
schema/schema_types.cmi: misc/encodings.cmi types/intervals.cmi misc/ns.cmi \
runtime/value.cmi
ocamliface/mltypes.cmi: cdo2cmo/asttypes.cmo types/types.cmi
driver/config.ml 0 → 100644
View file @ ab1f78b5
let ocaml_iface = ref false
let curl_support = ref false
let netclient_support = ref false
let expat_support = ref false
let pxp_support = ref false
driver/run.ml
View file @ ab1f78b5
......@@ -12,19 +12,15 @@ let args = ref []
let compile = ref false
let run = ref false
ifdef ML_INTERFACE then
let ocaml_support = true
else
let ocaml_support = false;;
let version () =
Printf.eprintf "CDuce, version %s\n" <:symbol<cduce_version>>;
Printf.eprintf "built on %s\n" <:symbol<build_date>>;
Printf.eprintf "using OCaml %s compiler\n" <:symbol<ocaml_compiler>>;
Printf.eprintf "support for ocaml interfacing: %b\n" ocaml_support;
Printf.eprintf "support for expat: %b\n" (Load_xml.expat_support);
Printf.eprintf "support for curl: %b\n" (Url.curl_support);
Printf.eprintf "support for netclient: %b\n" (Url.netclient_support);
Printf.eprintf "support for ocaml interfacing: %b\n" !Config.ocaml_iface;
Printf.eprintf "support for pxp: %b\n" !Config.pxp_support;
Printf.eprintf "support for expat: %b\n" !Config.expat_support;
Printf.eprintf "support for curl: %b\n" !Config.curl_support;
Printf.eprintf "support for netclient: %b\n" !Config.netclient_support;
exit 0
let license () =
......@@ -70,23 +66,6 @@ let specs = ref
let ppf = Format.std_formatter
let ppf_err = Format.err_formatter
let () =
if Load_xml.expat_support then
specs :=
("--expat", Arg.Unit (fun () -> Load_xml.use_parser := `Expat),
" use expat parser (default)") ::
("--pxp", Arg.Unit (fun () -> Load_xml.use_parser := `Pxp),
" use PXP parser") ::
!specs
else
specs :=
("--expat", Arg.Unit (fun () -> (Format.fprintf ppf "WARNING: --expat unused option. CDuce compiled without expat support\n\n")),
" option not available: CDuce was compiled without expat support") ::
("--pxp", Arg.Unit (fun () -> (Format.fprintf ppf "WARNING: --pxp useless option. CDuce compiled without expat support\n\n")),
" useless option: CDuce was compiled without expat support") ::
!specs
let err s =
prerr_endline s;
exit 1
......
ocamliface/Makefile 0 → 100644
View file @ ab1f78b5
# This Makefile generates caml_cduce.cmo/.cmx
#
# We need the units such that typing/types.cmo (.cmx)
#
# - If OCaml has been compiled in a directory DIR,
# you can do:
# make MODEL=tree PREFIX=DIR
# e.g.: make caml_cduce.cmo MODEL=tree PREFIX=$HOME/ocaml-3.07
#
# - If you have a (flat) directory DIR will all the compiled units
# from utils/ parsing/ and typing/, you can do:
# make MODEL=flat PREFIX=DIR
# e.g.: make caml_cduce.cmo MODEL=flat PREFIX=$HOME/godi/lib/ocaml/compiler-lib
OCAML_OBJECTS=$(patsubst %,$(PREFIX)/%, $(UNITS))
OBJECTS=asttypes.ml $(OCAML_OBJECTS)
XOBJECTS=$(OBJECTS:.cmo=.cmx)
ifeq ($(MODEL),flat)
UNITS= $(subst utils/,,$(UTILS)) \
$(subst parsing/,,$(PARSING)) \
$(subst typing/,,$(TYPING))
INCLUDES = -I $(PREFIX)
ASTTYPES = $(PREFIX)/asttypes.cmi
else
ifeq ($(MODEL),tree)
UNITS= $(UTILS) $(PARSING) $(TYPING)
INCLUDES = -I $(PREFIX)/utils -I $(PREFIX)/parsing -I $(PREFIX)/typing
ASTTYPES = $(PREFIX)/parsing/asttypes.cmi
else
$(error Set MODEL=flat or MODEL=tree)
endif
endif
caml_cduce.cmo: asttypes.ml
@echo "Build $@"
$(HIDE)ocamlc -pack -o $@ $(INCLUDES) $(OBJECTS)
caml_cduce.cmx: asttypes.ml
@echo "Build $@"