ryan77627/guix
1
0
Fork 0
mirror of https://git.in.rschanz.org/ryan77627/guix.git synced 2024-11-08 07:56:16 -05:00
Code Issues Projects Releases Packages Wiki Activity Actions
56513 commits 1 branch 0 tags 448 MiB
Commit graph

733 commits

Author SHA1 Message Date
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
Jan Nieuwenhuizen
3bc74090d9
gnu: mcrl2: Update to 201908.0. 
* gnu/packages/maths.scm (mcrl2): Update to 201908.0.
 2019-09-30 21:26:19 +02:00
Tobias Geerinckx-Rice
d49375c722
gnu: z3: Update to 4.8.6. 
* gnu/packages/maths.scm (z3): Update to 4.8.6.
 2019-09-28 05:36:12 +02:00