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

Documentation on exports


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


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

Documentation on imports

This module has the following direct dependencies: