tribes/guix
1
0
Fork 1
mirror of https://git.savannah.gnu.org/git/guix.git synced 2026-04-24 19:21:24 +02:00
Code Activity
56,629 Commits 75 Branches 40 Tags
207ba868a3b5494f5509bb592dfd5ca484bebbd5
Commit Graph

735 Commits

Author SHA1 Message Date
Tobias Geerinckx-Rice
5969598149 gnu: openblas: Use HTTPS home page. 
* gnu/packages/maths.scm (openblas)[home-page]: Use HTTPS.
 2020-03-07 12:48:18 +01:00
Kei Kebreau
1d3c6a31b5 gnu: wxmaxima: Update to 20.02.4. 
* gnu/packages/maths.scm (wxmaxima): Update to 20.02.4.
[arguments]: Enable tests and set #:test-target to "test".
[native-inputs]: Add xorg-server-for-tests.
 2020-03-06 15:04:34 -05:00
Felix Gruber
aac148a87b gnu: SuiteSparse: Update to 5.7.1. 
* gnu/packages/maths.scm (suitesparse): Update to 5.7.1.
[source]: The latest releases of SuiteSparse have only been published on GitHub.
Fetch from git tag as GitHub releases page only contains autogenerated tarballs
that guix lint complains about. Apply new patch for Mongoose's CMakeList.txt to
find SuiteSparse_config.
[arguments]: Add CMake flags used by new components GraphBLAS and Mongoose.
[native-inputs]: Add CMake and m4 needed to build GraphBLAS and Mongoose.
* gnu/packages/patches/suitesparse-mongoose-cmake.patch: New file.
* gnu/local.mk (dist_patch_DATA): Add it.

Signed-off-by: Leo Famulari <leo@famulari.name>
 2020-03-04 18:08:13 -05:00
Jakub Kądziołka
f6b4d395fd gnu: z3: Build the Python bindings 
* gnu/packages/maths.scm (z3)[arguments]: Add the --python and
  --pypkgdir flags to configure. To facilitate the latter, add
  (guix build python-build-system) to #:modules and #:imported-modules.
 2020-02-23 17:58:38 +01:00
Andreas Enge
b457f3cc16 gnu: Add vinci. 
* gnu/packages/maths.scm (vinci): New variable.
 2020-02-21 13:30:25 +01:00
Kei Kebreau
8a0dd289c5 gnu: octave, octave-cli: Update to 5.2.0. 
* gnu/packages/maths.scm (octave, octave-cli): Update to 5.2.0.
[inputs]: Add bdb.
 2020-02-10 14:43:06 -05:00
Eric Bavier
aa2e83cce2 gnu: superlu-dist: Update to 6.2.0. 
* gnu/packages/maths.scm (superlu-dist): Update to 6.2.0.
[source]: Update upstream url.  Remove mpi deprecations patch.
* gnu/packages/patches/superlu-dist-fix-mpi-deprecations.patch: Delete file.
* gnu/local.mk (dist_patch_DATA): Remove it.
 2020-01-31 09:17:16 -06:00
Eric Bavier
48fe5c36a2 gnu: superlu: Update upstream url. 
* gnu/packages/maths.scm (superlu)[source,home-page]: Update url.
 2020-01-31 09:13:57 -06:00
Kei Kebreau
48446f0f94 gnu: wxmaxima: Update to 20.01.3. 
* gnu/packages/maths.scm (wxmaxima): Update to 20.01.3.
[home-page]: Update URL.
 2020-01-23 14:22:41 -05:00
Tobias Geerinckx-Rice
1e05e837c7 gnu: elemental: Update home page. 
* gnu/packages/maths.scm (elemental)[home-page]: Use repository home
page.
 2020-01-19 17:57:09 +01:00
Tobias Geerinckx-Rice
2299d83e2f gnu: petsc: Use HTTPS home page. 
* gnu/packages/maths.scm (petsc)[home-page, license]: Use HTTPS.
 2020-01-19 06:09:02 +01:00
Tobias Geerinckx-Rice
0a44f9c4e4 gnu: Use HTTPS for www.hdfgroup.org. 
* gnu/packages/maths.scm (hdf5)[home-page, license]: Use HTTPS.
(hdf-java, h5check)[source]: Likewise.
 2020-01-17 23:32:34 +01:00
Tobias Geerinckx-Rice
821aa687b4 gnu: netcdf: Use HTTPS home page. 
* gnu/packages/maths.scm (netcdf)[home-page]: Use HTTPS.
 2020-01-17 23:32:34 +01:00
Tobias Geerinckx-Rice
d5730000e2 gnu: scotch: Use HTTPS home page. 
* gnu/packages/maths.scm (scotch)[home-page]: Use HTTPS.
 2020-01-17 23:32:34 +01:00
