[m-rev.] for review: '--solutions-heap-size'

[David Jeffery]

Hi,

For anyone to review.

-----------------------------------------------------------------------------

Estimated hours taken: 1

runtime/mercury_wrapper.c:
	Add support for "--solution-heap-size", analagous to "--detstack-size"
	or "--heap-size" in MERCURY_OPTIONS.
doc/user_guide.texi:
	Document this option.

-----------------------------------------------------------------------------
? doc/user_guide.dvi_log
? doc/reference_manual.dvi_log
? doc/library.dvi_log
? doc/faq.dvi_log
? doc/transition_guide.dvi_log
Index: runtime/mercury_wrapper.c
===================================================================
RCS file: /home/mercury1/repository/mercury/runtime/mercury_wrapper.c,v
retrieving revision 1.89
diff -u -t -r1.89 mercury_wrapper.c
--- runtime/mercury_wrapper.c	2001/05/31 06:00:17	1.89
+++ runtime/mercury_wrapper.c	2001/07/04 05:25:53
@@ -700,10 +700,12 @@
         MR_HEAP_SIZE,
         MR_DETSTACK_SIZE,
         MR_NONDETSTACK_SIZE,
+        MR_SOLUTIONS_HEAP_SIZE,
         MR_TRAIL_SIZE,
         MR_HEAP_REDZONE_SIZE,
         MR_DETSTACK_REDZONE_SIZE,
         MR_NONDETSTACK_REDZONE_SIZE,
+        MR_SOLUTIONS_HEAP_REDZONE_SIZE,
         MR_TRAIL_REDZONE_SIZE,
         MR_MDB_TTY,
         MR_MDB_IN,
@@ -715,10 +717,12 @@
         { "heap-size",                  1, 0, MR_HEAP_SIZE },
         { "detstack-size",              1, 0, MR_DETSTACK_SIZE },
         { "nondetstack-size",           1, 0, MR_NONDETSTACK_SIZE },
+        { "solutions-heap-size",        1, 0, MR_SOLUTIONS_HEAP_SIZE },
         { "trail-size",                 1, 0, MR_TRAIL_SIZE },
         { "heap-redzone-size",          1, 0, MR_HEAP_REDZONE_SIZE },
         { "detstack-redzone-size",      1, 0, MR_DETSTACK_REDZONE_SIZE },
         { "nondetstack-redzone-size",   1, 0, MR_NONDETSTACK_REDZONE_SIZE },
+        { "solutions-heap-redzone-size",1, 0, MR_SOLUTIONS_HEAP_REDZONE_SIZE },
         { "trail-redzone-size",         1, 0, MR_TRAIL_REDZONE_SIZE },
         { "mdb-tty",                    1, 0, MR_MDB_TTY },
         { "mdb-in",                     1, 0, MR_MDB_IN },
@@ -760,6 +764,13 @@
                         MR_nondstack_size = size;
                         break;
 
+                case MR_SOLUTIONS_HEAP_SIZE:
+                        if (sscanf(MR_optarg, "%lu", &size) != 1)
+                                usage();
+
+                        MR_solutions_heap_size = size;
+                        break;
+
                 case MR_TRAIL_SIZE:
                         if (sscanf(MR_optarg, "%lu", &size) != 1)
                                 usage();
@@ -786,6 +797,13 @@
                                 usage();
 
                         MR_nondstack_zone_size = size;
+                        break;
+
+                case MR_SOLUTIONS_HEAP_REDZONE_SIZE:
+                        if (sscanf(MR_optarg, "%lu", &size) != 1)
+                                usage();
+
+                        MR_solutions_heap_zone_size = size;
                         break;
 
                 case MR_TRAIL_REDZONE_SIZE:
Index: doc/user_guide.texi
===================================================================
RCS file: /home/mercury1/repository/mercury/doc/user_guide.texi,v
retrieving revision 1.257
diff -u -t -r1.257 user_guide.texi
--- doc/user_guide.texi	2001/06/27 05:04:36	1.257
+++ doc/user_guide.texi	2001/07/04 05:25:53
@@ -5556,6 +5556,11 @@
 Sets the size of the nondet stack to @var{size} kilobytes.
 
 @sp 1
+ at item --solutions-heap-size @var{size}
+ at findex --solutions-heap-size (runtime option)
+Sets the size of the solutions heap to @var{size} kilobytes.
+
+ at sp 1
 @item --trail-size @var{size}
 @findex --trail-size
 @cindex Trail size

dgj
-- 
David Jeffery (dgj at cs.mu.oz.au) | If you want to build a ship, don't drum up 
PhD student,                    | people together to collect wood or assign 
Dept. of Comp. Sci. & Soft. Eng.| them tasks and work, but rather teach them 
The University of Melbourne     | to long for the endless immensity of the sea.
Australia                       | -- Antoine de Saint Exupery
--------------------------------------------------------------------------
mercury-reviews mailing list
post:  mercury-reviews at cs.mu.oz.au
administrative address: owner-mercury-reviews at cs.mu.oz.au
unsubscribe: Address: mercury-reviews-request at cs.mu.oz.au Message: unsubscribe
subscribe:   Address: mercury-reviews-request at cs.mu.oz.au Message: subscribe
--------------------------------------------------------------------------