| 1 |
# Source directories |
# Source directories |
| 2 |
|
|
| 3 |
DIRS = parser typing types runtime driver |
DIRS = parser typing types runtime driver |
| 4 |
|
CLEAN_DIRS = $(DIRS) tools tests |
| 5 |
|
|
| 6 |
# Objects to build |
# Objects to build |
| 7 |
|
|
| 62 |
dtd2cduce: tools/dtd2cduce.cmo |
dtd2cduce: tools/dtd2cduce.cmo |
| 63 |
$(OCAMLC) $(DEBUG) -linkpkg -o $@ $< |
$(OCAMLC) $(DEBUG) -linkpkg -o $@ $< |
| 64 |
|
|
| 65 |
|
pull: tools/pull.cmo |
| 66 |
|
$(OCAMLC) $(DEBUG) -linkpkg -o $@ $< |
| 67 |
|
|
| 68 |
cduce.opt: all.cmxa $(XDRIVER) |
cduce.opt: all.cmxa $(XDRIVER) |
| 69 |
$(OCAMLOPT) -linkpkg -o $@ gramlib.cmxa $(XOBJECTS) $(XDRIVER) |
$(OCAMLOPT) -linkpkg -o $@ gramlib.cmxa $(XOBJECTS) $(XDRIVER) |
| 70 |
|
|
| 76 |
ledit ocaml $(INCLUDES) `ocamlfind use pxp` all.cma |
ledit ocaml $(INCLUDES) `ocamlfind use pxp` all.cma |
| 77 |
|
|
| 78 |
clean: |
clean: |
| 79 |
for i in $(DIRS); do \ |
for i in $(CLEAN_DIRS); do \ |
| 80 |
(cd $$i; rm -f *.cmi *.cmo *.cma *.cmx *.o *~); \ |
(cd $$i; rm -f *.cmi *.cmo *.cma *.cmx *.o *~); \ |
| 81 |
done |
done |
| 82 |
rm -f *.cmi *.cmo *.cma *.cmx *.a *.cmxa *.o *~ |
rm -f *.cmi *.cmo *.cma *.cmx *.a *.cmxa *.o *~ |
| 83 |
rm -f cduce cduce.opt |
rm -f cduce cduce.opt ocamlprof.dump |
| 84 |
|
rm -f dtd2cduce pool |
| 85 |
rm -Rf prepro |
rm -Rf prepro |
| 86 |
|
|
| 87 |
|
|