me/guix
Archived
1
0
Fork 0
Code Activity
83796 commits 1 branch 0 tags 410 MiB
Commit graph

922 commits

Author SHA1 Message Date
Julien Lepiller
6516e88fe3
gnu: frama-c: Update to 23.1. 
* gnu/packages/maths.scm (frama-c): Update to 23.1.
 2021-10-08 04:34:00 +02:00
Julien Lepiller
26dd2321fe
gnu: why3: Update to 1.4.0. 
* gnu/packages/maths.scm (why3): Update to 1.4.0.
 2021-10-08 04:33:58 +02:00
Ludovic Courtès
16e3f8d90a
gnu: mcrl2: Update hash of modified-in-place tarball. 
Fixes <https://issues.guix.gnu.org/51074>.

* gnu/packages/maths.scm (mcrl2)[source]: Update hash.
 2021-10-07 12:52:44 +02:00
Liliana Marie Prikler
95c88e381b
gnu: Add minizinc. 
* gnu/packages/maths.scm (minizinc): New variable.
 2021-09-25 14:18:02 +02:00
Liliana Marie Prikler
93cef6e768
gnu: Add gecode. 
* gnu/packages/maths.scm (gecode): New variable.
 2021-09-25 14:18:02 +02:00
Ludovic Courtès
3cdb16cb50
gnu: fp16: Install Python files in the site directory. 
* gnu/packages/maths.scm (fp16)[arguments]: New field.
 2021-09-24 13:48:49 +02:00
Nicolas Goaziou
e02984ac4e
gnu: nauty: Update to 2.7r3. 
* gnu/packages/maths.scm (nauty): Update to 2.7r3.
 2021-09-11 23:15:02 +02:00
Tobias Geerinckx-Rice
0eea6168c1
gnu: vc: Update to 1.4.2. 
* gnu/packages/maths.scm (vc): Update to 1.4.2.
 2021-09-04 22:09:01 +02:00
Nicolas Goaziou
1943f17f90
gnu: nauty: Update to 2.7r2. 
* gnu/packages/maths.scm (nauty): Update to 2.7r2.
 2021-09-04 08:03:55 +02:00
Paul A. Patience
06c11434c9
gnu: dealii-openmpi: Add Trilinos dependency. 
* gnu/packages/maths.scm (trilinos-for-dealii-openmpi): New variable.
(dealii-openmpi)[propagated-inputs]: Add trilinos-for-dealii-openmpi.

Signed-off-by: Ludovic Courtès <ludo@gnu.org>
 2021-08-10 17:32:18 +02:00
Paul Garlick
64d4bc089e
gnu: Add optizelle. 
* gnu/packages/maths.scm (optizelle): New variable.
 2021-08-05 09:29:59 +01:00
Guix Together
d3ede451cf
gnu: Add bitwise. 
* gnu/packages/maths.scm (bitwise): New variable.

Co-authored-by: jgart <jgart@dismail.de>
Co-authored-by: Julien Lepiller <julien@lepiller.eu>
Co-authored-by: Ryan Prior <rprior@protonmail.com>
Signed-off-by: Efraim Flashner <efraim@flashner.co.il>
 2021-08-04 10:56:07 +03:00
Ludovic Courtès
1daa662722
gnu: Add FP16. 
* gnu/packages/patches/fp16-system-libraries.patch: New file.
* gnu/local.mk (dist_patch_DATA): Add it.
* gnu/packages/maths.scm (fp16): New variable.
 2021-07-29 21:54:55 +02:00
Ludovic Courtès
a9bc8a25eb
gnu: Add FXDiv. 
* gnu/packages/maths.scm (fxdiv): New variable.
* gnu/packages/patches/fxdiv-system-libraries.patch: New file.
* gnu/local.mk (dist_patch_DATA): Add it.
 2021-07-29 21:54:54 +02:00
Jean-Baptiste Volatier
1978d716a9
gnu: openlibm: Fix cross-compiling. 
* gnu/packages/maths.scm (openlibm)[arguments]: Add configure-flag to
use cc-for-target.

Signed-off-by: Efraim Flashner <efraim@flashner.co.il>
 2021-07-28 16:05:31 +03:00
Jean-Baptiste Volatier
4709b74bc8
gnu: openlibm: Update to 0.7.4. 
* gnu/packages/maths.scm (openlibm): Update to 0.7.4.

Signed-off-by: Efraim Flashner <efraim@flashner.co.il>
 2021-07-28 16:05:31 +03:00
