From 4ef33a4cd77311ab0b0b6864d63515c24373fb78 Mon Sep 17 00:00:00 2001 From: zorun Date: Thu, 24 Dec 2020 19:39:46 +0100 Subject: [PATCH] [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 --- var/spack/repos/builtin/packages/gcc/package.py | 1 + 1 file changed, 1 insertion(+) diff --git a/var/spack/repos/builtin/packages/gcc/package.py b/var/spack/repos/builtin/packages/gcc/package.py index 12c65695779..7be4757bf90 100644 --- a/var/spack/repos/builtin/packages/gcc/package.py +++ b/var/spack/repos/builtin/packages/gcc/package.py @@ -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]