Jerry James f93ce6d
--- ./src/system.c.orig	2013-12-01 03:27:41.000000000 -0700
Jerry James f93ce6d
+++ ./src/system.c	2014-01-13 22:00:00.000000000 -0700
Jerry James f93ce6d
@@ -1757,6 +1757,7 @@ void InitSystem (
Jerry James b72b287
     Char *              argv [] )
Jerry James b72b287
 {
574c352
     Char *              *ptrlist;
574c352
+    Char *              envvar;
574c352
     UInt                i;             /* loop variable                   */
574c352
     Int res;                       /* return from option processing function */
Jerry James b72b287
 
Jerry James f93ce6d
@@ -1880,6 +1881,16 @@ void InitSystem (
574c352
 
574c352
 #endif
574c352
 
574c352
+    /* process environment variables */
574c352
+    envvar = getenv("GAP_DIR");
574c352
+    if (envvar == NULL)
Jerry James b72b287
+      envvar = "/usr/lib/gap";
574c352
+    setGapRootPath(&envvar, NULL);
574c352
+    envvar = getenv("GAP_MEM");
574c352
+    if (envvar == NULL)
Jerry James b72b287
+      envvar = "32m";
574c352
+    storeMemory2(&envvar, &SyStorMin);
574c352
+
Jerry James b72b287
     /* save the original command line for export to GAP */
Jerry James b72b287
     SyOriginalArgc = argc;
Jerry James b72b287
     SyOriginalArgv = argv;