Tobias Geerinckx-Rice
781a2befee
gnu: gsegrafix: Update to 1.0.7.2. 
This keeps this ancient package on life support for now.

* gnu/packages/maths.scm (gsegrafix): Update to 1.0.7.2.
[source]: Download from gsegrafix-experimental's Savannah.
[arguments]: Drop obsolete LDFLAGS.  Disable static library build.
[inputs]: Remove libgnomecanvas, libbonoboui, libgnomeui,
libgnomeprintui, and popt.  Add glib and gtk+.
 2021-07-26 09:47:22 +02:00
Paul A. Patience
4a136a3b7f
gnu: dealii: Update to 9.3.1 and clean up. 
The cleanup notably:

* Builds and installs the documentation into a separate doc output (in
the process moving around some files erroneously installed into the root
directory); and
* Removes unnecessary inputs and moves some inputs into
propagated-inputs (the candidates of which were determined with a search
for "include.*LIBNAME" in include/deal.II).

* gnu/packages/maths.scm (dealii): Reword comments.
[version]: Update to 9.3.1.
[outputs]: New field including doc output.
[native-inputs]: New field.
[inputs]: Sort them. Remove p4est (deal.II interfaces with it only when
MPI is enabled). Move boost, suitesparse and tbb to...
[propagated-inputs]: ...here. New field including hdf5, which is
actually supported in deal.II without MPI.
[arguments]<#:tests?>: New argument. The tests were not being run before
anyway.
<#:configure-flags>[-DDEAL_II_COMPONENT_DOCUMENTATION]: New flag.
[-DDEAL_II_DOCREADME_RELDIR]: New flag. Prevents the LICENSE.md,
README.md, detailed.log and summary.log files from being installed in
the root directory (though note that the logs are removed in the new
remove-build-logs phase).
[-DDEAL_II_DOCHTML_RELDIR]: New flag.
[-DDEAL_II_COMPILE_EXAMPLES]: New flag.
[-DDEAL_II_EXAMPLES_RELDIR]: New flag. Prevents the examples directory
from being installed in the root directory.
[-DCMAKE_POSITION_INDEPENDENT_CODE]: Remove flag. The issue has been
resolved.
<#:phases>{remove-build-logs}: New phase.
[home-page]: Add trailing slash.
(dealii-openmpi): Use package/inherit.
[inputs]: Sort them. Remove mumps-metis-openmpi (deal.II no longer
interfaces with MUMPS). Move hdf5-parallel-openmpi, openmpi,
p4est-openmpi, petsc-openmpi and slepc-openmpi to...
[propagated-inputs]: ...here. New field.
[arguments]<#:configure-flags>: Rename cf variable to flags.
<#:phases>{mpi-setup}: Remove phase which is unused because the tests
are disabled.

Signed-off-by: Ludovic Courtès <ludo@gnu.org>
 2021-07-20 22:36:51 +02:00
Paul A. Patience
6bd1d4a18b
gnu: Add nomad-optimizer. 
* gnu/packages/maths.scm (nomad-optimizer): New variable.

Signed-off-by: Ludovic Courtès <ludo@gnu.org>
 2021-07-19 19:57:52 +02:00
Ivan Gankevich
68ce40cad7
gnu: Add blitz. 
* gnu/packages/maths.scm (blitz): New variable.

Signed-off-by: Arun Isaac <arunisaac@systemreboot.net>
 2021-07-16 10:02:08 +05:30
Efraim Flashner
7a27129c82
gnu: gmsh: Sort inputs alphabetically. 
* gnu/packages/maths.scm (gmsh)[propagated-inputs]: Sort alphabetically.
 2021-07-13 15:44:02 +03:00
Efraim Flashner
c5cfa23b9c
gnu: gmsh: Simply downloading source logic. 
* gnu/packages/maths.scm (gmsh)[source]: Use string-replace-substring.
 2021-07-13 15:34:26 +03:00
Paul A. Patience
cb78595fe3
gnu: gmsh: Update to 4.8.4. 
* gnu/packages/maths.scm (gmsh): Update to 4.8.4.

Signed-off-by: Efraim Flashner <efraim@flashner.co.il>
 2021-07-13 15:20:23 +03:00
Paul Garlick
b9fd7f9d5b
gnu: gmsh: Install Python API in standard directory. 
* gnu/packages/maths.scm (gmsh)[imported-modules]: New argument.
[modules]: New argument.
[phases]: New argument.
[inputs]: Add python.
 2021-07-12 16:19:46 +01:00
