chpl1
Change header of swi-prolog saved-states
Usage
chpl -e
emulator
[-o
outputfile]
state
chpl -x
[-o
outputfile]
state
chpl -h
header
[-o
outputfile]
state
Overview
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
-eemulator-
Specifies a path to the emulator. This should be a SWI-Prolog executable. The path must be absolute.
-ooutfile-
Name of the output file. When omited, the state is changed in-place. If the output file is omited with the
-xflag the header is extracted to standard output.
-hheader-
Name of the file from which to extract the new header. If its value is a single -, standard input is used.
Releases
Unchanged in 3 releases since Debian 1.2 (Rex).