diff options
author | Jack Lloyd <[email protected]> | 2021-05-19 20:28:58 -0400 |
---|---|---|
committer | Jack Lloyd <[email protected]> | 2021-05-19 20:28:58 -0400 |
commit | f27d387bee4fdcac665665047493d2fedd828157 (patch) | |
tree | a19219fb95ef11e54ac2501c70857065a1ffde2d /configure.py | |
parent | 49c7047f976d8c3c9ec92dce09828faf049dd78e (diff) |
Remove OpenMP support
Diffstat (limited to 'configure.py')
-rwxr-xr-x | configure.py | 9 |
1 files changed, 0 insertions, 9 deletions
diff --git a/configure.py b/configure.py index 5ec5af536..bf087e00b 100755 --- a/configure.py +++ b/configure.py @@ -443,9 +443,6 @@ def process_command_line(args): # pylint: disable=too-many-locals,too-many-state build_group.add_option('--with-sysroot-dir', metavar='DIR', default='', help='use DIR for system root while cross-compiling') - build_group.add_option('--with-openmp', default=False, action='store_true', - help='enable use of OpenMP') - link_methods = ['symlink', 'hardlink', 'copy'] build_group.add_option('--link-method', default=None, metavar='METHOD', choices=link_methods, @@ -1372,11 +1369,6 @@ class CompilerInfo(InfoObject): # pylint: disable=too-many-instance-attributes self.sanitizer_types = san - if options.with_openmp: - if 'openmp' not in self.mach_abi_linking: - raise UserError('No support for OpenMP for %s' % (self.basename)) - abi_link.add(self.mach_abi_linking['openmp']) - abi_flags = ' '.join(sorted(abi_link)) if options.cc_abi_flags != '': @@ -2203,7 +2195,6 @@ def create_template_vars(source_paths, build_paths, options, modules, cc, arch, 'fuzzer_type': options.build_fuzzers.upper() if options.build_fuzzers else '', 'with_valgrind': options.with_valgrind, - 'with_openmp': options.with_openmp, 'with_debug_asserts': options.with_debug_asserts, 'test_mode': options.test_mode, 'optimize_for_size': options.optimize_for_size, |