1POLY(1)                     General Commands Manual                    POLY(1)
2
3
4

NAME

6       polyimport - the Poly/ML import program
7

SYNOPSIS

9       polyimport importfile
10

DESCRIPTION

12       polyimport  reads  in  a Poly/ML import file and runs it.  Import files
13       are generated using the PolyML.exportPortable function.
14

OPTIONS

16       -H  size Sets the initial heap size.  The size may be written as a num‐
17       ber  optionally followed by K, M or G representing kilobytes, megabytes
18       or gigabytes.  If none of  these  is  given  the  number  is  taken  as
19       megabytes.
20
21       --minheap size
22              Set  the minimum heap size.  The heap will not shrink below this
23              value.
24
25       --maxheap size
26              Set the maximum heap size.  The heap will not  grow  above  this
27              value.
28
29       --gcpercent percent
30              Set  the target percentage of time that the code should spend in
31              the garbage collector.  The heap sizer will attempt to  set  the
32              heap size to achieve this target consistent with the minimum and
33              maximum heap sizes given by the arguments  and  also  consistent
34              with keeping paging under control.
35
36       --gcthreads threads
37              Sets  the number of threads used in the parallel garbage collec‐
38              tor.  Setting this to 1 forces the garbage collector to be  sin‐
39              gle-threaded.  The value 0, the default, is taken to be the num‐
40              ber of processors (cores) available.
41
42       --debug options
43              Set various debugging options for the run-time system.
44

SEE ALSO

46       http://www.polyml.org The Poly/ML web site.
47
48
49
50                          Poly/ML Version 5.8.1 2020                   POLY(1)