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

TYPING = typing/parse_pat.cmo typing/typed.cmo

TYPES  = types/recursive.cmo types/sortedList.cmo \
         types/sortedMap.cmo types/boolean.cmo \
         types/intervals.cmo types/atoms.cmo \
         types/strings.cmo types/types.cmo \
         types/patterns.cmo 

DIRS = parser typing types

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

SYNTAX_PARSER = -pp 'camlp4o pa_extend.cmo'

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

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 *~)
	rm -f *.cmi *.cmo *.cma *~

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

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

.mli.cmi:
	ocamlc -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