1 files changed, 5 insertions, 1 deletions

diff --git a/Makefile b/Makefile
index 92e0285..a832a4f 100644
--- a/Makefile
+++ b/Makefile
@@ -1,4 +1,8 @@
 history := -const "Exn.keepHistory true"
+ffi := -default-ann "allowFFI true" -export-header export.h
+caux := caux.c
 
 def:
-	mlton $(history) ccross.mlb
+	mlton $(history) $(ffi) ccross.mlb $(caux)
+clean:
+	rm -f ccross export.h