diff options
author | Ricardo Wurmus <rekado@elephly.net> | 2024-02-11 21:42:37 +0100 |
---|---|---|
committer | Ricardo Wurmus <rekado@elephly.net> | 2024-02-11 21:44:38 +0100 |
commit | 4bab3a26021aefd1d2b70af742d3beee2bee6e9b (patch) | |
tree | eb783cb86be0eab165a13f3dc200d00370987664 | |
parent | 16d2be641424815a1779119bb64bc6ba1be1161b (diff) |
gnu: google-highway: Fix tests on i686-linux.
The tests are supposed to be skipped when there are problems with excess
precision.
* gnu/packages/cpp.scm (google-highway)[arguments]: Modify phases when
building for i686-linux to conditionally patch the tests.
Change-Id: I6381a8c9f65196fd1d7d4e4130d784863b634df5
-rw-r--r-- | gnu/packages/cpp.scm | 14 |
1 files changed, 12 insertions, 2 deletions
diff --git a/gnu/packages/cpp.scm b/gnu/packages/cpp.scm index 62a1923571..96423a311f 100644 --- a/gnu/packages/cpp.scm +++ b/gnu/packages/cpp.scm @@ -8,7 +8,7 @@ ;;; Copyright © 2019 Jan Wielkiewicz <tona_kosmicznego_smiecia@interia.pl> ;;; Copyright © 2020, 2021 Nicolò Balzarotti <nicolo@nixo.xyz> ;;; Copyright © 2020 Roel Janssen <roel@gnu.org> -;;; Copyright © 2020, 2021, 2023 Ricardo Wurmus <rekado@elephly.net> +;;; Copyright © 2020, 2021, 2023, 2024 Ricardo Wurmus <rekado@elephly.net> ;;; Copyright © 2020 Brice Waegeneire <brice@waegenei.re> ;;; Copyright © 2020, 2021, 2022 Vinicius Monego <monego@posteo.net> ;;; Copyright © 2020, 2022 Marius Bakke <marius@gnu.org> @@ -513,7 +513,17 @@ operating on batches.") (build-system cmake-build-system) (arguments `(#:configure-flags (list "-DHWY_SYSTEM_GTEST=on" - "-DBUILD_SHARED_LIBS=ON"))) + "-DBUILD_SHARED_LIBS=ON") + ,@(if (string-prefix? "i686-linux" (or (%current-system) + (%current-target-system))) + '(#:phases + (modify-phases %standard-phases + (add-after 'unpack 'really-skip-precision-tests + (lambda _ + (substitute* "hwy/contrib/math/math_test.cc" + (("Skipping math_test due to GCC issue with excess precision.*" m) + (string-append m "return;\n"))))))) + '()))) (native-inputs (list googletest)) (home-page "https://github.com/google/highway") |