summaryrefslogtreecommitdiff
path: root/gnu/packages/maths.scm
diff options
context:
space:
mode:
Diffstat (limited to 'gnu/packages/maths.scm')
-rw-r--r--gnu/packages/maths.scm9
1 files changed, 3 insertions, 6 deletions
diff --git a/gnu/packages/maths.scm b/gnu/packages/maths.scm
index ca4713dfa7e..c231af8fd47 100644
--- a/gnu/packages/maths.scm
+++ b/gnu/packages/maths.scm
@@ -3777,7 +3777,6 @@ supports the propositional fragment of PDDL2.2.")
3777 (guix build cmake-build-system) 3777 (guix build cmake-build-system)
3778 (guix build utils)) 3778 (guix build utils))
3779 #:phases 3779 #:phases
3780 (with-extensions (list (pyproject-guile-json))
3781 #~(modify-phases %standard-phases 3780 #~(modify-phases %standard-phases
3782 (add-after 'unpack 'patch-paths 3781 (add-after 'unpack 'patch-paths
3783 (lambda* (#:key inputs outputs #:allow-other-keys) 3782 (lambda* (#:key inputs outputs #:allow-other-keys)
@@ -3795,7 +3794,7 @@ supports the propositional fragment of PDDL2.2.")
3795 "/lib/libgmsh.so"))) 3794 "/lib/libgmsh.so")))
3796 (substitute* "api/gmsh.py" 3795 (substitute* "api/gmsh.py"
3797 (("find_library\\(\"gmsh\"\\)") 3796 (("find_library\\(\"gmsh\"\\)")
3798 (simple-format #f "\"~a\"" libgmsh)))))))))) 3797 (simple-format #f "\"~a\"" libgmsh)))))))))
3799 (inputs 3798 (inputs
3800 (list fltk 3799 (list fltk
3801 fontconfig 3800 fontconfig
@@ -8670,7 +8669,6 @@ arrays, uninterpreted functions and their combinations.")
8670 #$(version-major+minor (package-version python-wrapper)) 8669 #$(version-major+minor (package-version python-wrapper))
8671 "/site-packages")) 8670 "/site-packages"))
8672 #:phases 8671 #:phases
8673 (with-extensions (list (pyproject-guile-json))
8674 #~(modify-phases %standard-phases 8672 #~(modify-phases %standard-phases
8675 (replace 'check 8673 (replace 'check
8676 (lambda* (#:key parallel-build? tests? #:allow-other-keys) 8674 (lambda* (#:key parallel-build? tests? #:allow-other-keys)
@@ -8690,7 +8688,7 @@ arrays, uninterpreted functions and their combinations.")
8690 "/z3/lib/libz3.so")) 8688 "/z3/lib/libz3.so"))
8691 (z3-lib (string-append #$output "/lib/libz3.so"))) 8689 (z3-lib (string-append #$output "/lib/libz3.so")))
8692 (mkdir-p (dirname dest)) 8690 (mkdir-p (dirname dest))
8693 (symlink z3-lib dest)))))))) 8691 (symlink z3-lib dest)))))))
8694 (native-inputs 8692 (native-inputs
8695 (list which python-wrapper)) 8693 (list which python-wrapper))
8696 (synopsis "Theorem prover") 8694 (synopsis "Theorem prover")
@@ -10815,7 +10813,6 @@ when an application performs repeated divisions by the same divisor.")
10815 (guix build cmake-build-system) 10813 (guix build cmake-build-system)
10816 (guix build utils)) 10814 (guix build utils))
10817 #:phases 10815 #:phases
10818 (with-extensions (list (pyproject-guile-json))
10819 #~(modify-phases %standard-phases 10816 #~(modify-phases %standard-phases
10820 (add-after 'install 'move-python-files 10817 (add-after 'install 'move-python-files
10821 (lambda* (#:key inputs outputs #:allow-other-keys) 10818 (lambda* (#:key inputs outputs #:allow-other-keys)
@@ -10829,7 +10826,7 @@ when an application performs repeated divisions by the same divisor.")
10829 (rename-file file 10826 (rename-file file
10830 (string-append target "/" 10827 (string-append target "/"
10831 (basename file)))) 10828 (basename file))))
10832 (find-files include "\\.py$"))))))))) 10829 (find-files include "\\.py$"))))))))
10833 (native-inputs (list python-wrapper)) 10830 (native-inputs (list python-wrapper))
10834 (inputs (list psimd googletest-1.8 googlebenchmark)) 10831 (inputs (list psimd googletest-1.8 googlebenchmark))
10835 (synopsis "C++ library for half-precision floating point formats") 10832 (synopsis "C++ library for half-precision floating point formats")