13.4 splfr — SICStus Prolog Foreign Resource Linker

Synopsis

     % splfr [ Option | InputFile ] ...

Description

The foreign resource linker, splfr, is used for creating foreign resources (see Foreign Resources). splfr reads terms from a Prolog file, applying op declarations and extracting any foreign_resource/2 fact with first argument matching the resource name and all foreign/[2,3] facts. Based on this information, it generates the necessary glue code, and combines it with any additional C or object files provided by the user into a linked foreign resource. The output file name will be the resource name with a suitable extension.

Options

The input to splfr can be divided into Options and InputFiles and they can be arbitrarily mixed on the command line. Anything not interpreted as an option will be interpreted as an input file. Exactly one of the input files should be a Prolog file. The following options are available:

-?

--help

Prints out a summary of all options.

-v

--verbose

Print detailed information about each step in the compilation/linking sequence. Multiple occurrences increase verbosity.

-vv

Same as -v -v.

--version

Prints out the version number of spld and exits successfully.

--config=ConfigFile

Specify another configuration file. This option is not intended for normal use. The file name may not contain spaces.

--conf VAR=VALUE

Override values from the configuration file. Can occur multiple times. For instance, ‘--conf CC=/usr/bin/gcc’ would override the default C compiler.

--cflag=CFlag

CFlag is an option to pass to the C-compiler. This option can occur multiple times.

The current behavior is that if CFlag contains commas then each comma-separated part is treated as a separate compiler option. This may change in the future, so instead you should use multiple occurences of --cflag. To turn off splitting at commas and treat CFlag as a single option even it contains a comma, you can pass the option --conf SPLIT_OPT_CFLAG=0. This can be useful with certain options to the gcc compiler.

--

--LD

-LD

Do not process the rest of the command-line, but send it directly to the compiler/linker. Note that linking is often performed by the compiler.

--sicstus=Executable

splfr relies on using SICStus during some stages of its execution. The default is the SICStus-executable installed with the distribution. Executable can be used to override this, in case the user wants to use another SICStus executable.

--keep

Keep temporary files and interface code and rename them to human-readable names. Not intended for the casual user, but useful if you want to know exactly what code is generated.

--resource=ResourceName

Specify the resource's name. This defaults to the basename of the Prolog source file found on the command line.

-o, --output=OutputFileName

Specify output file name. This defaults to the name of the resource, suffixed with the platform's standard shared object suffix (i.e. ‘.so’ on most UNIX dialects, ‘.dll’ under Windows). The use of this option is discouraged, except to change the output directory.

-S

--static

Create a statically linked foreign resource instead of a dynamically linked one, which is the default. A statically linked foreign resource is a single object file, which can be pre-linked into a Prolog system. See also the spld tool, The Application Builder.

--no-rpath

Under UNIX, the default is to embed into the shared object all linker library directories for use by the dynamic linker. For most UNIX linkers this corresponds to adding a -Rpath for each -Lpath. The --no-rpath option inihibits this.

--nocompile

Do not compile, just generate code. This may be useful in Makefiles, for example to generate the header file in a separate step. Implies --keep.

--namebase=namebase

namebase will be used as part of the name of generated files. The default name base is the resource name (e.g. as specified with --resource). If --static is specified, the default namebase is the resource name followed by ‘_s’.

--header=headername

Specify the name of the generated header file. The default if is namebase_glue.h. All C files that define foreign functions or that call SICStus API functions should include this file. Among other things the generated header file includes prototypes corresponding to the foreign/[2,3] declarations in the Prolog code.

--multi-sp-aware

Create a (dynamic) foreign resource that can be loaded by several SICStus runtimes in the same process, at the same time. See Foreign Resources and Multiple SICStus Runtimes for details.

--moveable

Do not embed paths into the foreign resource.

On platforms that support it, i.e. some versions of UNIX, the default behavior of splfr is to add each directory dir specified with -Ldir to the search path used by the runtime loader (using the SysV ld -R option or similar). The option --moveable turns off this behavior. For additional details, see the corresponding option to spld (see The Application Builder).

--structs

The Prolog source file uses library(structs). This option makes splfr understand foreign type specifications and translate them into C declarations in the generated header file. See See lib-structs.

Files

Arguments to spld not recognized as options are assumed to be input-files and are handled as follows:

‘*.pro’

‘*.pl’

The Prolog file containing the relevant declarations. Exactly one such argument should be given.

‘*.so’

‘*.sl’

‘*.s.o’

‘*.o’

‘*.obj’

‘*.dll’

‘*.lib’

‘*.dylib’

These files are assumed to be input-files to the linker and will be passed on unmodified.

‘*.c’

‘*.cc’

‘*.C’

‘*.cpp’

‘*.c++’

These files are assumed to be C/C++ source code and will be compiled by the C/C++-compiler before being passed to the linker.

See Also

The Foreign Resource Linker.