Rechercher une page de manuel
polyimport
Langue: en
Version: 146952 (fedora - 04/07/09)
Section: 1 (Commandes utilisateur)
NAME
polyimport - the Poly/ML import programSYNOPSIS
polyimport importfileDESCRIPTION
polyimport reads in a Poly/ML import file and runs it. Import files are generated using the PolyML.exportPortable function.OPTIONS
- -H size
- Set the initial heap size, in MB.
- --heap size
- Set the initial heap size, in MB.
- --immutable size
- Set the size of the immutables buffer, in MB.
- --mutable size
- Set the size of the mutables buffer, in MB.
- --timeslice timeslice
- Set the timeslice.
- --debug level
- Set the debugging level.
SEE ALSO
http://www.poly.org The Poly/ML web site.
Contenus ©2006-2024 Benjamin Poulain
Design ©2006-2024 Maxime Vantorre