RESULT := civicc
PHASES := load parse print desug context_analysis expand_dims typecheck \
	dim_reduce bool_op
SOURCES := ast.ml stringify.mli stringify.ml util.mli util.ml lexer.mll \
	parser.mly $(patsubst %,phases/%.ml,$(PHASES)) main.ml
PRE_TARGETS := ast.cmi ast.o stringify.cmi stringify.o util.cmi util.o
LIBS := str unix

OCAMLFLAGS := -g

OCAMLYACC := menhir
YFLAGS := --infer

all: native-code

clean:: myclean

.PHONY: myclean
myclean:
	rm -f a.out

include OCamlMakefile