diff options
author | Simon Warta <[email protected]> | 2015-07-09 10:31:02 +0200 |
---|---|---|
committer | Simon Warta <[email protected]> | 2015-07-15 13:51:20 +0200 |
commit | 87ba413dc3c3cc648bba99d42307fac749edbdcc (patch) | |
tree | d52e8667e475d872b2ce155e6d7f01993af94c9a /configure.py | |
parent | 356ec5a86978143991db5b667ccc5ea815a73d00 (diff) |
Make internal headers available for tests (amalgamation)
Diffstat (limited to 'configure.py')
-rwxr-xr-x | configure.py | 7 |
1 files changed, 3 insertions, 4 deletions
diff --git a/configure.py b/configure.py index 00590c985..3008fb85f 100755 --- a/configure.py +++ b/configure.py @@ -126,10 +126,8 @@ class BuildConfigurationInformation(object): if options.via_amalgamation: self.build_sources = ['botan_all.cpp'] - self.build_internal_headers = [] else: self.build_sources = self.sources - self.build_internal_headers = self.internal_headers self.public_headers = sorted(flatten([m.public_headers() for m in modules])) @@ -1971,9 +1969,10 @@ def main(argv = None): if e.errno != errno.EEXIST: raise Exception('Error linking %s into %s: %s' % (header_file, dir, e)) - link_headers(build_config.public_headers, 'public', build_config.botan_include_dir) + link_headers(build_config.public_headers, 'public', + build_config.botan_include_dir) - link_headers(build_config.build_internal_headers, 'internal', + link_headers(build_config.internal_headers, 'internal', build_config.internal_include_dir) with open(os.path.join(build_config.build_dir, 'build_config.py'), 'w') as f: |