diff options
| author | Sharlatan Hellseher <sharlatanus@gmail.com> | 2025-07-23 15:19:07 +0100 |
|---|---|---|
| committer | Sharlatan Hellseher <sharlatanus@gmail.com> | 2025-07-23 15:36:39 +0100 |
| commit | f88dd9da2ee5abb09c96bb214554b6467216d3ac (patch) | |
| tree | bc41185d2b6bc9f9d544866073107a4be386beb1 | |
| parent | 037fadc30569a0026bd818c7670bb3b31ffd0b14 (diff) | |
gnu: cudd: Use gcc@13, fix tests.
One test fails with gcc@14:
> cat /tmp/guix-build-cudd-3.0.0.drv-3/source/cudd/differences
2c2
< Plus infinity is 1e+302
---
> Plus infinity is inf
18c18
< h (dbl) : 1023 nodes 1 leaves unknown minterms
---
> h (dbl) : 1023 nodes 1 leaves 4.49423e+307 minterms
20c20
< one[2044] (dbl) : 1 nodes 1 leaves unknown minterms
---
> one[2044] (dbl) : 1 nodes 1 leaves inf minterms
* gnu/packages/maths.scm (cudd): [native-inputs]: Add gcc-13.
Change-Id: I7c24e1484260cda7973d998aa63023d969b6d3f7
| -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 15382e7da7..a49c438160 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. |