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
1 files changed, 2 insertions(+), 0 deletions(-) M gnu/packages/maths.scm
M gnu/packages/maths.scm => gnu/packages/maths.scm +2 -0
@@ 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.