|
Jerry James |
b72b287 |
--- ./src/system.c.orig 2012-07-16 11:27:25.000000000 -0600
|
|
Jerry James |
b72b287 |
+++ ./src/system.c 2012-08-14 16:40:19.470468141 -0600
|
|
Jerry James |
b72b287 |
@@ -1752,6 +1752,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 |
b72b287 |
@@ -1875,6 +1876,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;
|