diff options
| author | Daniel Neus <[email protected]> | 2016-08-12 16:12:52 +0200 |
|---|---|---|
| committer | Daniel Neus <[email protected]> | 2016-08-12 16:12:52 +0200 |
| commit | a56f569a2024a4e13db165308947c8a6aa87859c (patch) | |
| tree | 9bcf1dc1beadb0fa5620491e41a00db02f120e3a /src/scripts | |
| parent | 25710f5375edb1af47699d128c04b4de0f2d0547 (diff) | |
Headers can be marked as external by using `<header:external>` in info.txt.
These headers are copied/linked into build_dir/include/external
This has the advantage that external includes can be taken as they are, they haven't to be modified.
Fixes amalgamation build with enabled pkcs#11 module
Diffstat (limited to 'src/scripts')
| -rwxr-xr-x | src/scripts/install.py | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/src/scripts/install.py b/src/scripts/install.py index 1d4d27b76..d87e69b49 100755 --- a/src/scripts/install.py +++ b/src/scripts/install.py @@ -147,6 +147,12 @@ def main(args = None): copy_file(os.path.join(build_include_dir, include), os.path.join(target_include_dir, include)) + build_external_include_dir = os.path.join(options.build_dir, 'include', 'external') + + for include in sorted(os.listdir(build_external_include_dir)): + copy_file(os.path.join(build_external_include_dir, include), + os.path.join(target_include_dir, include)) + static_lib = process_template('%{lib_prefix}%{libname}.%{static_suffix}') copy_file(os.path.join(out_dir, static_lib), os.path.join(lib_dir, os.path.basename(static_lib))) |