all: bc top

OCAMLCFLAGS:=-I +aurochs_lib -dtypes
OCAMLLDFLAGS:=-I +aurochs_lib -custom unix.cma aurochs_lib.cma -cclib -laurochs
INCDIRS=+aurochs_lib

RESULT:=smc-verify
ANNOTATE:=1

SOURCES:=algorithm.ml sm.ml smc.ml smcShell.ml smc-verify.ml

smc.ml: smc.stamp
smc.mli: smc.stamp

smc.stamp: smc.peg
	aurochs -target ml smc.peg
	touch smc.stamp

#clean:
#	rm -rf smc.stamp smc.ml smc.mli *~ smc-verify *.cmi *.cmo

all2: 
	env PATH=/opt/godi/bin:$(PATH) \
	ocamlbuild \
		-cflags -I,+aurochs_lib \
		-lflags -I,+aurochs_lib \
		-libs unix,aurochs_lib \
		-classic-display \
		 smc-verify.byte


include OCamlMakefile