File: swipl-ld.1

package info (click to toggle)
swi-prolog 6.6.6-1~bpo70+1
  • links: PTS, VCS
  • area: main
  • in suites: wheezy-backports
  • size: 82,312 kB
  • sloc: ansic: 322,250; perl: 245,822; sh: 6,651; java: 5,254; makefile: 4,423; cpp: 4,153; ruby: 1,594; yacc: 843; xml: 82; sed: 12; sql: 6
file content (233 lines) | stat: -rw-r--r-- 6,898 bytes parent folder | download | duplicates (7)
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
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
147
148
149
150
151
152
153
154
155
156
157
158
159
160
161
162
163
164
165
166
167
168
169
170
171
172
173
174
175
176
177
178
179
180
181
182
183
184
185
186
187
188
189
190
191
192
193
194
195
196
197
198
199
200
201
202
203
204
205
206
207
208
209
210
211
212
213
214
215
216
217
218
219
220
221
222
223
224
225
226
227
228
229
230
231
232
233
.TH SWI 1 "Feb 8, 2006"
.SH NAME
swipl-ld \- Create a SWI-Prolog embedded executable
.SH SYNOPSIS
.BR swipl-ld
.B "options c-files o-files pl-files
.br
.SH DESCRIPTION
The utility
.BI swipl-ld
is a front-end for the C-compiler and linker to create a stand-alone
executable from a series of C/C++ and Prolog input files. It extracts
information from the SWI-Prolog executable
.B swipl,
after which it scans the arguments and breaks them into several
categories.  It then calls the C-compiler to create an executable
containing the user's C-code and the SWI-Prolog kernel.  After this,
it will call the development environment to create a Prolog saved
state from the prolog files and finally it will create the target
executable by concatenating the state to the emulator.  See also
.BI qsave_program/2
from the
.BI SWI-Prolog " " manual.