Amin Bandali
a3143063ae Update email address for Amin Bandali. 
* .mailmap: Add name and email addresses for Amin Bandali.
* gnu/local.mk, gnu/packages/emacs-xyz.scm, gnu/packages/emacs.scm,
gnu/packages/fpga.scm, gnu/packages/lean.scm, gnu/packages/maths.scm:
Update email address for Amin Bandali.

Signed-off-by: Tobias Geerinckx-Rice <me@tobias.gr>
 2020-01-17 18:30:33 +01:00
Paul Garlick
09bad3cd42 gnu: python-slepc4py: Update to 3.11.0. 
* gnu/packages/maths.scm (python-slepc4py): Update to 3.11.0.
 2020-01-14 17:24:11 +00:00
Paul Garlick
f1cc312e15 gnu: python-petsc4py: Update to 3.11.0. 
* gnu/packages/maths.scm (python-petsc4py): Update to 3.11.0.
 2020-01-14 17:23:50 +00:00
Tobias Geerinckx-Rice
cb169aae81 gnu: hdf5@1.10: Update to 1.10.6. 
* gnu/packages/maths.scm (hdf5-1.10): Update to 1.10.6.
 2020-01-10 23:47:28 +01:00
Konrad Hinsen
e6de152dc1 gnu: lapack: Update to 3.9.0. 
* gnu/packages/maths.scm (lapack): Update to 3.9.0.

Signed-off-by: Ludovic Courtès <ludo@gnu.org>
 2020-01-07 12:25:09 +01:00
Ludovic Courtès
94fea21b21 gnu: hdf5@1.10: Update to 1.10.5. 
* gnu/packages/maths.scm (hdf5-1.10): Update to 1.10.5.  Remove
"hdf5-mpi-deprecations.patch".
* gnu/packages/patches/hdf5-mpi-deprecations.patch: Remove.
* gnu/local.mk (dist_patch_DATA): Remove it.
 2019-12-13 18:04:04 +01:00
Andreas Enge
0ffc2d537d gnu: Add lrslib. 
* gnu/packages/maths.scm (lrslib): New variable.
 2019-12-06 22:56:02 +01:00
Marius Bakke
33b59c1a3e Merge branch 'staging' 2019-12-04 20:12:41 +01:00
Tobias Geerinckx-Rice
dbef037ff4 gnu: z3: Update to 4.8.7. 
* gnu/packages/maths.scm (z3): Update to 4.8.7.
 2019-12-01 00:49:15 +01:00
Tobias Geerinckx-Rice
1ff64c503a gnu: nauty: Update to 2.6r12. 
* gnu/packages/maths.scm (nauty): Update to 2.6r12.
 2019-12-01 00:49:14 +01:00
Marius Bakke
0897ad7fac Merge branch 'master' into staging 2019-11-28 00:38:25 +01:00
Ricardo Wurmus
f3640e7395 gnu: Remove obsolete import of R build system module. 
* gnu/packages/maths.scm: Remove import of (guix build-system r).
 2019-11-27 18:29:32 +01:00
zimoun
ef7944b94f gnu: r-subplex: Move to (gnu packages cran). 
* gnu/packages/maths.scm (r-subplex): Move from here...
* gnu/packages/cran.scm (r-subplex): ...to here.

Signed-off-by: Ricardo Wurmus <rekado@elephly.net>
 2019-11-27 18:15:34 +01:00
zimoun
682768deb0 gnu: r-pracma: Move to (gnu packages cran). 
* gnu/packages/maths.scm (r-pracma): Move from here...
* gnu/packages/cran.scm (r-pracma): ...to here.

Signed-off-by: Ricardo Wurmus <rekado@elephly.net>
 2019-11-27 18:15:34 +01:00
zimoun
9bd56b1a77 gnu: r-desolve: Move to (gnu packages cran). 
* gnu/packages/maths.scm (r-desolve): Move from here...
* gnu/packages/cran.scm (r-desolve): ...to here.

Signed-off-by: Ricardo Wurmus <rekado@elephly.net>
 2019-11-27 18:15:34 +01:00
zimoun
0eb59d9eac gnu: r-quadprog: Move to (gnu packages cran). 
* gnu/packages/maths.scm (r-quadprog): Move from here...
* gnu/packages/cran.scm (r-quadprog): ...to here.

Signed-off-by: Ricardo Wurmus <rekado@elephly.net>
 2019-11-27 18:15:34 +01:00
Kei Kebreau
1e8609f238 gnu: wxmaxima: Update to 19.11.1. 
* gnu/packages/maths.scm (wxmaxima): Update to 19.11.1.
 2019-11-23 15:33:14 -05:00
Tobias Geerinckx-Rice
ec9a15c2eb gnu: r-quadprog: Update to 1.5-8. 
* gnu/packages/maths.scm (r-quadprog): Update to 1.5-8.
 2019-11-23 02:00:40 +01:00
