history := -const "Exn.keepHistory true"
ffi := -default-ann "allowFFI true" -export-header export.h
caux := caux.c

def:
	mlton $(history) $(ffi) -default-type word64 ccross.mlb $(caux)
clean:
	rm -f ccross export.h