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
17              Set the initial heap size, in MB.
18
19       --heap size
20              Set the initial heap size, in MB.
21
22       --immutable size
23              Set the size of the immutables buffer, in MB.
24
25       --mutable size
26              Set the size of the mutables buffer, in MB.
27
28       --timeslice timeslice
29              Set the timeslice.
30
31       --debug level
32              Set the debugging level.
33

SEE ALSO

35       http://www.polyml.org The Poly/ML web site.
36
37
38
39                           Poly/ML Version 5.3 2009                    POLY(1)