Makefile.distrib

include Makefile.conf
VERSION = 0.2.0-pre1

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

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

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
	LINK = $(CAMLOPT) -linkpkg gramlib.cmxa
else
	EXTENSION = cmo
	LINK = $(CAMLC) -custom -linkpkg gramlib.cma
endif

all: cduce dtd2cduce validate

install: all
	mkdir -p $(PREFIX)/bin/
	mkdir -p $(PREFIX)/man/man1/
	install -m755 cduce dtd2cduce $(PREFIX)/bin/
	install -m644 doc/cduce.1 $(PREFIX)/man/man1/

uninstall:
	rm  $(PREFIX)/bin/cduce $(PREFIX)/bin/dtd2cduce $(PREFIX)/man/man1/cduce.1

# Source directories 

DIRS = misc parser schema typing types compile runtime driver
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 \
 \
 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 \
 \
 runtime/value.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/ulexer.cmo parser/ast.cmo parser/parser.cmo \
 \
 typing/typed.cmo typing/typer.cmo \
 \
 compile/lambda.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 driver/cduce.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) driver/run.cmo
WEBIFACE  = $(OBJECTS) driver/examples.cmo driver/webiface.cmo
DTD2CDUCE = tools/dtd2cduce.cmo

ALL_OBJECTS = $(OBJECTS) \
 driver/run.cmo driver/examples.cmo driver/webiface.cmo \
 tools/dtd2cduce.cmo tools/validate.cmo
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 $@ $^ $(EXTRA_LINK_OPTS)

bug: $(OBJECTS) bug.cmo
	$(LINK) $(INCLUDES) -o $@ $^

webiface: $(WEBIFACE:.cmo=.$(EXTENSION))
	$(LINK) $(INCLUDES) -o $@ $^ -ccopt -static
# webiface is made static to be able to move it more easily
# (to compile it on a machine which is not the web server)

dtd2cduce: $(DTD2CDUCE:.cmo=.$(EXTENSION))
	$(LINK) $(INCLUDES) -o $@ $^

validate: $(VALIDATE_OBJECTS) tools/validate.cmo
	$(LINK) $(INCLUDES) -o $@ $^

.PHONY: compute_depend
compute_depend: $(DEPEND_OCAMLDEP)
	echo $(DEPEND)
	@echo "Computing dependencies ..."
	ocamlfind ocamldep -package "$(PACKAGES)" \
		$(INCLUDES) $(SYNTAX_PARSER) $(DEPEND) | \
        	sed -e "s|: |: misc/q_symbol.cmo |" > depend
clean:
	for i in $(CLEAN_DIRS); do \
	(cd $$i; rm -f *.cmi *.cmo *.cma *.cmx *.o *~); \
	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


.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 --quiet 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 $(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