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:detect_c_headers(+list(filename))

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

Documentation on imports

This module has the following direct dependencies:

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