☰
↑
←
→
🔍
TOC
Build Automation for Ciao
»
Builder commands
»
C header detection
ON THIS PAGE
Usage and interface
Documentation on exports
Documentation on imports
C header detection
Usage and interface
Library usage:
:- use_module(ciaobld(detcheader)).
Exports:
Predicates:
detect_c_headers/1
.
Documentation on exports
PREDICATE
detect_c_headers/1
Usage:
Succeeds if all the c header files in the argument are valid.
The following properties should hold at call time:
(
basic_props:list/2
)
Arg1
is a list of
filename
s.
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
.