Jan (janneke) Nieuwenhuizen
9bd65f0583
gnu: mcrl2: Update to 202106.0. 
* gnu/packages/maths.scm (mcrl2): Update to 202106.0.
 2021-07-08 09:51:12 +02:00
Efraim Flashner
4b4d4d7bae
gnu: openblas: Fix building on powerpc64le-linux. 
* gnu/packages/maths.scm (openblas)[arguments]: Add make-flags to enable
building for powerpc64le-linux.
 2021-07-07 09:10:44 +03:00
Efraim Flashner
67ce43c0d3
gnu: openblas: Fix building on armhf-linux. 
* gnu/packages/maths.scm (openblas)[arguments]: Add make-flag to set
target architecture.
 2021-07-07 09:10:44 +03:00
Tobias Geerinckx-Rice
b9aab8e89c
gnu: atlas: Extend build time-out. 
* gnu/packages/maths.scm (atlas)[properties]: Quadruple the timeout.
 2021-07-02 20:51:43 +02:00
Tobias Geerinckx-Rice
25631d6fef
gnu: gnuplot: Update to 5.4.2. 
* gnu/packages/maths.scm (gnuplot): Update to 5.4.2.
 2021-07-02 16:56:12 +02:00
Ludovic Courtès
94bae22204
gnu: scotch: Update to 6.1.1. 
* gnu/packages/maths.scm (scotch): Update to 6.1.1.
[native-inputs]: Add GFORTRAN.
[arguments]: Set 'FC' in 'Makefile.in'.
(scotch32)[arguments]: Likewise.
(scotch-shared)[arguments]: Likewise.
 2021-06-29 12:37:31 +02:00
Ludovic Courtès
a09d69f68f
gnu: scotch: Add 'release-monitoring-url' property. 
* gnu/packages/maths.scm (scotch)[properties]: New field.
 2021-06-29 00:00:13 +02:00
Ludovic Courtès
9931d2779f
gnu: suitesparse: Update to 5.10.1. 
* gnu/packages/maths.scm (suitesparse): Update to 5.10.1.
 2021-06-25 15:12:05 +02:00
Ludovic Courtès
285f9d5e95
gnu: suitesparse: Link against OpenBLAS rather than LAPACK. 
* gnu/packages/maths.scm (suitesparse)[inputs]: Replace LAPACK with
OPENBLAS.
[arguments]: Add "BLAS"and "LAPACK" to #:make-flags.
 2021-06-25 15:12:05 +02:00
Kei Kebreau
6dafd60b33
gnu: maxima: Update to 5.45.1. 
* gnu/packages/maths.scm (maxima): Update to 5.45.1.
[home-page]: Follow redirect.
 2021-06-24 14:41:44 -04:00
Ludovic Courtès
c7a5c3e0bb
gnu: petsc: Link against OpenBLAS rather than LAPACK. 
OpenBLAS performs better than LAPACK, the reference implementation.
This is also consistent with the choice of BLAS/LAPACK implementations
made in most other packages.

* gnu/packages/maths.scm (petsc)[inputs]: Replace LAPACK by OPENBLAS.
[arguments]: Pass "--with-openblas=1".
 2021-06-22 17:55:05 +02:00
Julien Lepiller
6e6769dde0
gnu: why3: Update to 1.3.3. 
* gnu/packages/maths.scm (why3): Update to 1.3.3.
[arguments]: Adjust for newer ocaml-num.
 2021-06-20 13:13:56 +02:00
Kei Kebreau
e84a710b57
gnu: wxmaxima: Update to 21.05.2. 
* gnu/packages/maths.scm (wxmaxima): Update to 21.05.2.
 2021-06-14 13:02:50 -04:00
Kei Kebreau
a029cb5e5c
gnu: maxima: Update to 5.45.0. 
* gnu/packages/maths.scm (maxima): Update to 5.45.0.
 2021-06-14 13:02:50 -04:00
Maxim Cournoyer
ea0a51071e
gnu: Rename qtbase to qtbase-5. 
This change was automated via the following command:

$ git ls-files | xargs sed -i 's/,qtbase)/,qtbase-5)/g'
$ git ls-files | xargs sed -i 's/inherit qtbase)/inherit qtbase-5)/g'
$ git ls-files | xargs sed -i 's/package-version qtbase)/package-version qtbase-5)/g'
$ git checkout etc    # to clear some spurious changes

