gnu: cvc5: Restore compatibility with packaged symfpu.

* gnu/packages/patches/cvc5-symfpu-1.2.0.patch: New patch.
* gnu/local.mk dist_patch_DATA) Register it.
* gnu/packages/maths.scm (cvc5)[patches]: Use it.

Change-Id: I8571adf12a3c5d4b7a77b1ff60cb467841d749be

1 files changed, 3 insertions, 1 deletions

diff --git a/gnu/packages/maths.scm b/gnu/packages/maths.scm
index 36f63758c74..45c2b76d14a 100644
--- a/gnu/packages/maths.scm
+++ b/gnu/packages/maths.scm
@@ -467,7 +467,9 @@ programming languages.")
              (commit (string-append "cvc5-" version))))
        (file-name (git-file-name name version))
        (sha256
-        (base32 "1xix197pyd45jakk10apam3bhl38nk14zjk0fzr9rj4knh10x5rx"))))
+        (base32 "1xix197pyd45jakk10apam3bhl38nk14zjk0fzr9rj4knh10x5rx"))
+       (patches
+         (search-patches "cvc5-symfpu-1.2.0.patch"))))
     (build-system cmake-build-system)
     (arguments
      (list