core: Make arena size configurable.
authorJan Nieuwenhuizen <janneke@gnu.org>
Sun, 11 Dec 2016 07:50:51 +0000 (08:50 +0100)
committerJan Nieuwenhuizen <janneke@gnu.org>
Mon, 12 Dec 2016 19:35:19 +0000 (20:35 +0100)
* mes.c (main): Read MES_ARENA.
* scripts/repl.mes: Set MES_ARENA to 5000000 if not already set.
  Fixes repl startup.

mes.c
scripts/repl.mes

diff --git a/mes.c b/mes.c
index c239f83869f11f463d6001ddd5fea50d17350b37..140d6c17c574d04cfb05e4dad4ab5ed0e95af8f7 100644 (file)
--- a/mes.c
+++ b/mes.c
@@ -1241,6 +1241,8 @@ int
 main (int argc, char *argv[])
 {
   g_debug = getenv ("MES_DEBUG");
+  if (getenv ("MES_ARENA"))
+    ARENA_SIZE = atoi (getenv ("MES_ARENA"));
   if (argc > 1 && !strcmp (argv[1], "--dump")) g_dump_p = true;
   if (argc > 1 && !strcmp (argv[1], "--help")) return puts ("Usage: mes < FILE\n");
   if (argc > 1 && !strcmp (argv[1], "--version")) return puts ("Mes 0.2\n");
index d2e6317ccee24224b5d59685afbb9e3706ce4632..933e4036504b99965eb2bb19b70d991c8a12765a 100755 (executable)
@@ -1,5 +1,7 @@
 #! /bin/sh
 # -*-scheme-*-
+MES_ARENA=${MES_ARENA-5000000}
+export MES_ARENA
 cat $($(dirname $0)/include.mes $0) $0 /dev/stdin | $(dirname $0)/mes $MES_FLAGS "$@"
 #paredit:|
 exit $?