| 8 |
types/strings.cmo types/types.cmo \ |
types/strings.cmo types/types.cmo \ |
| 9 |
types/patterns.cmo |
types/patterns.cmo |
| 10 |
|
|
| 11 |
DIRS = parser typing types |
DRIVER = driver/cduce.cmo |
| 12 |
|
|
| 13 |
|
DIRS = parser typing types driver |
| 14 |
|
|
| 15 |
OBJECTS = $(TYPES) $(PARSER) $(TYPING) |
OBJECTS = $(TYPES) $(PARSER) $(TYPING) |
| 16 |
DEPEND = parser/*.ml parser/*.mli typing/*.ml typing/*.mli types/*.ml types/*.mli |
DEPEND = parser/*.ml parser/*.mli typing/*.ml typing/*.mli types/*.ml types/*.mli driver/*.mli driver/*.ml |
| 17 |
INCLUDES = -I +camlp4 -I parser -I types -I typing |
INCLUDES = -I +camlp4 -I parser -I types -I typing |
| 18 |
|
|
| 19 |
SYNTAX_PARSER = -pp 'camlp4o pa_extend.cmo' |
SYNTAX_PARSER = -pp 'camlp4o pa_extend.cmo' |
| 21 |
all.cma: $(OBJECTS) |
all.cma: $(OBJECTS) |
| 22 |
ocamlc -o all.cma -I +camlp4 gramlib.cma -a $(OBJECTS) |
ocamlc -o all.cma -I +camlp4 gramlib.cma -a $(OBJECTS) |
| 23 |
|
|
| 24 |
|
cduce: all.cma $(DRIVER) |
| 25 |
|
ocamlc -o cduce all.cma $(DRIVER) |
| 26 |
|
|
| 27 |
compute_depend: |
compute_depend: |
| 28 |
@echo "Computing dependencies ..." |
@echo "Computing dependencies ..." |
| 29 |
ocamldep $(INCLUDES) $(SYNTAX_PARSER) $(DEPEND) > depend |
ocamldep $(INCLUDES) $(SYNTAX_PARSER) $(DEPEND) > depend |
| 35 |
(cd parser; rm -f *.cmi *.cmo *.cma *~) |
(cd parser; rm -f *.cmi *.cmo *.cma *~) |
| 36 |
(cd types; rm -f *.cmi *.cmo *.cma *~) |
(cd types; rm -f *.cmi *.cmo *.cma *~) |
| 37 |
(cd typing; rm -f *.cmi *.cmo *.cma *~) |
(cd typing; rm -f *.cmi *.cmo *.cma *~) |
| 38 |
|
(cd driver; rm -f *.cmi *.cmo *.cma *~) |
| 39 |
rm -f *.cmi *.cmo *.cma *~ |
rm -f *.cmi *.cmo *.cma *~ |
| 40 |
|
rm -f cduce |
| 41 |
|
|
| 42 |
.SUFFIXES: .ml .mli .cmo .cmi .cmx |
.SUFFIXES: .ml .mli .cmo .cmi .cmx |
| 43 |
|
|