C header detection

Usage and interface

Library usage:
:- use_module(ciaobld(detcheader)).
Exports:
- Predicates:
  detect_c_headers/1.

Documentation on exports

PREDICATEdetect_c_headers/1

Usage:

Succeeds if all the c header files in the argument are valid.

The following properties should hold at call time:
(term_typing:nonvar/1)Arg1 is currently a term which is not a free variable.
(basic_props:list/2)Arg1 is a list of filenames.

Documentation on imports

This module has the following direct dependencies:

System library modules:
lists, stream_utils, foreign_compilation, system, system_extra, process, port_reify, c_itf_props.
Packages:
prelude, initial, condcomp, assertions, assertions/assertions_basic, modes, dcg.