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

696 commits

Author SHA1 Message Date
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
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
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
Jan Nieuwenhuizen
185152e39e
gnu: mcrl2: Update source url. 
* gnu/packages/maths.scm (mcrl2): Update source url.
 2019-10-08 23:25:51 +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
Eric Bavier
ba567cae97
gnu: dealii: Update to 9.1.1. 
* gnu/packages/maths.scm (dealii): Update to 9.1.1.
[source]: Remove patch no longer needed.
* gnu/local.mk (dist_patch_DATA): ditto.
* gnu/packages/patches/dealii-mpi-deprecations.patch: Delete it.
 2019-09-27 22:23:44 -05:00
Marius Bakke
e7f62a41b2
Merge branch 'master' into core-updates 2019-09-27 19:11:27 +02:00
Ludovic Courtès
11da634a6e
Merge branch 'master' into core-updates 2019-09-24 10:11:38 +02:00
Tobias Geerinckx-Rice
3f55b7be16
gnu: glm: Update to 0.9.9.6. 
* gnu/packages/maths.scm (glm): Update to 0.9.9.6.
[source]: Add patch.
* gnu/packages/patches/glm-restore-install-target.patch: New file.
* gnu/local.mk (dist_patch_DATA): Add it.
 2019-09-24 02:10:49 +02:00
Tobias Geerinckx-Rice
ca2ead31d2
gnu: wxmaxima: Update to 19.09.0. 
* gnu/packages/maths.scm (wxmaxima): Update to 19.09.0.
 2019-09-21 19:17:52 +02:00
Ricardo Wurmus
70bb5d88e0
gnu: octave: Use texlive-union. 
* gnu/packages/maths.scm (octave)[native-inputs]: Replace texlive with
texlive-union containing texlive-epsf.
 2019-09-20 00:43:16 +02:00
Ludovic Courtès
9ff87bb996
Merge branch 'master' into core-updates 2019-09-17 16:27:15 +02:00
Paul Garlick
0746c33eff
gnu: gmsh: Update home page. 
This addresses a 'guix lint' warning.

* gnu/packages/maths.scm (gmsh)[home-page]: Update to avoid URL
redirection.
 2019-09-13 14:53:57 +01:00
Ludovic Courtès
ba05be2249
gnu: openblas: Set 'NUM_THREADS'. 
Until now, OpenBLAS would use at most the N threads, where N is the
number of cores that happened to be available on the build
machine (typically N=8).

* gnu/packages/maths.scm (openblas/fixed-num-threads): New variable.
(openblas)[replacement]: New field.
(openblas-ilp64): Use 'package/inherit'.
 2019-09-13 10:50:11 +02:00
Paul Garlick
abed5df777
gnu: gmsh: Fetch source from Git. 
* gnu/packages/maths.scm (gmsh)[source]: Switch to GIT-FETCH.
 2019-09-12 16:21:31 +01:00
Ricardo Wurmus
8b35c8cd61
gnu: hypre: Update texlive-union. 
* gnu/packages/maths.scm (hypre)[native-inputs]: Replace texlive-generic-xypic
and texlive-fonts-xypic with texlive-xypic; add texlive-cm to the
texlive-union.
 2019-09-12 12:10:05 +02:00
Mark H Weaver
65542a8852
Merge branch 'master' into core-updates 2019-09-06 20:46:00 -04:00
Marius Bakke
c959d99fd0
gnu: hdf4: Update to 4.2.14. 
* gnu/packages/maths.scm (hdf4): Update to 4.2.14.
 2019-09-04 13:17:38 +02:00
Marius Bakke
25bdbb618a
gnu: hdf-eos2: Add libtirpc input. 
* gnu/packages/maths.scm (hdf-eos2)[inputs]: Add LIBTIRPC.
 2019-09-03 18:49:32 +02:00
Marius Bakke
bd3d71cb16
gnu: hdf4: Build with libtirpc. 
* gnu/packages/patches/hdf4-tirpc.patch: New file.
* gnu/local.mk (dist_patch_DATA): Add it.
* gnu/packages/maths.scm (hdf4)[source](patches): Use it.
[inputs]: Add LIBTIRPC.
[arguments]: Adjust #:configure-flags accordingly.
 2019-09-03 13:24:34 +02:00
Steve Sprang
4cb5d2515c
gnu: Add speedcrunch. 
* gnu/packages/maths.scm (speedcrunch): New variable.

Signed-off-by: Ludovic Courtès <ludo@gnu.org>
 2019-08-31 21:04:08 +02:00
