RESULT := civicc
PHASES := load parse print desug constant_propagation context_analysis \
	expand_dims typecheck dim_reduce bool_op extern_vars
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

CIVAS := ../bin32/civas
CIVVM := ../bin32/civvm
CIVCC := ../civicc

OCAMLFLAGS := -g

OCAMLYACC := menhir
YFLAGS := --infer

all: native-code

clean:: myclean

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

check:
	@cd test; CIVAS=$(CIVAS) CIVVM=$(CIVVM) CIVCC=$(CIVCC) bash run.bash

include OCamlMakefile