* gnu/packages/maths.scm (hdf4)[arguments]: Rename custom phase
'add-more-aarch64-support to 'add-more-architecture-support and add
support for riscv64-linux.
* gnu/packages/patches/hdf4-architectures.patch: Refresh from upstream.
* gnu/packages/maths.scm (openblas)[arguments]: In the make-flags use
the target-* macros. Adjust the wording describing why the different
architectures have the flags they do.
* gnu/packages/maths.scm (openblas)[arguments]: Adjust the substitutable?
flag to only not provide substitutes when building for powerpc-linux.
Adjust the comment accordingly.
* gnu/packages/patches/boolector-find-googletest: New file.
* gnu/local.mk (dist_patch_DATA): Register it here.
* gnu/packages/maths.scm (boolector): New variable.
* gnu/packages/maths.scm (python-clingo)[arguments]: Add 'imported-modules'
and 'modules' in order to access to 'python:site-packages'.
[version]: Explicitly reuse from the package 'clingo'.
This package is unmaintained by upstream, has no dependents and was
replaced by opencascade-occt.
* gnu/packages/maths.scm (opencascade-oce): Remove variable.
* gnu/packages/patches/opencascade-oce-glibc-2.26.patch: Remove file.
* gnu/local.mk: Unregister it.
Signed-off-by: Ludovic Courtès <ludo@gnu.org>
* gnu/packages/maths.scm (veusz)[inputs]: Change from PYTHON-PYQT to
PYTHON-PYQT-WITHOUT-QTWEBKIT.
[arguments]: Use SEARCH-INPUT-DIRECTORY instead of label.
* gnu/packages/patches/python-telingo-fix-comparison.patch: New file.
* gnu/local.mk (dist_patch_DATA): Register it.
* gnu/packages/maths.scm (python-telingo): New variable.
* gnu/packages/julia.scm (julia): Update to 1.8.3.
[source]: Remove one patch.
[arguments]: Adjust 'prepare-deps phase to changes in inputs. Remove
custom 'use-system-libwhich, 'change-number-of-precompiled-statements,
'symlink-libraries phases. In 'fix-include-and-link-paths phase remove
substitution for utf8proc linking and adjust libuv linking. Fix
reference to shell in 'replace-default-shell phase. Adjust the
'shared-objects-path phase to changes in the source. Change the
'enable-parallel-tests phase for upstream changes. Adjust the
'adjust-test-suite phase to be more robust. Change the
'disable-broken-tests phase to help the test suite pass. Rename
'symlink-llvm-utf8proc phase to 'symlink-missing-libraries and add two
more. Adjust make-flags for changes in shared system libraries. Reorder
make-flags to changes in the source. Except for aarch64, use the
defaults for choosing to use 64-bit blas.
[inputs]: Add libblastrampoline. Replace libgit-1.1 with libgit-1.3,
utf8proc-2.7.1 with utf8proc-2.8.0.
[native-inputs]: Replace python-2 with python.
(libunwind-julia): Update to 1.5.0.
[source]: Update patches.
* gnu/packages/libevent.scm (libuv-julia): Update to 2.0.0-4.e6f0e49.
[arguments]: Also build static library, build position-independent-code.
* gnu/packages/llvm.scm (llvm-julia): Update to llvm-13, following
upstream's build instructions.
* gnu/packages/maths.scm (openlibm): Update to 0.8.1.
* gnu/packages/textutils.scm (utf8proc-2.7.1): Update and rename to
utf8proc-2.8.0.
[native-inputs]: Update unicode to 14.0.0.
* gnu/packages/tls.scm (mbedtls-apache): Update to 2.28.0.
[source]: Remove snippet.
[arguments]: Remove trailing #t from phases.
* gnu/packages/patches/julia-allow-parallel-build.patch,
(julia-patch): Update version string to 1.8.2.
gnu/packages/patches/libunwind-julia-fix-GCC10-fno-common.patch: Remove
files.
* gnu/local.mk (dist_patch_DATA): Remove them.
Co-authored-by: Akira Kyle <akira@akirakyle.com>
* gnu/packages/ocaml.scm (lablgtk3): Update to 3.1.2.
[arguments]: Do not build extensions anymore (missing dependency)
* gnu/packages/games.scm (laby)[inputs]: Use
`ocaml-lablgtk3-sourceview3'.
* gnu/packages/maths.scm (frama-c)[inputs]: Use
`ocaml-lablgtk3-sourceview3'.
* gnu/packages/coq.scm (coq-ide)[inputs]: Use
`ocaml-lablgtk3-sourceview3'.
The Maxima command ‘describe’ allows to pick the relevant portions from
Maxima’s Texinfo docs. However it does not support reading gzipped info
files.
* gnu/packages/maths.scm (maxima)[arguments]<phases>: Delete
'compress-documentation phase.
Signed-off-by: 宋文武 <iyzsong@member.fsf.org>
* gnu/packages/maths.scm (cddlib): Update to 0.94m.
[source]: Move to git, following the upstream decision.
[native-inputs]: New field.
[arguments]: New field to have docdir include the version number.
Co-authored-by: Andreas Enge <andreas@enge.fr>