Ticket #13588: trac_13588_docbuild.patch

doc/common/build_options.py

@@ -17 +17 @@
 #Note that this needs to have the doctrees dir    
 ALLSPHINXOPTS   = SPHINXOPTS + " " + PAPEROPTS + " "
 WEBSITESPHINXOPTS = ""
+
+# Minimize GAP/libGAP RAM usage in the builder, docbuild already uses too much
+from sage.interfaces.gap import set_gap_memory_pool_size
+set_gap_memory_pool_size(0)  # will be rounded up to 1M
+

doc/common/conf.py

@@ -616 +616 @@
         app.connect('builder-inited', set_intersphinx_mappings)
         app.connect('builder-inited', sphinx.ext.intersphinx.load_mappings)
         app.connect('builder-inited', nitpick_patch_config)
+        # Minimize GAP/libGAP RAM usage when we build the docs
+        from sage.interfaces.gap import set_gap_memory_pool_size
+        set_gap_memory_pool_size(0)  # will be rounded up to 1M
 

sage/interfaces/gap.py

@@ -1082 +1082 @@
         if max_workspace_size == None:
             max_workspace_size = _get_gap_memory_pool_size_MB()
         cmd += ' -o ' + str(max_workspace_size)
+        cmd += ' -s ' + str(max_workspace_size)
         cmd += ' ' + os.path.join(SAGE_EXTCODE,'gap','sage.g')
         Expect.__init__(self,
                         name='gap',

sage/libs/gap/util.pyx

@@ -184 +184 @@
     # Define argv and environ variables, which we will pass in to
     # initialize GAP. Note that we must pass define the memory pool
     # size!
-    cdef char* argv[8]
+    cdef char* argv[12]
     argv[0] = "sage"
     argv[1] = "-l"
     s = gap_root()
     argv[2] = s
 
-    from sage.interfaces.gap import get_gap_memory_pool_size
-    memory_pool = str(get_gap_memory_pool_size())
+    from sage.interfaces.gap import _get_gap_memory_pool_size_MB
+    memory_pool = _get_gap_memory_pool_size_MB()
     argv[3] = "-o"
     argv[4] = memory_pool
+    argv[5] = "-s"
+    argv[6] = memory_pool
                
-    argv[5] = "-m"
-    argv[6] = "64m"
+    argv[7] = "-m"
+    argv[8] = "64m"
    
-    argv[7] = "-q"    # no prompt!
-    argv[8] = "-T"    # no debug loop
-    argv[9] = NULL
-    cdef int argc = 9
+    argv[9] = "-q"    # no prompt!
+    argv[10] = "-T"    # no debug loop
+    argv[11] = NULL
+    cdef int argc = 11   # argv[argc] must be NULL
 
     # Initialize GAP and capture any error messages
     # The initialization just prints error and does not use the error handler