From 546a5861526192a908f2aa2bfc3cfe4f3f3baf43 Mon Sep 17 00:00:00 2001
From: Vladimir Azarov <avm@intermediate-node.net>
Date: Sat, 31 May 2025 19:30:21 +0200
Subject: Proper constant parsing

---
 Makefile | 6 +++++-
 1 file changed, 5 insertions(+), 1 deletion(-)

(limited to 'Makefile')

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
-- 
cgit v1.2.3