From 4ef33a4cd77311ab0b0b6864d63515c24373fb78 Mon Sep 17 00:00:00 2001 From: zorun Date: Thu, 24 Dec 2020 19:39:46 +0100 Subject: [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(+) (limited to 'var') diff --git a/var/spack/repos/builtin/packages/gcc/package.py b/var/spack/repos/builtin/packages/gcc/package.py index 12c6569577..7be4757bf9 100644 --- a/var/spack/repos/builtin/packages/gcc/package.py +++ b/var/spack/repos/builtin/packages/gcc/package.py @@ -490,6 +490,7 @@ class Gcc(AutotoolsPackage, GNUMirrorPackage): # 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] -- cgit v1.2.3-70-g09d2