| 7 |
|
|
| 8 |
MISC = misc/pool.cmo misc/encodings.cmo |
MISC = misc/pool.cmo misc/encodings.cmo |
| 9 |
|
|
| 10 |
PARSER = parser/lexer.cmo parser/location.cmo parser/ast.cmo parser/parser.cmo |
PARSER = parser/lexer.cmo parser/location.cmo \ |
| 11 |
|
parser/wlexer.cmo \ |
| 12 |
|
parser/ast.cmo parser/parser.cmo |
| 13 |
|
|
| 14 |
TYPING = typing/typed.cmo typing/typer.cmo |
TYPING = typing/typed.cmo typing/typer.cmo |
| 15 |
|
|
| 38 |
|
|
| 39 |
|
|
| 40 |
DEBUG = -g |
DEBUG = -g |
| 41 |
PACKAGES = pxp-engine,pxp-lex-iso88591,camlp4,num |
PACKAGES = pxp-engine,pxp-lex-iso88591,wlexing,camlp4,num |
| 42 |
OCAMLCP = ocamlc |
OCAMLCP = ocamlc |
| 43 |
OCAMLC = ocamlfind $(OCAMLCP) -package $(PACKAGES) |
OCAMLC = ocamlfind $(OCAMLCP) -package $(PACKAGES) |
| 44 |
OCAMLOPT = ocamlfind ocamlopt -package $(PACKAGES) |
OCAMLOPT = ocamlfind ocamlopt -package $(PACKAGES) |
| 77 |
@echo "Computing dependencies ..." |
@echo "Computing dependencies ..." |
| 78 |
ocamldep $(INCLUDES) $(SYNTAX_PARSER) $(DEPEND) > depend |
ocamldep $(INCLUDES) $(SYNTAX_PARSER) $(DEPEND) > depend |
| 79 |
|
|
| 80 |
|
parser/wlexer.ml: parser/wlexer.mll |
| 81 |
|
wlex parser/wlexer.mll |
| 82 |
|
|
| 83 |
run_top: all.cma |
run_top: all.cma |
| 84 |
ledit ocaml $(INCLUDES) `ocamlfind use pxp` all.cma |
ledit ocaml $(INCLUDES) `ocamlfind use pxp` all.cma |
| 85 |
|
|
| 87 |
for i in $(CLEAN_DIRS); do \ |
for i in $(CLEAN_DIRS); do \ |
| 88 |
(cd $$i; rm -f *.cmi *.cmo *.cma *.cmx *.o *~); \ |
(cd $$i; rm -f *.cmi *.cmo *.cma *.cmx *.o *~); \ |
| 89 |
done |
done |
| 90 |
|
rm -f parser/wlexer.ml |
| 91 |
rm -f *.cmi *.cmo *.cma *.cmx *.a *.cmxa *.o *~ |
rm -f *.cmi *.cmo *.cma *.cmx *.a *.cmxa *.o *~ |
| 92 |
rm -f cduce cduce.opt ocamlprof.dump |
rm -f cduce cduce.opt ocamlprof.dump |
| 93 |
rm -f dtd2cduce pool |
rm -f dtd2cduce pool |