diff options
Diffstat (limited to 'gnu/packages/maths.scm')
| -rw-r--r-- | gnu/packages/maths.scm | 9 |
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") |
