mirror of
https://github.com/SELinuxProject/selinux
synced 2025-01-27 15:52:58 +00:00
cae4a4c951
An HLL to CIL compiler must exist in the compiler_directory path which is configubrable in semanage.conf. By default, this path is /usr/libexec/selinux/hll/. The compiler name needs to match the HLL language extension. For example, for pp files, /usr/libexec/selinux/hll/pp must exist. The HLL infrastructure uncompresses the HLL module and pipes the data to the appropriate CIL compiler. The output CIL from the compiler is read from another pipe, compressed, and saved to the module store as a cached CIL file. This file will be used on all subsequent policy builds, unless a new module is installed with the same name at the same priority, at which point the cache is deleted and is subsequently rebuilt and cached. A new option is added to semanage.conf, ignore_cache, which if set to true will cause the cached CIL files to be ignored and all HLL files to be recompiled and the resulting CIL to be recached. Signed-off-by: Yuli Khodorkovskiy <ykhodorkovskiy@tresys.com> |
||
|---|---|---|
| .. | ||
| boolean_record.h | ||
| booleans_active.h | ||
| booleans_local.h | ||
| booleans_policy.h | ||
| context_record.h | ||
| debug.h | ||
| fcontext_record.h | ||
| fcontexts_local.h | ||
| fcontexts_policy.h | ||
| handle.h | ||
| iface_record.h | ||
| interfaces_local.h | ||
| interfaces_policy.h | ||
| modules.h | ||
| node_record.h | ||
| nodes_local.h | ||
| nodes_policy.h | ||
| port_record.h | ||
| ports_local.h | ||
| ports_policy.h | ||
| semanage.h | ||
| seuser_record.h | ||
| seusers_local.h | ||
| seusers_policy.h | ||
| user_record.h | ||
| users_local.h | ||
| users_policy.h | ||