diff options
author | Simon Warta <[email protected]> | 2015-07-13 15:29:56 +0200 |
---|---|---|
committer | Simon Warta <[email protected]> | 2015-07-13 15:30:51 +0200 |
commit | b71615cca8b928a521cea4a971db86e6d92c68e1 (patch) | |
tree | cfd8144e81bd7252ec1368596c1bdfdcafba7b5d /configure.py | |
parent | e6aa0c7a5acbb65a4a4069600cafb7f9ff3c0578 (diff) |
Force amalgamation in static build
Closes #128.
Diffstat (limited to 'configure.py')
-rwxr-xr-x | configure.py | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/configure.py b/configure.py index 44871e381..00590c985 100755 --- a/configure.py +++ b/configure.py @@ -1897,6 +1897,10 @@ def main(argv = None): logging.info('Disabling assembly code, cannot use in amalgamation') options.asm_ok = False + if not options.build_shared_lib and not options.gen_amalgamation: + raise Exception('Static build is only supported using amalgamation. ' + 'Add --via-amalgamation.') + loaded_mods = choose_modules_to_use(modules, arch, cc, options) for m in loaded_mods: |