[gcc] Explicitly disable libs when they are not required (#20532)

This is to make sure that the build system doesn't pick up a library that
would happen to be available.

Co-authored-by: Baptiste Jonglez <git@bitsofnetworks.org>
This commit is contained in:
zorun 2020-12-24 19:39:46 +01:00 committed by GitHub
parent 6947951aaf
commit 4ef33a4cd7
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23

View File

@ -490,6 +490,7 @@ def configure_args(self):
# More info at: https://gcc.gnu.org/install/configure.html
for dep_str in ('mpfr', 'gmp', 'mpc', 'isl'):
if dep_str not in spec:
options.append('--without-{0}'.format(dep_str))
continue
dep_spec = spec[dep_str]