summaryrefslogtreecommitdiff
path: root/gnu/packages/maths.scm
Commit message (Expand)AuthorAgeFilesLines
* Merge branch 'staging'Marius Bakke2019-12-041-24/+9
|\
| * Merge branch 'master' into stagingMarius Bakke2019-11-281-93/+2
| |\
| * \ Merge branch 'master' into stagingMarius Bakke2019-11-211-0/+40
| |\ \
| * \ \ Merge branch 'master' into stagingMarius Bakke2019-10-211-3/+26
| |\ \ \
| * \ \ \ Merge branch 'master' into stagingMarius Bakke2019-10-181-10/+17
| |\ \ \ \
| * \ \ \ \ Merge branch 'master' into stagingMarius Bakke2019-10-131-3/+3
| |\ \ \ \ \
| * | | | | | gnu: OpenBLAS: Update to 0.3.7.•••* gnu/packages/maths.scm (openblas): Update to 0.3.7. Marius Bakke2019-10-081-2/+2
| * | | | | | 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. Marius Bakke2019-10-081-22/+7
* | | | | | | gnu: z3: Update to 4.8.7.•••* gnu/packages/maths.scm (z3): Update to 4.8.7. Tobias Geerinckx-Rice2019-12-011-2/+2
* | | | | | | gnu: nauty: Update to 2.6r12.•••* gnu/packages/maths.scm (nauty): Update to 2.6r12. Tobias Geerinckx-Rice2019-12-011-2/+2
| |_|_|_|_|/ |/| | | | |
* | | | | | gnu: Remove obsolete import of R build system module.•••* gnu/packages/maths.scm: Remove import of (guix build-system r). Ricardo Wurmus2019-11-271-1/+0
* | | | | | 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> zimoun2019-11-271-22/+0
* | | | | | 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> zimoun2019-11-271-18/+0
* | | | | | 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> zimoun2019-11-271-28/+0
* | | | | | 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> zimoun2019-11-271-20/+0
* | | | | | gnu: wxmaxima: Update to 19.11.1.•••* gnu/packages/maths.scm (wxmaxima): Update to 19.11.1. Kei Kebreau2019-11-231-2/+2
* | | | | | gnu: r-quadprog: Update to 1.5-8.•••* gnu/packages/maths.scm (r-quadprog): Update to 1.5-8. Tobias Geerinckx-Rice2019-11-231-3/+2
* | | | | | gnu: r-desolve: Update to 1.25.•••* gnu/packages/maths.scm (r-desolve): Update to 1.25. Tobias Geerinckx-Rice2019-11-231-3/+2
| |_|_|_|/ |/| | | |
* | | | | 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> Robert Smith2019-11-191-0/+40
| |_|_|/ |/| | |
* | | | 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. Marius Bakke2019-10-201-3/+26
| |_|/ |/| |
* | | 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> Maurice Brémond2019-10-141-8/+15
* | | 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> Maurice Brémond2019-10-141-2/+2
| |/ |/|
* | gnu: mcrl2: Update source url.•••* gnu/packages/maths.scm (mcrl2): Update source url. Jan Nieuwenhuizen2019-10-081-3/+3
|/
* Merge branch 'core-updates'Ludovic Courtès2019-10-081-7/+15
|\
| * Merge branch 'master' into core-updatesLudovic Courtès2019-10-011-10/+16
| |\
| * \ Merge branch 'master' into core-updatesMarius Bakke2019-09-271-3/+3
| |\ \
| * \ \ Merge branch 'master' into core-updatesLudovic Courtès2019-09-241-4/+3
| |\ \ \
| * \ \ \ Merge branch 'master' into core-updatesLudovic Courtès2019-09-171-8/+35
| |\ \ \ \
| * \ \ \ \ Merge branch 'master' into core-updatesMark H Weaver2019-09-061-2/+36
| |\ \ \ \ \
| * | | | | | gnu: hdf-eos2: Add libtirpc input.•••* gnu/packages/maths.scm (hdf-eos2)[inputs]: Add LIBTIRPC. Marius Bakke2019-09-031-0/+3
| * | | | | | 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. Marius Bakke2019-09-031-3/+9
| * | | | | | Merge branch 'master' into core-updatesMark H Weaver2019-08-291-2/+2
| |\ \ \ \ \ \
| * \ \ \ \ \ \ Merge branch 'master' into core-updatesMark H Weaver2019-08-221-2/+2
| |\ \ \ \ \ \ \
| * \ \ \ \ \ \ \ Merge branch 'master' into core-updatesMarius Bakke2019-08-131-4/+4
| |\ \ \ \ \ \ \ \
| * \ \ \ \ \ \ \ \ Merge branch 'master' into core-updatesLudovic Courtès2019-07-171-1/+93
| |\ \ \ \ \ \ \ \ \
| * | | | | | | | | | 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. Marius Bakke2019-07-141-2/+1
| * | | | | | | | | | Merge branch 'staging' into core-updatesMarius Bakke2019-07-021-17/+19
| |\ \ \ \ \ \ \ \ \ \
| * \ \ \ \ \ \ \ \ \ \ Merge branch 'master' into core-updatesLudovic Courtès2019-06-271-2/+2
| |\ \ \ \ \ \ \ \ \ \ \
| * \ \ \ \ \ \ \ \ \ \ \ Merge branch 'staging' into core-updatesMarius Bakke2019-06-201-3/+42
| |\ \ \ \ \ \ \ \ \ \ \ \
| * \ \ \ \ \ \ \ \ \ \ \ \ Merge branch 'master' into core-updatesLudovic Courtès2019-06-131-15/+28
| |\ \ \ \ \ \ \ \ \ \ \ \ \
| * \ \ \ \ \ \ \ \ \ \ \ \ \ Merge branch 'staging' into core-updatesMarius Bakke2019-05-251-10/+92
| |\ \ \ \ \ \ \ \ \ \ \ \ \ \
| * | | | | | | | | | | | | | | gnu: OpenBLAS: Update to 0.3.6.•••* gnu/packages/maths.scm (openblas): Update to 0.3.6. Marius Bakke2019-05-041-2/+2
* | | | | | | | | | | | | | | | gnu: maxflow: Use HTTPS home page.•••* gnu/packages/maths.scm (maxflow)[home-page]: Use HTTPS. Tobias Geerinckx-Rice2019-10-081-1/+1
* | | | | | | | | | | | | | | | 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. Tobias Geerinckx-Rice2019-10-081-2/+4
* | | | | | | | | | | | | | | | gnu: maxflow: Use GIT-FILE-NAME.•••* gnu/packages/maths.scm (maxflow)[source]: Use GIT-FILE-NAME. Tobias Geerinckx-Rice2019-10-081-1/+1
| |_|_|_|_|_|_|_|_|_|_|_|_|_|/ |/| | | | | | | | | | | | | |
* | | | | | | | | | | | | | | gnu: Add mcrl2-minimal.•••* gnu/packages/maths.scm (mcrl2-minimal): New variable. Jan Nieuwenhuizen2019-09-301-0/+9
* | | | | | | | | | | | | | | gnu: mcrl2: Update to 201908.0.•••* gnu/packages/maths.scm (mcrl2): Update to 201908.0. Jan Nieuwenhuizen2019-09-301-5/+3
* | | | | | | | | | | | | | | gnu: z3: Update to 4.8.6.•••* gnu/packages/maths.scm (z3): Update to 4.8.6. Tobias Geerinckx-Rice2019-09-281-2/+2
* | | | | | | | | | | | | | | 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. Eric Bavier2019-09-271-3/+2
| |_|_|_|_|_|_|_|_|_|_|_|_|/ |/| | | | | | | | | | | | |
* | | | | | | | | | | | | | 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. Tobias Geerinckx-Rice2019-09-241-3/+3
| |_|_|_|_|_|_|_|_|_|_|_|/ |/| | | | | | | | | | | |