This is done so the qtbase package can be upgraded to version 6 in the
following commit.
 2021-06-14 00:24:42 -04:00
Jack Hill
b736334732
gnu: qalculate-gtk: Update to 3.19.0. 
* gnu/packages/maths.scm (qalculate-gtk): Update to 3.19.0.
[phases]: Remove 'add-pot-file.

Signed-off-by: Nicolas Goaziou <mail@nicolasgoaziou.fr>
 2021-06-12 22:58:10 +02:00
Jack Hill
ea1778ebd4
gnu: libqalculate: Update to 3.19.0. 
* gnu/packages/maths (libqalculate): Update to 3.19.0.

Signed-off-by: Nicolas Goaziou <mail@nicolasgoaziou.fr>
 2021-06-12 22:57:54 +02:00
Julien Lepiller
b94bc3ea30
gnu: Add frama-c. 
* gnu/packages/maths.scm (frama-c): New variable.
 2021-06-02 03:10:12 +02:00
Julien Lepiller
c9b3627d56
gnu: Add why3. 
* gnu/packages/maths.scm (why3): New variable.
 2021-06-02 03:10:04 +02:00
Eric Brown
30713c2c2a
gnu: ipopt: Update to 3.13.4 
* gnu/packages/maths.scm (ipopt): Update to 3.13.4, update URL.
[license]: Change to LICENSE:EPL2.0.

Co-authored-by: Ludovic Courtès <ludo@gnu.org>
 2021-05-28 23:04:43 +02:00
Eric Brown
f5871b19cc
gnu: Add cbc. 
* gnu/packages/maths.scm (cbc): New variable.

Co-authored-by: Ludovic Courtès <ludo@gnu.org>
 2021-05-28 23:04:43 +02:00
Efraim Flashner
0ffac75ece
gnu: qhull: Build position independent. 
* gnu/packages/maths.scm (qhull)[arguments]: Add configure-flag to build
code position independent.
 2021-05-25 17:24:58 +03:00
Efraim Flashner
c942e17c29
gnu: qhull: Link binaries to shared library. 
This drops the package size by nearly 60%.

* gnu/packages/maths.scm (qhull)[arguments]: Add configure-flag to link
binaries to shared library.
 2021-05-25 15:50:57 +03:00
Marius Bakke
9b4f9039e8
gnu: HYPRE: Update source and home page URLs. 
* gnu/packages/maths.scm (hypre)[source]: Change to new repository home.
[home-page]: Follow redirect.
 2021-05-24 22:02:40 +02:00
Marius Bakke
dbcf2b61b1
gnu: Fix erroneous uses of 'package/inherit'. 
These packages use a different source/version from the inherited package, and
thus should not inherit replacements.

* gnu/packages/check.scm (googletest-1.8, python-pytest-runner-2): Use record
inheritance instead of PACKAGE/INHERIT.
* gnu/packages/crates-io.scm (rust-bindgen-0.49, rust-bytes-0.4,
rust-colored-1.9.1, rust-difference-1, rust-docopt-0.8, rust-html5ever-0.23,
rust-http-0.1, rust-http-body-0.1, rust-loom-0.2, rust-loom-0.1,
rust-pulldown-cmark-0.0.8, rust-ring-0.13, rust-rustls-0.12, rust-sct-0.3,
rust-term-0.2, rust-untrusted-0.6, rust-webpki-0.18, rust-webpki-roots-0.17,
rust-webpki-roots-0.14): Likewise.
* gnu/packages/emacs.scm (emacs-next, emacs-next-pgtk, guile-emacs): Likewise.
* gnu/packages/guile.scm (guile-2.2.4): Likewise.
* gnu/packages/maths.scm (hdf5-1.10, hdf5-1.12): Likewise.
* gnu/packages/protobuf.scm (protobuf-3.6, protobuf-3.5, python-protobuf-3.6):
Likewise.
* gnu/packages/python-web.scm (python2-html2text): Likewise.
* gnu/packages/python-xyz.scm (python-pygments/fixed, python2-numpy,
python2-urwid, python2-markdown, python2-fonttools): Likewise.
* gnu/packages/racket.scm (racket): Likewise.
* gnu/packages/sequoia.scm (sequoia4pEp): Likewise.
 2021-05-23 17:49:56 +02:00
Paul A. Patience
d2e531fa43
gnu: Add numdiff. 
* gnu/packages/maths.scm (numdiff): New variable.
 2021-05-21 12:34:33 +02:00