Utilities for on-demand compilation of foreign files

Author(s): Manuel Carro, Jose F. Morales.

This module provides two predicates which give the user information regarding how to compile external (C) files in order to link them with the Ciao engine at runtime.

These predicates are not intended to be called directly by the end-user. Instead, a tool or module whose aim is generating dynamically loadable files from source files should use the predicates in this file in order to find out what are the proper compiler and linker to use, and which options must be passed to them in the current architecture.

Usage and interface

Library usage:
:- use_module(library(foreign_compilation)).
Exports:
- Predicates:
  compiler_and_opts/2, linker_and_opts/2.

Documentation on exports

PREDICATEcompiler_and_opts/2

Usage:compiler_and_opts(Compiler,Opts)

CC is the C compiler used to compile foreign code (including gluecode), using options Opts.

Call and exit should be compatible with:
(basic_props:atm/1)Compiler is an atom.
(basic_props:list/2)Opts is a list of atms.

PREDICATElinker_and_opts/2

Usage:linker_and_opts(LD,Opts)

LD is the linker program used to link foreign code, using options Opts.

Call and exit should be compatible with:
(basic_props:atm/1)LD is an atom.
(basic_props:list/2)Opts is a list of atms.

Documentation on imports

This module has the following direct dependencies:

System library modules:
parse_shell_args.
Packages:
prelude, initial, condcomp, assertions, assertions/assertions_basic, isomodes.