summaryrefslogtreecommitdiff
path: root/gnu/packages/maths.scm
AgeCommit message (Expand)Author
2019-11-21Merge branch 'master' into stagingMarius Bakke
2019-11-19gnu: 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 Smith
2019-10-21Merge branch 'master' into stagingMarius Bakke
2019-10-20gnu: 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 Bakke
2019-10-18Merge branch 'master' into stagingMarius Bakke
2019-10-14gnu: 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émond
2019-10-14gnu: 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émond
2019-10-13Merge branch 'master' into stagingMarius Bakke
2019-10-08gnu: mcrl2: Update source url....* gnu/packages/maths.scm (mcrl2): Update source url. Jan Nieuwenhuizen
2019-10-08gnu: OpenBLAS: Update to 0.3.7....* gnu/packages/maths.scm (openblas): Update to 0.3.7. Marius Bakke
2019-10-08gnu: 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 Bakke
2019-10-08Merge branch 'core-updates'Ludovic Courtès
2019-10-08gnu: maxflow: Use HTTPS home page....* gnu/packages/maths.scm (maxflow)[home-page]: Use HTTPS. Tobias Geerinckx-Rice
2019-10-08gnu: 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-Rice
2019-10-08gnu: maxflow: Use GIT-FILE-NAME....* gnu/packages/maths.scm (maxflow)[source]: Use GIT-FILE-NAME. Tobias Geerinckx-Rice
2019-10-01Merge branch 'master' into core-updatesLudovic Courtès
2019-09-30gnu: Add mcrl2-minimal....* gnu/packages/maths.scm (mcrl2-minimal): New variable. Jan Nieuwenhuizen
2019-09-30gnu: mcrl2: Update to 201908.0....* gnu/packages/maths.scm (mcrl2): Update to 201908.0. Jan Nieuwenhuizen
2019-09-28gnu: z3: Update to 4.8.6....* gnu/packages/maths.scm (z3): Update to 4.8.6. Tobias Geerinckx-Rice
2019-09-27gnu: 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 Bavier
2019-09-27Merge branch 'master' into core-updatesMarius Bakke
2019-09-24Merge branch 'master' into core-updatesLudovic Courtès
2019-09-24gnu: 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-Rice
2019-09-21gnu: wxmaxima: Update to 19.09.0....* gnu/packages/maths.scm (wxmaxima): Update to 19.09.0. Tobias Geerinckx-Rice
2019-09-20gnu: octave: Use texlive-union....* gnu/packages/maths.scm (octave)[native-inputs]: Replace texlive with texlive-union containing texlive-epsf. Ricardo Wurmus
2019-09-17Merge branch 'master' into core-updatesLudovic Courtès
2019-09-13gnu: gmsh: Update home page....This addresses a 'guix lint' warning. * gnu/packages/maths.scm (gmsh)[home-page]: Update to avoid URL redirection. Paul Garlick
2019-09-13gnu: 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'. Ludovic Courtès
2019-09-12gnu: gmsh: Fetch source from Git....* gnu/packages/maths.scm (gmsh)[source]: Switch to GIT-FETCH. Paul Garlick
2019-09-12gnu: 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. Ricardo Wurmus
2019-09-06Merge branch 'master' into core-updatesMark H Weaver
2019-09-04gnu: hdf4: Update to 4.2.14....* gnu/packages/maths.scm (hdf4): Update to 4.2.14. Marius Bakke
2019-09-03gnu: hdf-eos2: Add libtirpc input....* gnu/packages/maths.scm (hdf-eos2)[inputs]: Add LIBTIRPC. Marius Bakke
2019-09-03gnu: 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 Bakke
2019-08-31gnu: Add speedcrunch....* gnu/packages/maths.scm (speedcrunch): New variable. Signed-off-by: Ludovic Courtès <ludo@gnu.org> Steve Sprang
2019-08-29Merge branch 'master' into core-updatesMark H Weaver
2019-08-26gnu: python-cvxopt: Update to 1.2.3....* gnu/packages/maths.scm (python-cvxopt): Update to 1.2.3. Tobias Geerinckx-Rice
2019-08-22Merge branch 'master' into core-updatesMark H Weaver
2019-08-20gnu: wxmaxima: Update to 19.08.0....* gnu/packages/maths.scm (wxmaxima): Update to 19.08.0. Kei Kebreau
2019-08-13Merge branch 'master' into core-updatesMarius Bakke
2019-08-08Merge branch 'master' into stagingMarius Bakke
2019-08-06gnu: r-desolve: Update to 1.24....* gnu/packages/maths.scm (r-desolve): Update to 1.24. Ricardo Wurmus
2019-08-04gnu: double-conversion: Update to 3.1.5....* gnu/packages/maths.scm (double-conversion): Update to 3.1.5. Marius Bakke
2019-07-17Merge branch 'master' into core-updatesLudovic Courtès
2019-07-16gnu: Add opencascade-occt....* gnu/packages/maths.scm (opencascade-occt): New variable. Paul Garlick
2019-07-14gnu: 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 Bakke
2019-07-02Merge branch 'staging' into core-updatesMarius Bakke
2019-07-02gnu: octave-cli: Sort inputs alphabetically....* gnu/packages/maths.scm (octave-cli)[inputs]: Sort inputs alphabetically. Efraim Flashner
2019-06-28gnu: atlas: All phases return #t....* gnu/packages/maths.scm (atlas)[arguments]: Ensure all custom phases return #t. Efraim Flashner
2019-06-27Merge branch 'master' into core-updatesLudovic Courtès