| 1 |
PARSER = parser/location.cmo parser/ast.cmo parser/parser.cmo
|
| 2 |
|
| 3 |
TYPING = typing/typed.cmo typing/typer.cmo
|
| 4 |
|
| 5 |
TYPES = types/recursive.cmo types/sortedList.cmo \
|
| 6 |
types/sortedMap.cmo types/boolean.cmo \
|
| 7 |
types/intervals.cmo types/chars.cmo types/atoms.cmo \
|
| 8 |
types/strings.cmo types/types.cmo \
|
| 9 |
types/patterns.cmo
|
| 10 |
|
| 11 |
DRIVER = driver/cduce.cmo
|
| 12 |
|
| 13 |
DIRS = parser typing types driver
|
| 14 |
|
| 15 |
OBJECTS = $(TYPES) $(PARSER) $(TYPING)
|
| 16 |
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
|
| 18 |
|
| 19 |
SYNTAX_PARSER = -pp 'camlp4o pa_extend.cmo'
|
| 20 |
|
| 21 |
all.cma: $(OBJECTS)
|
| 22 |
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:
|
| 28 |
@echo "Computing dependencies ..."
|
| 29 |
ocamldep $(INCLUDES) $(SYNTAX_PARSER) $(DEPEND) > depend
|
| 30 |
|
| 31 |
run_top: all.cma
|
| 32 |
ledit ocaml $(INCLUDES) all.cma
|
| 33 |
|
| 34 |
clean:
|
| 35 |
(cd parser; rm -f *.cmi *.cmo *.cma *~)
|
| 36 |
(cd types; rm -f *.cmi *.cmo *.cma *~)
|
| 37 |
(cd typing; rm -f *.cmi *.cmo *.cma *~)
|
| 38 |
(cd driver; rm -f *.cmi *.cmo *.cma *~)
|
| 39 |
rm -f *.cmi *.cmo *.cma *~
|
| 40 |
rm -f cduce
|
| 41 |
|
| 42 |
.SUFFIXES: .ml .mli .cmo .cmi .cmx
|
| 43 |
|
| 44 |
.ml.cmo:
|
| 45 |
ocamlc -c $(SYNTAX_PARSER) $(INCLUDES) $<
|
| 46 |
.ml.cmx:
|
| 47 |
ocamlopt -c $(SYNTAX_PARSER) $(INCLUDES) $<
|
| 48 |
|
| 49 |
.mli.cmi:
|
| 50 |
ocamlc -c $(INCLUDES) $<
|
| 51 |
|
| 52 |
# FORTPATH = /users/formel8/frisch/solaris/fort/fort
|
| 53 |
FORTPATH = /home/frisch/fort
|
| 54 |
FORTBIN = $(FORTPATH)/fort
|
| 55 |
FORTLIB = $(FORTPATH)
|
| 56 |
|
| 57 |
test: all.cma
|
| 58 |
$(FORTBIN) -I $(FORTLIB) all.cma test_fort.ml
|
| 59 |
|
| 60 |
include depend
|