summaryrefslogtreecommitdiff
path: root/gnu/packages/maths.scm
Commit message (Collapse)AuthorAge
* gnu: Add ocaml-z3.Julien Lepiller2021-10-28
| | | | * gnu/packages/maths.scm (ocaml-z3): New variable.
* gnu: Add clingo.Liliana Marie Prikler2021-10-24
| | | | * gnu/packages/maths.scm (clingo): New variable.
* gnu: Add clasp.Liliana Marie Prikler2021-10-24
| | | | * gnu/packages/maths.scm (clasp): New variable.
* gnu: Add libpotassco.Liliana Marie Prikler2021-10-24
| | | | * gnu/packages/maths.scm (libpotassco): New variable.
* gnu: hdf5@1.12: Update to 1.12.1.Tobias Geerinckx-Rice2021-10-18
| | | | * gnu/packages/maths.scm (hdf5-1.12): Update to 1.12.1.
* gnu: frama-c: Update to 23.1.Julien Lepiller2021-10-08
| | | | * gnu/packages/maths.scm (frama-c): Update to 23.1.
* gnu: why3: Update to 1.4.0.Julien Lepiller2021-10-08
| | | | * gnu/packages/maths.scm (why3): Update to 1.4.0.
* gnu: mcrl2: Update hash of modified-in-place tarball.Ludovic Courtès2021-10-07
| | | | | | Fixes <https://issues.guix.gnu.org/51074>. * gnu/packages/maths.scm (mcrl2)[source]: Update hash.
* gnu: Add minizinc.Liliana Marie Prikler2021-09-25
| | | | * gnu/packages/maths.scm (minizinc): New variable.
* gnu: Add gecode.Liliana Marie Prikler2021-09-25
| | | | * gnu/packages/maths.scm (gecode): New variable.
* gnu: fp16: Install Python files in the site directory.Ludovic Courtès2021-09-24
| | | | * gnu/packages/maths.scm (fp16)[arguments]: New field.
* gnu: nauty: Update to 2.7r3.Nicolas Goaziou2021-09-11
| | | | * gnu/packages/maths.scm (nauty): Update to 2.7r3.
* gnu: vc: Update to 1.4.2.Tobias Geerinckx-Rice2021-09-04
| | | | * gnu/packages/maths.scm (vc): Update to 1.4.2.
* gnu: nauty: Update to 2.7r2.Nicolas Goaziou2021-09-04
| | | | * gnu/packages/maths.scm (nauty): Update to 2.7r2.
* gnu: dealii-openmpi: Add Trilinos dependency.Paul A. Patience2021-08-10
| | | | | | | * gnu/packages/maths.scm (trilinos-for-dealii-openmpi): New variable. (dealii-openmpi)[propagated-inputs]: Add trilinos-for-dealii-openmpi. Signed-off-by: Ludovic Courtès <ludo@gnu.org>
* gnu: Add optizelle.Paul Garlick2021-08-05
| | | | * gnu/packages/maths.scm (optizelle): New variable.
* gnu: Add bitwise.Guix Together2021-08-04
| | | | | | | | | * gnu/packages/maths.scm (bitwise): New variable. Co-authored-by: jgart <jgart@dismail.de> Co-authored-by: Julien Lepiller <julien@lepiller.eu> Co-authored-by: Ryan Prior <rprior@protonmail.com> Signed-off-by: Efraim Flashner <efraim@flashner.co.il>
* gnu: Add FP16.Ludovic Courtès2021-07-29
| | | | | | * gnu/packages/patches/fp16-system-libraries.patch: New file. * gnu/local.mk (dist_patch_DATA): Add it. * gnu/packages/maths.scm (fp16): New variable.
* gnu: Add FXDiv.Ludovic Courtès2021-07-29
| | | | | | * gnu/packages/maths.scm (fxdiv): New variable. * gnu/packages/patches/fxdiv-system-libraries.patch: New file. * gnu/local.mk (dist_patch_DATA): Add it.
* gnu: openlibm: Fix cross-compiling.Jean-Baptiste Volatier2021-07-28
| | | | | | | * gnu/packages/maths.scm (openlibm)[arguments]: Add configure-flag to use cc-for-target. Signed-off-by: Efraim Flashner <efraim@flashner.co.il>
* gnu: openlibm: Update to 0.7.4.Jean-Baptiste Volatier2021-07-28
| | | | | | * gnu/packages/maths.scm (openlibm): Update to 0.7.4. Signed-off-by: Efraim Flashner <efraim@flashner.co.il>
* gnu: gsegrafix: Update to 1.0.7.2.Tobias Geerinckx-Rice2021-07-26
| | | | | | | | | | This keeps this ancient package on life support for now. * gnu/packages/maths.scm (gsegrafix): Update to 1.0.7.2. [source]: Download from gsegrafix-experimental's Savannah. [arguments]: Drop obsolete LDFLAGS. Disable static library build. [inputs]: Remove libgnomecanvas, libbonoboui, libgnomeui, libgnomeprintui, and popt. Add glib and gtk+.
* gnu: dealii: Update to 9.3.1 and clean up.Paul A. Patience2021-07-20
| | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | The cleanup notably: * Builds and installs the documentation into a separate doc output (in the process moving around some files erroneously installed into the root directory); and * Removes unnecessary inputs and moves some inputs into propagated-inputs (the candidates of which were determined with a search for "include.*LIBNAME" in include/deal.II). * gnu/packages/maths.scm (dealii): Reword comments. [version]: Update to 9.3.1. [outputs]: New field including doc output. [native-inputs]: New field. [inputs]: Sort them. Remove p4est (deal.II interfaces with it only when MPI is enabled). Move boost, suitesparse and tbb to... [propagated-inputs]: ...here. New field including hdf5, which is actually supported in deal.II without MPI. [arguments]<#:tests?>: New argument. The tests were not being run before anyway. <#:configure-flags>[-DDEAL_II_COMPONENT_DOCUMENTATION]: New flag. [-DDEAL_II_DOCREADME_RELDIR]: New flag. Prevents the LICENSE.md, README.md, detailed.log and summary.log files from being installed in the root directory (though note that the logs are removed in the new remove-build-logs phase). [-DDEAL_II_DOCHTML_RELDIR]: New flag. [-DDEAL_II_COMPILE_EXAMPLES]: New flag. [-DDEAL_II_EXAMPLES_RELDIR]: New flag. Prevents the examples directory from being installed in the root directory. [-DCMAKE_POSITION_INDEPENDENT_CODE]: Remove flag. The issue has been resolved. <#:phases>{remove-build-logs}: New phase. [home-page]: Add trailing slash. (dealii-openmpi): Use package/inherit. [inputs]: Sort them. Remove mumps-metis-openmpi (deal.II no longer interfaces with MUMPS). Move hdf5-parallel-openmpi, openmpi, p4est-openmpi, petsc-openmpi and slepc-openmpi to... [propagated-inputs]: ...here. New field. [arguments]<#:configure-flags>: Rename cf variable to flags. <#:phases>{mpi-setup}: Remove phase which is unused because the tests are disabled. Signed-off-by: Ludovic Courtès <ludo@gnu.org>
* gnu: Add nomad-optimizer.Paul A. Patience2021-07-19
| | | | | | * gnu/packages/maths.scm (nomad-optimizer): New variable. Signed-off-by: Ludovic Courtès <ludo@gnu.org>
* gnu: Add blitz.Ivan Gankevich2021-07-16
| | | | | | * gnu/packages/maths.scm (blitz): New variable. Signed-off-by: Arun Isaac <arunisaac@systemreboot.net>
* gnu: gmsh: Sort inputs alphabetically.Efraim Flashner2021-07-13
| | | | * gnu/packages/maths.scm (gmsh)[propagated-inputs]: Sort alphabetically.
* gnu: gmsh: Simply downloading source logic.Efraim Flashner2021-07-13
| | | | * gnu/packages/maths.scm (gmsh)[source]: Use string-replace-substring.
* gnu: gmsh: Update to 4.8.4.Paul A. Patience2021-07-13
| | | | | | * gnu/packages/maths.scm (gmsh): Update to 4.8.4. Signed-off-by: Efraim Flashner <efraim@flashner.co.il>
* gnu: gmsh: Install Python API in standard directory.Paul Garlick2021-07-12
| | | | | | | * gnu/packages/maths.scm (gmsh)[imported-modules]: New argument. [modules]: New argument. [phases]: New argument. [inputs]: Add python.
* gnu: mcrl2: Update to 202106.0.Jan (janneke) Nieuwenhuizen2021-07-08
| | | | * gnu/packages/maths.scm (mcrl2): Update to 202106.0.
* gnu: openblas: Fix building on powerpc64le-linux.Efraim Flashner2021-07-07
| | | | | * gnu/packages/maths.scm (openblas)[arguments]: Add make-flags to enable building for powerpc64le-linux.
* gnu: openblas: Fix building on armhf-linux.Efraim Flashner2021-07-07
| | | | | * gnu/packages/maths.scm (openblas)[arguments]: Add make-flag to set target architecture.
* gnu: atlas: Extend build time-out.Tobias Geerinckx-Rice2021-07-02
| | | | * gnu/packages/maths.scm (atlas)[properties]: Quadruple the timeout.
* gnu: gnuplot: Update to 5.4.2.Tobias Geerinckx-Rice2021-07-02
| | | | * gnu/packages/maths.scm (gnuplot): Update to 5.4.2.
* gnu: scotch: Update to 6.1.1.Ludovic Courtès2021-06-29
| | | | | | | | * gnu/packages/maths.scm (scotch): Update to 6.1.1. [native-inputs]: Add GFORTRAN. [arguments]: Set 'FC' in 'Makefile.in'. (scotch32)[arguments]: Likewise. (scotch-shared)[arguments]: Likewise.
* gnu: scotch: Add 'release-monitoring-url' property.Ludovic Courtès2021-06-29
| | | | * gnu/packages/maths.scm (scotch)[properties]: New field.
* gnu: suitesparse: Update to 5.10.1.Ludovic Courtès2021-06-25
| | | | * gnu/packages/maths.scm (suitesparse): Update to 5.10.1.
* gnu: suitesparse: Link against OpenBLAS rather than LAPACK.Ludovic Courtès2021-06-25
| | | | | | * gnu/packages/maths.scm (suitesparse)[inputs]: Replace LAPACK with OPENBLAS. [arguments]: Add "BLAS"and "LAPACK" to #:make-flags.
* gnu: maxima: Update to 5.45.1.Kei Kebreau2021-06-24
| | | | | * gnu/packages/maths.scm (maxima): Update to 5.45.1. [home-page]: Follow redirect.
* gnu: petsc: Link against OpenBLAS rather than LAPACK.Ludovic Courtès2021-06-22
| | | | | | | | | OpenBLAS performs better than LAPACK, the reference implementation. This is also consistent with the choice of BLAS/LAPACK implementations made in most other packages. * gnu/packages/maths.scm (petsc)[inputs]: Replace LAPACK by OPENBLAS. [arguments]: Pass "--with-openblas=1".
* gnu: why3: Update to 1.3.3.Julien Lepiller2021-06-20
| | | | | * gnu/packages/maths.scm (why3): Update to 1.3.3. [arguments]: Adjust for newer ocaml-num.
* gnu: wxmaxima: Update to 21.05.2.Kei Kebreau2021-06-14
| | | | * gnu/packages/maths.scm (wxmaxima): Update to 21.05.2.
* gnu: maxima: Update to 5.45.0.Kei Kebreau2021-06-14
| | | | * gnu/packages/maths.scm (maxima): Update to 5.45.0.
* gnu: Rename qtbase to qtbase-5.Maxim Cournoyer2021-06-14
| | | | | | | | | | | | This change was automated via the following command: $ git ls-files | xargs sed -i 's/,qtbase)/,qtbase-5)/g' $ git ls-files | xargs sed -i 's/inherit qtbase)/inherit qtbase-5)/g' $ git ls-files | xargs sed -i 's/package-version qtbase)/package-version qtbase-5)/g' $ git checkout etc # to clear some spurious changes This is done so the qtbase package can be upgraded to version 6 in the following commit.
* gnu: qalculate-gtk: Update to 3.19.0.Jack Hill2021-06-12
| | | | | | | * gnu/packages/maths.scm (qalculate-gtk): Update to 3.19.0. [phases]: Remove 'add-pot-file. Signed-off-by: Nicolas Goaziou <mail@nicolasgoaziou.fr>
* gnu: libqalculate: Update to 3.19.0.Jack Hill2021-06-12
| | | | | | * gnu/packages/maths (libqalculate): Update to 3.19.0. Signed-off-by: Nicolas Goaziou <mail@nicolasgoaziou.fr>
* gnu: Add frama-c.Julien Lepiller2021-06-02
| | | | * gnu/packages/maths.scm (frama-c): New variable.
* gnu: Add why3.Julien Lepiller2021-06-02
| | | | * gnu/packages/maths.scm (why3): New variable.
* gnu: ipopt: Update to 3.13.4Eric Brown2021-05-28
| | | | | | | * gnu/packages/maths.scm (ipopt): Update to 3.13.4, update URL. [license]: Change to LICENSE:EPL2.0. Co-authored-by: Ludovic Courtès <ludo@gnu.org>
* gnu: Add cbc.Eric Brown2021-05-28
| | | | | | * gnu/packages/maths.scm (cbc): New variable. Co-authored-by: Ludovic Courtès <ludo@gnu.org>
generated by cgit v1.2.3 (git 2.45.2) at 2024-07-22 17:43:52 +0000