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

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