.SS Options
.TP
.BI \-pl " prolog"
Specifies the prolog version to use.  The default is
.BI swipl.
This flag may be used to choose between different versions installed
on your system, or to specify a modified version.  A modified version
should understands the flags
.BI \-dump-runtime-variables
.BI \-f " file"
.BI \-F " file"
.BI \-g " goal"
.BI \-t " toplevel".
.TP
.BI \-help
Shows options briefly
.TP
.BI \-nostate
Just relinks the kernel.  The newly linked kernel can only function
in the presence of the development system.  Any supplied prolog sourcefiles
are ignored, and so are the options
.BI \-goal
.BI \-toplevel
.BI \-initfile.
.BI \-class
This is the preferred way to attach external modules to Prolog if
dynamic loading is not supported on your system.
.TP
.B \-c
Compile C or C++ source-files into object files.  This turns
.B swipl-ld
into a replacement for the C or C++ compiler where proper options such
as the location of the include directory are passed automatically to the
compiler.
.TP
.B \-E
Invoke the C preprocessor.  Used to make
.B swipl-ld
a replacement for the C or C++ compiler.
.TP
.B \-shared
Link C, C++ or object files into a shared object (DLL) that can be loaded
by the
.I load_foreign_library/1
predicate.  If used with
.B \-c
it sets the proper options to compile a C or C++ file ready for linking
into a shared object.
.TP
.B \-embed-shared
Embed SWI-Prolog into a DLL/Shared object rather than an executable.
See the reference manual for details.
.TP
.B \-dll
.I "Windows only"
Same as
.B \-embed-shared
Backward compatibility.
.TP
.BI \-F " base"
By default,
.I none
is passed to the swipl command to create the saved state.  Using
.I "\-F xpce"
you can specify loading
.IR xpce.rc ,
making XPCE available to the saved state.
.TP
.BI \-goal " goal"
The goal that is initially executed when the toplevel is started using
.BR "PL_toplevel()" .
E.i. the default.
.BI \-g
flag for the new executable.
.TP
.BI \-toplevel " goal"
The goal that is executed as the main toplevel goal.  E.i. the default.
.BI \-t
flag for the new executable.
.TP
.BI \-initfile " file"
The file that is loaded by the toplevel.  E.i. the default.
.BI \-f
flag for the new executable.
.TP
.BI \-class " {runtime,kernel,development}"
Set the save-class of the Prolog saved-state that is created.  If
.B runtime
(default), the resulting system leave interpretation of all arguments
to the application.  If
.B kernel
all predicates will be locked for the tracer.  Finally, if
.B development
the state is saved `as-is' and the resulting system processes options
just as the basic SWI-Prolog executable does.  See also
.B "qsave_program/2"
in the
.IR "SWI-Prolog reference manual".
.TP
.BI \-v
Verbose operation.  This echos the commands before executing them.
Note that some commands are printed as shell commands, but actually
executed by swipl-ld itself for compatibility with the Win32 platforms.
.TP
.BI \-f
Fake operation.  Together with
.BI \-v
this prints the commands that need to be executed without actually
doing anything.
.TP
.BI \-E "cppargument ..."
If the first option is
.BR  \-E ","
all subsequent options are appended and handed to the program selected
by SWI-Prolog configure to run
.BR cpp "."
.TP
.BI \-o " file"
Specifies the name of the final executable.  The default is
.BI a.out.
.TP
.BI \-cc " C-compiler"
Specify the compiler to use for
.BI *.c
files.  Default is the compiler used to compile SWI-Prolog itself,
as read from the feature
.BI c_cc.
.TP
.BI -c++ " C++-compiler"
Specify the compiler to use for C++ input files.  If the C-compiler
is
.BI gcc
this is
.BI g++,
otherwise
.BI c++
is assumed.
.TP
.BI \-ld " linker"
Specifies the linker to use.  Default is the C-compiler.  On Win32
platforms, the default is
.BI link.exe.
.TP
.BI \-l "library"
Specifies a C-library for linking the application.  By default,
.BR \-lswipl
as well as the libraries required by the SWI-Prolog kernel will be
passed to the C-compiler.
.TP
.BI \-L "library-directory"
Specifies an additional library directory for the C-compiler.  By
default, the runtime directory for the current architecture is passed.
.TP
.BI \-g|-I*|-D*|-U*|-O*|-W*
Passed to the compiler as c-flags.  By default, the SWI-Prolog include
directory is passed as additional include directory.  The following \-D
flags are added by swipl-ld: \-D__SWI_PROLOG__ and \-D__SWI_EMBEDDED__.
.TP
.BI \-pl-options*
Specify additional options for
.BI swipl.
The first character following
.BI \-pl-options
determines the option-separator.  The remainder of the argument is
split using this separator and the parts are added to the option list
for Prolog.  See also
.BI \-cc-options " and " \-ld-options
.TP
.BI \-ld-options*
Additional options passed to the linker.  For example:
.BI \-ld-options,-Bstatic
.TP
.BI \-cc-options*
Additional options passed to both C- and C++-compiler.
.TP
.BI *.o
Passed as input files to the linker.
.TP
.BI *.c
Compiled using the C-compiler, after which the object-file is passed
to the linker.  The object file is deleted at cleanup.
.TP
.BI *.cc|*.C|*.cxx|*.cpp
Compiled using the C++-compiler, after which the object-file is passed
to the linker.  The object file is deleted at cleanup.
.TP
.BI *.pl|*.qlf
Passed as Prolog input files
.SH BUGS
Parsing the options and distributing them over the various programs is
probably incomplete. Feel free to modify it and please forward generally
useful modifications to
.BI bugs@swi-prolog.org.

Some care has to be taken that the state created with
.BI qsave_program/2
is self-contained (i.e. contains no references to the Prolog libraries).
Also, as the state is created using the development environment rather
then the user's emulator, the Prolog code cannot use directives that
rely on the C-code added by the user.
.SH "SEE ALSO"
.I swipl(1)
.I SWI-Prolog Reference Manual,
.I http://www.swi-prolog.org
.SH COPYRIGHT
Copyright (C) 1991-2010, University of Amsterdam, VU University, Amsterdam
This program may be used under the terms of the LGPL, version 2 or later.
.SH AUTHOR
Jan Wielemaker