diff options
| -rw-r--r-- | gnu/packages/maths.scm | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/gnu/packages/maths.scm b/gnu/packages/maths.scm index 15382e7da70..a49c4381606 100644 --- a/gnu/packages/maths.scm +++ b/gnu/packages/maths.scm @@ -9931,6 +9931,8 @@ Boolector.") "0hyw9q42ir92vcaa7bwv6f631n85rfsxp463rnmklniq1wf6dyn9")))) (build-system gnu-build-system) (arguments (list #:configure-flags #~(list "--enable-shared"))) + (native-inputs + (list gcc-13)) ;XXX: 1 test fails with gcc@14. ;; The original home-page was lost to time, so we reference the "unofficial" ;; Github mirror. For what it's worth, the author of the library appears to ;; have been involved with this mirror at some point in time. |