Tobias Geerinckx-Rice
3db9cbf676 gnu: r-desolve: Update to 1.25. 
* gnu/packages/maths.scm (r-desolve): Update to 1.25.
 2019-11-23 02:00:40 +01:00
Marius Bakke
b60d2bfff9 Merge branch 'master' into staging 2019-11-21 22:44:15 +01:00
Robert Smith
3b7828cc7f gnu: Add minisat. 
* gnu/packages/patches/minisat-friend-declaration.patch: New file.
* gnu/packages/patches/minisat-install.patch: New file.
* gnu/local.mk (dist_patch_DATA): Add both files above.
* gnu/packages/maths.scm (minisat): New exported variable.

Signed-off-by: Mathieu Othacehe <m.othacehe@gmail.com>
 2019-11-19 17:27:58 +01:00
Marius Bakke
023522d3a1 Merge branch 'master' into staging 2019-10-21 00:33:43 +02:00
Marius Bakke
9d731fb61d gnu: vc: Update to 1.4.1. 
* gnu/packages/maths.scm (vc): Update to 1.4.1.
[native-inputs]: Add VIRTEST and a test data origin.
[arguments]: Add phase to copy test data.
 2019-10-20 00:31:15 +02:00
Marius Bakke
b95d1b3289 Merge branch 'master' into staging 2019-10-18 18:10:47 +02:00
Maurice Brémond
06e1239502 gnu: mumps: Build and install shared libraries. 
* gnu/packages/patches/mumps-shared-libseq.patch,
gnu/packages/patches/mumps-shared-mumps.patch,
gnu/packages/patches/mumps-shared-pord.patch: New files.
* gnu/local.mk (dist_patch_DATA): Add them.
* gnu/packages/maths.scm (mumps)[source](patches): Add them.
[arguments]: In 'configure' phase, adjust "Makefile.inc" for shared
library support.  In 'install' phase, install libmpiseq.so when it
exists.

Co-authored-by: Ludovic Courtès <ludovic.courtes@inria.fr>
 2019-10-14 18:25:31 +02:00
Maurice Brémond
5dbc79eb60 gnu: mumps: Update to 5.2.1. 
* gnu/packages/maths.scm (mumps): Update to 5.2.1.

Co-authored-by: Ludovic Courtès <ludovic.courtes@inria.fr>
 2019-10-14 18:25:31 +02:00
Marius Bakke
378ebc048c Merge branch 'master' into staging 2019-10-13 23:04:06 +02:00
Jan Nieuwenhuizen
185152e39e gnu: mcrl2: Update source url. 
* gnu/packages/maths.scm (mcrl2): Update source url.
 2019-10-08 23:25:51 +02:00
Marius Bakke
2ea095300a gnu: OpenBLAS: Update to 0.3.7. 
* gnu/packages/maths.scm (openblas): Update to 0.3.7.
 2019-10-08 21:23:06 +02:00
Marius Bakke
a4384dc970 gnu: OpenBLAS: Incorporate grafted changes. 
* gnu/packages/maths.scm (openblas)[replacement]: Remove.
[arguments]: Add NUM_THREADS in #:make-flags.
(openblas/fixed-num-threads): Remove variable.
 2019-10-08 21:23:06 +02:00
Ludovic Courtès
cf3d1763ed Merge branch 'core-updates' 2019-10-08 11:37:07 +02:00
Tobias Geerinckx-Rice
0be9038c95 gnu: maxflow: Use HTTPS home page. 
* gnu/packages/maths.scm (maxflow)[home-page]: Use HTTPS.
 2019-10-08 05:29:29 +02:00
Tobias Geerinckx-Rice
0af12a1367 gnu: maxflow: Correct version to 3.0.5. 
This won't be picked up by ‘guix package -u’, but the code is identical
anyway.  By changing this now, fewer installations will fail to upgrade
at all if upstream ever release a new <3.4.

* gnu/packages/maths.scm (maxflow)[version]: Change to 3.0.5.
[source]: Use version tag instead of raw matching commit.
 2019-10-08 05:29:29 +02:00
Tobias Geerinckx-Rice
2dc0a6cf36 gnu: maxflow: Use GIT-FILE-NAME. 
* gnu/packages/maths.scm (maxflow)[source]: Use GIT-FILE-NAME.
 2019-10-08 05:29:28 +02:00
Ludovic Courtès
0cf2b6f2db Merge branch 'master' into core-updates 2019-10-01 12:06:00 +02:00
Jan Nieuwenhuizen
e03b912600 gnu: Add mcrl2-minimal. 
* gnu/packages/maths.scm (mcrl2-minimal): New variable.
 2019-09-30 21:26:56 +02:00