| 15 |
DIRS = parser typing types driver |
DIRS = parser typing types driver |
| 16 |
|
|
| 17 |
OBJECTS = $(TYPES) $(PARSER) $(TYPING) |
OBJECTS = $(TYPES) $(PARSER) $(TYPING) |
| 18 |
|
XOBJECTS = $(OBJECTS:.cmo=.cmx) |
| 19 |
|
XDRIVER = $(DRIVER:.cmo=.cmx) |
| 20 |
|
|
| 21 |
DEPEND = parser/*.ml parser/*.mli typing/*.ml typing/*.mli types/*.ml types/*.mli driver/*.mli driver/*.ml |
DEPEND = parser/*.ml parser/*.mli typing/*.ml typing/*.mli types/*.ml types/*.mli driver/*.mli driver/*.ml |
| 22 |
INCLUDES = -I +camlp4 -I parser -I types -I typing |
INCLUDES = -I +camlp4 -I parser -I types -I typing |
| 23 |
|
|
| 26 |
all.cma: $(OBJECTS) |
all.cma: $(OBJECTS) |
| 27 |
ocamlc -g -o all.cma -I +camlp4 gramlib.cma nums.cma -a $(OBJECTS) |
ocamlc -g -o all.cma -I +camlp4 gramlib.cma nums.cma -a $(OBJECTS) |
| 28 |
|
|
| 29 |
|
all.cmxa: $(XOBJECTS) |
| 30 |
|
ocamlopt -o all.cmxa -I +camlp4 -a $(XOBJECTS) |
| 31 |
|
|
| 32 |
|
|
| 33 |
cduce: all.cma $(DRIVER) |
cduce: all.cma $(DRIVER) |
| 34 |
ocamlc -g -o cduce all.cma $(DRIVER) |
ocamlc -g -o cduce all.cma $(DRIVER) |
| 35 |
|
|
| 36 |
|
cduce.opt: all.cmxa $(XDRIVER) |
| 37 |
|
ocamlopt -o cduce.opt -I +camlp4 gramlib.cmxa nums.cmxa all.cmxa $(XDRIVER) |
| 38 |
|
|
| 39 |
compute_depend: |
compute_depend: |
| 40 |
@echo "Computing dependencies ..." |
@echo "Computing dependencies ..." |
| 41 |
ocamldep $(INCLUDES) $(SYNTAX_PARSER) $(DEPEND) > depend |
ocamldep $(INCLUDES) $(SYNTAX_PARSER) $(DEPEND) > depend |
| 56 |
.ml.cmo: |
.ml.cmo: |
| 57 |
ocamlc -g -c $(SYNTAX_PARSER) $(INCLUDES) $< |
ocamlc -g -c $(SYNTAX_PARSER) $(INCLUDES) $< |
| 58 |
.ml.cmx: |
.ml.cmx: |
| 59 |
ocamlopt -g -c $(SYNTAX_PARSER) $(INCLUDES) $< |
ocamlopt -c $(SYNTAX_PARSER) $(INCLUDES) $< |
| 60 |
|
|
| 61 |
.mli.cmi: |
.mli.cmi: |
| 62 |
ocamlc -g -c $(INCLUDES) $< |
ocamlc -g -c $(INCLUDES) $< |