File: chpl.1

package info (click to toggle)
swi-prolog 3.1.0-2
  • links: PTS
  • area: main
  • in suites: slink
  • size: 8,772 kB
  • ctags: 12,869
  • sloc: ansic: 43,657; perl: 12,577; lisp: 4,359; sh: 1,534; makefile: 798; awk: 14
file content (56 lines) | stat: -rw-r--r-- 1,592 bytes parent folder | download | duplicates (3)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
.TH SWI 1 "August 10 1995"
.SH NAME
chpl \- Change header of SWI-Prolog saved-states
.SH SYNOPSIS
.BR chpl
.BI "\-e" " emulator" " [\|" "\-o" " outputfile" "\|]"
.BI "state"
.br
.BR chpl
.BI "\-x" " [\|" "\-o" " outputfile" "\|]" " state"
.br
.BR chpl
.BI "\-h" " header" " [\|" "\-o" " outputfile" "\|]"
.BI "state"
.br
.SH DESCRIPTION
The utility
.BI chpl
changes the header of a SWI-Prolog boot file or SWI-Prolog runtime
program.  A SWI-Prolog program is a
.BI /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
.BI state
with the contents of
.BI header.
If
.BI header
is `-', the standard input will be used as header script.
.SS Options
.TP
.BI \-e " emulator"
Specifies a path to the emulator.  This should be a SWI-Prolog executable.
The path must be absolute.
.TP
.BI \-o " outfile"
Name of the output file.  When omited, the state is changed in-place.  If
the output file is omited with the
.BI \-x
flag the header is extracted to standard output.
.TP
.BI \-h " header"
Name of the file from which to extract the new header.  If its value is
a single -, standard input is used.
.SH "SEE ALSO"
Jan Wielemaker
.I pl(1)
.I SWI-Prolog 2.1 Reference Manual,
University of Amsterdam, Dept. of Social Science and Informatics (SWI).
.SH COPYRIGHT
Copyright (C) 1991-1995, Jan Wielemaker
.SH AUTHOR
Jan Wielemaker