cgi-bin/viewcvs.cgi/Makefile

PARSER = parser/location.cmo parser/ast.cmo parser/parser.cmo

TYPING = typing/typed.cmo typing/typer.cmo

TYPES  = types/recursive.cmo types/sortedList.cmo \
         types/sortedMap.cmo types/boolean.cmo \
         types/intervals.cmo types/chars.cmo types/atoms.cmo \
         types/types.cmo \
         types/patterns.cmo \
         types/sequence.cmo \
         types/builtin.cmo

DRIVER = driver/cduce.cmo

DIRS = parser typing types driver

OBJECTS = $(TYPES) $(PARSER) $(TYPING)
DEPEND = parser/*.ml parser/*.mli typing/*.ml typing/*.mli types/*.ml types/*.mli driver/*.mli driver/*.ml
INCLUDES = -I +camlp4 -I parser -I types -I typing

SYNTAX_PARSER = -pp 'camlp4o pa_extend.cmo'

all.cma: $(OBJECTS)
        ocamlc -g -o all.cma -I +camlp4 gramlib.cma nums.cma -a $(OBJECTS)

cduce: all.cma $(DRIVER)
        ocamlc -g -o cduce all.cma $(DRIVER)

compute_depend:
        @echo "Computing dependencies ..."
        ocamldep $(INCLUDES) $(SYNTAX_PARSER) $(DEPEND) > depend

run_top: all.cma
        ledit ocaml $(INCLUDES) all.cma

clean:
        (cd parser; rm -f *.cmi *.cmo *.cma *~)
        (cd types; rm -f *.cmi *.cmo *.cma *~)
        (cd typing; rm -f *.cmi *.cmo *.cma *~)
        (cd driver; rm -f *.cmi *.cmo *.cma *~)
        rm -f *.cmi *.cmo *.cma *~
        rm -f cduce

.SUFFIXES: .ml .mli .cmo .cmi .cmx

.ml.cmo:
        ocamlc -g -c $(SYNTAX_PARSER) $(INCLUDES) $<
.ml.cmx:
        ocamlopt -g -c $(SYNTAX_PARSER) $(INCLUDES) $<

.mli.cmi:
        ocamlc -g -c $(INCLUDES) $<

# FORTPATH = /users/formel8/frisch/solaris/fort/fort
FORTPATH = /home/frisch/fort
FORTBIN = $(FORTPATH)/fort
FORTLIB = $(FORTPATH)

test: all.cma
        $(FORTBIN) -I $(FORTLIB) all.cma test_fort.ml

include depend
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/types.cmo \
9	types/patterns.cmo \
10	types/sequence.cmo \
11	types/builtin.cmo
12
13	DRIVER = driver/cduce.cmo
14
15	DIRS = parser typing types driver
16
17	OBJECTS = $(TYPES) $(PARSER) $(TYPING)
18	DEPEND = parser/.ml parser/.mli typing/.ml typing/.mli types/.ml types/.mli driver/.mli driver/.ml
19	INCLUDES = -I +camlp4 -I parser -I types -I typing
20
21	SYNTAX_PARSER = -pp 'camlp4o pa_extend.cmo'
22
23	all.cma: $(OBJECTS)
24	ocamlc -g -o all.cma -I +camlp4 gramlib.cma nums.cma -a $(OBJECTS)
25
26	cduce: all.cma $(DRIVER)
27	ocamlc -g -o cduce all.cma $(DRIVER)
28
29	compute_depend:
30	@echo "Computing dependencies ..."
31	ocamldep $(INCLUDES) $(SYNTAX_PARSER) $(DEPEND) > depend
32
33	run_top: all.cma
34	ledit ocaml $(INCLUDES) all.cma
35
36	clean:
37	(cd parser; rm -f .cmi .cmo .cma ~)
38	(cd types; rm -f .cmi .cmo .cma ~)
39	(cd typing; rm -f .cmi .cmo .cma ~)
40	(cd driver; rm -f .cmi .cmo .cma ~)
41	rm -f .cmi .cmo .cma ~
42	rm -f cduce
43
44	.SUFFIXES: .ml .mli .cmo .cmi .cmx
45
46	.ml.cmo:
47	ocamlc -g -c $(SYNTAX_PARSER) $(INCLUDES) $<
48	.ml.cmx:
49	ocamlopt -g -c $(SYNTAX_PARSER) $(INCLUDES) $<
50
51	.mli.cmi:
52	ocamlc -g -c $(INCLUDES) $<
53
54	# FORTPATH = /users/formel8/frisch/solaris/fort/fort
55	FORTPATH = /home/frisch/fort
56	FORTBIN = $(FORTPATH)/fort
57	FORTLIB = $(FORTPATH)
58
59	test: all.cma
60	$(FORTBIN) -I $(FORTLIB) all.cma test_fort.ml
61
62	include depend