NAME
chpl - Change header of SWI-Prolog saved-states
SYNOPSIS
chpl -e emulator [-o outputfile] state
chpl -x [-o outputfile] state
chpl -h header [-o outputfile] state
DESCRIPTION
The utility chpl changes the header of a SWI-Prolog boot file or SWI-Prolog runtime program. A SWI-Prolog program is a /bin/sh script. The last line of this script normally exec's the SWI-Prolog emulator. The first form of this command changes the path to the emulator of the script to be the specified emulator. The second form extracts the entire header to the named output file or the standard output. The third form replaces the header of state with the contents of header. If header is `-', the standard input will be used as header script.
Options
- -e emulator
-
Specifies a path to the emulator. This should be a SWI-Prolog executable. The path must be absolute.
- -o outfile
-
Name of the output file. When omited, the state is changed in-place. If the output file is omited with the -x flag the header is extracted to standard output.
- -h header
-
Name of the file from which to extract the new header. If its value is a single -, standard input is used.
SEE ALSO
Jan Wielemaker pl(1) SWI-Prolog 2.1 Reference Manual, University of Amsterdam, Dept. of Social Science and Informatics (SWI).
COPYRIGHT
Copyright (C) 1991-1995, Jan Wielemaker
AUTHOR
Jan Wielemaker