Mark H Weaver
0481289cbc
Merge branch 'master' into core-updates 2019-08-29 17:19:18 -04:00
Tobias Geerinckx-Rice
a7c7015adb
gnu: python-cvxopt: Update to 1.2.3. 
* gnu/packages/maths.scm (python-cvxopt): Update to 1.2.3.
 2019-08-26 05:02:51 +02:00
Mark H Weaver
893c2df00d
Merge branch 'master' into core-updates 2019-08-22 15:53:27 -04:00
Kei Kebreau
439378fd9f
gnu: wxmaxima: Update to 19.08.0. 
* gnu/packages/maths.scm (wxmaxima): Update to 19.08.0.
 2019-08-20 21:50:30 -04:00
Marius Bakke
462ad9f56b
Merge branch 'master' into core-updates 2019-08-13 20:42:06 +02:00
Marius Bakke
8e7f97b9ff
Merge branch 'master' into staging 2019-08-08 00:35:37 +02:00
Ricardo Wurmus
d36430d274
gnu: r-desolve: Update to 1.24. 
* gnu/packages/maths.scm (r-desolve): Update to 1.24.
 2019-08-06 15:48:52 +02:00
Marius Bakke
1c7d7f3f65
gnu: double-conversion: Update to 3.1.5. 
* gnu/packages/maths.scm (double-conversion): Update to 3.1.5.
 2019-08-04 13:49:54 +02:00
Ludovic Courtès
64de896a71
Merge branch 'master' into core-updates 2019-07-17 15:51:10 +02:00
Paul Garlick
37dc29200c
gnu: Add opencascade-occt. 
* gnu/packages/maths.scm (opencascade-occt): New variable.
 2019-07-16 22:19:26 +01:00
Marius Bakke
97149c5767
gnu: Adjust uses of C{,PLUS}_INCLUDE_PATH for GCC 7. 
These variables are no longer set in the build environment by default.  GCC
still respects these search paths and treats them as "system headers" so we
can continue to use them, just not expect them to be available.

* gnu/packages/mpi.scm (openmpi)[arguments]: Do not attempt to read from
C_INCLUDE_PATH, nor CPLUS_INCLUDE_PATH.
* gnu/packages/games.scm (kiki)[arguments]: Likewise.
* gnu/packages/networking.scm (hcxtools)[arguments]: Likewise.
* gnu/packages/synergy.scm (synergy)[arguments]: Likewise.
* gnu/packages/bioinformatics.scm (gemma, sailfish)[arguments]: Likewise.
* gnu/packages/maths.scm (dune-alugrid)[arguments]: Likewise.
 2019-07-14 18:13:34 +02:00
Marius Bakke
4fb9165515
Merge branch 'staging' into core-updates 2019-07-02 20:18:16 +02:00
Efraim Flashner
697df13f61
gnu: octave-cli: Sort inputs alphabetically. 
* gnu/packages/maths.scm (octave-cli)[inputs]: Sort inputs alphabetically.
 2019-07-02 15:04:56 +03:00
Efraim Flashner
5b786db86c
gnu: atlas: All phases return #t. 
* gnu/packages/maths.scm (atlas)[arguments]: Ensure all custom phases
return #t.
 2019-06-28 10:39:11 +03:00
Ludovic Courtès
5cc1075a76
Merge branch 'master' into core-updates 2019-06-27 23:33:48 +02:00
Tobias Geerinckx-Rice
cb1d8aeeb3
gnu: gnuplot: Update to 5.2.7. 
* gnu/packages/maths.scm (gnuplot): Update to 5.2.7.
 2019-06-21 23:20:36 +02:00
Marius Bakke
6cb1ef9ea2
Merge branch 'staging' into core-updates 2019-06-20 23:38:56 +02:00
Andreas Enge
264334716f
gnu: Add ppl. 
* gnu/packages/maths.scm (ppl): New variable.
 2019-06-20 16:46:37 +02:00
Nicolas Goaziou
ab398380eb
gnu: Move ratpoints into a different module. 
* gnu/packages/maths.scm (ratpoints): Move...
* gnu/packages/algebra.scm: ...here.
 2019-06-20 09:20:29 +02:00
Nicolas Goaziou
0c842e3a59
gnu: Add ratpoints. 
* gnu/packages/maths.scm (ratpoints): New variable.
* gnu/packages/patches/ratpoints-sturm_and_rp_private.patch: New file.
* gnu/local.mk (dist_patch_DATA): Reference patch.
 2019-06-19 21:43:12 +02:00
Andreas Enge
f455d99dfa
gnu: edge-addition-planarity-suite: Move to the (gnu packages graph) module. 
* gnu/packages/maths.scm (edge-addition-planarity-suite): Move from here...
* gnu/packages/maths.scm (edge-addition-planarity-suite): ...to here.
 2019-06-17 19:47:15 +02:00