From e40727b58e357f123256557af50666aa42c2caa4 Mon Sep 17 00:00:00 2001
From: Vladimir Azarov <avm@intermediate-node.net>
Date: Mon, 24 Mar 2025 00:49:06 +0100
Subject: Rest of symbols

---
 Makefile | 4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)

(limited to 'Makefile')

diff --git a/Makefile b/Makefile
index 1db9e55..e18503d 100644
--- a/Makefile
+++ b/Makefile
@@ -1,2 +1,4 @@
+history := -const "Exn.keepHistory true"
+
 def:
-	mlton -const "Exn.keepHistory true" cpp.mlb
+	mlton $(history) cpp.mlb
-- 
cgit v1.2.3