| 9 |
PACKAGES += -package pxp-lex-utf8 |
PACKAGES += -package pxp-lex-utf8 |
| 10 |
endif |
endif |
| 11 |
|
|
| 12 |
SYNTAX = camlp4o pa_extend.cmo |
SYNTAX = camlp4o -I misc/ pa_extend.cmo \ |
| 13 |
|
q_symbol.cmo \ |
| 14 |
|
-symbol cduce_version=\"$(VERSION)\" \ |
| 15 |
|
-symbol build_date=\"$(shell date +%Y-%m-%d)\" |
| 16 |
|
|
| 17 |
|
ifeq ($(NATIVE), true) |
| 18 |
|
SYNTAX += -symbol ocaml_compiler=\"native\" |
| 19 |
|
else |
| 20 |
|
SYNTAX += -symbol ocaml_compiler=\"bytecode\" |
| 21 |
|
endif |
| 22 |
|
|
| 23 |
VERSION = 0.0.9 |
VERSION = 0.0.9 |
| 24 |
|
|
| 54 |
# Objects to build |
# Objects to build |
| 55 |
|
|
| 56 |
OBJECTS = \ |
OBJECTS = \ |
|
misc/cduce_config.cmo \ |
|
| 57 |
misc/state.cmo misc/pool.cmo misc/encodings.cmo misc/bool.cmo \ |
misc/state.cmo misc/pool.cmo misc/encodings.cmo misc/bool.cmo \ |
| 58 |
misc/pretty.cmo \ |
misc/pretty.cmo \ |
| 59 |
\ |
\ |
| 78 |
DEPEND = $(DIRS:=/*.ml) $(DIRS:=/*.mli) |
DEPEND = $(DIRS:=/*.ml) $(DIRS:=/*.mli) |
| 79 |
INCLUDES = $(DIRS:%=-I %) |
INCLUDES = $(DIRS:%=-I %) |
| 80 |
|
|
| 81 |
PREPRO = $(SYNTAX) pr_o.cmo |
#misc/cduce_config.ml: |
| 82 |
|
# sed -e 's|%%VERSION%%|$(VERSION)|' \ |
| 83 |
misc/cduce_config.cmo: misc/cduce_config.ml |
# -e 's|%%BUILD_DATE%%|$(shell date +%Y-%m-%d)|' \ |
| 84 |
$(CAMLC) -c $(SYNTAX_PARSER) $(INCLUDES) $< |
# -e 's|%%NATIVE%%|$(NATIVE)|' \ |
| 85 |
rm -f misc/cduce_config.ml |
# misc/cduce_config.mlp > misc/cduce_config.ml |
|
|
|
|
misc/cduce_config.cmx: misc/cduce_config.ml |
|
|
$(CAMLOPT) -c $(SYNTAX_PARSER) $(INCLUDES) $< |
|
|
rm -f misc/cduce_config.ml |
|
|
|
|
|
misc/cduce_config.ml: |
|
|
sed -e 's|%%VERSION%%|$(VERSION)|' \ |
|
|
-e 's|%%BUILD_DATE%%|$(shell date +%Y-%m-%d)|' \ |
|
|
-e 's|%%NATIVE%%|$(NATIVE)|' \ |
|
|
misc/cduce_config.mlp > misc/cduce_config.ml |
|
| 86 |
|
|
| 87 |
|
|
| 88 |
cduce: $(CDUCE:.cmo=.$(EXTENSION)) |
cduce: $(CDUCE:.cmo=.$(EXTENSION)) |
| 95 |
$(LINK) -o $@ $^ |
$(LINK) -o $@ $^ |
| 96 |
|
|
| 97 |
.PHONY: compute_depend |
.PHONY: compute_depend |
| 98 |
compute_depend: |
compute_depend: misc/q_symbol.cmo |
| 99 |
@echo "Computing dependencies ..." |
@echo "Computing dependencies ..." |
| 100 |
ocamldep $(INCLUDES) $(SYNTAX_PARSER) $(DEPEND) > depend |
ocamldep $(INCLUDES) $(SYNTAX_PARSER) $(DEPEND) | \ |
| 101 |
|
sed -e "s|: |: misc/q_symbol.cmo |" > depend |
| 102 |
|
|
| 103 |
parser/wlexer.ml: parser/wlexer.mll |
parser/wlexer.ml: parser/wlexer.mll |
| 104 |
wlex parser/wlexer.mll |
wlex parser/wlexer.mll |
| 117 |
|
|
| 118 |
.SUFFIXES: .ml .mli .cmo .cmi .cmx |
.SUFFIXES: .ml .mli .cmo .cmi .cmx |
| 119 |
|
|
| 120 |
|
misc/q_symbol.cmo: misc/q_symbol.ml |
| 121 |
|
$(CAMLC) -c $< |
| 122 |
|
|
| 123 |
.ml.cmo: |
.ml.cmo: |
| 124 |
$(CAMLC) -c $(SYNTAX_PARSER) $(INCLUDES) $< |
$(CAMLC) -c $(SYNTAX_PARSER) $(INCLUDES) $< |
| 125 |
|
|