futurile/guix-play
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity
107,975 Commits 3 Branches 0 Tags 412 MiB
a105e2a392
Commit Graph

1134 Commits

Author SHA1 Message Date
Marius Bakke
cdf98d19da
gnu: veusz: Don't depend on QtWebKit. 
* gnu/packages/maths.scm (veusz)[inputs]: Change from PYTHON-PYQT to
PYTHON-PYQT-WITHOUT-QTWEBKIT.
[arguments]: Use SEARCH-INPUT-DIRECTORY instead of label.
 2023-01-03 15:33:13 +01:00
Roman Scherer
66188398c4
gnu: netcdf: Update to 4.9.0. 
* gnu/packages/maths.scm (netcdf): Update to 4.9.0.
  [source]: Use new URI.
  [inputs]: Add libxml2 and unzip.
  [arguments]: Update 'configure-flags'. Add 'fix-test-rcmerge' phase.

Signed-off-by: Guillaume Le Vaillant <glv@posteo.net>
 2022-12-23 11:56:27 +01:00
Liliana Marie Prikler
4f94156452
gnu: Add python-telingo. 
* gnu/packages/patches/python-telingo-fix-comparison.patch: New file.
* gnu/local.mk (dist_patch_DATA): Register it.
* gnu/packages/maths.scm (python-telingo): New variable.
 2022-12-15 16:55:51 +01:00
Liliana Marie Prikler
1339623a42
gnu: Add python-clingo. 
* gnu/packages/maths.scm (python-clingo): New variable.
 2022-12-15 16:55:51 +01:00
Liliana Marie Prikler
25e3e0c6ec
gnu: clingo: Use G-Expressions. 
* gnu/packages/maths.scm (clingo)[arguments]: Convert to list of G-Expressions.
 2022-12-15 16:55:51 +01:00
Liliana Marie Prikler
188269f062
gnu: clingo: Update to 5.6.2. 
* gnu/packages/maths.scm (clingo): Update to 5.6.2.
[source]: Unbundle clasp and catch.
[arguments]<#:configure-flags>: Add “-DCLINGO_USE_LOCAL_CLASP=off” and
“-DCLINGO_USE_LOCAL_CATCH=off”.
[inputs]: Add catch2-3.1.
[native-inputs]: Add pkg-config.
 2022-12-15 16:55:51 +01:00
Efraim Flashner
d896a4d2ff
gnu: suitesparse: Skip building graphblas on riscv64-linux. 
* gnu/packages/maths.scm (suitesparse)[arguments]: Add a phase when
building for riscv64-linux to skip building graphblas.
 2022-12-08 19:53:38 +02:00
Efraim Flashner
02d5912062
gnu: julia: Update to 1.8.3. 
* gnu/packages/julia.scm (julia): Update to 1.8.3.
[source]: Remove one patch.
[arguments]: Adjust 'prepare-deps phase to changes in inputs. Remove
custom 'use-system-libwhich, 'change-number-of-precompiled-statements,
'symlink-libraries phases. In 'fix-include-and-link-paths phase remove
substitution for utf8proc linking and adjust libuv linking. Fix
reference to shell in 'replace-default-shell phase. Adjust the
'shared-objects-path phase to changes in the source. Change the
'enable-parallel-tests phase for upstream changes. Adjust the
'adjust-test-suite phase to be more robust. Change the
'disable-broken-tests phase to help the test suite pass. Rename
'symlink-llvm-utf8proc phase to 'symlink-missing-libraries and add two
more. Adjust make-flags for changes in shared system libraries. Reorder
make-flags to changes in the source. Except for aarch64, use the
defaults for choosing to use 64-bit blas.
[inputs]: Add libblastrampoline. Replace libgit-1.1 with libgit-1.3,
utf8proc-2.7.1 with utf8proc-2.8.0.
[native-inputs]: Replace python-2 with python.
(libunwind-julia): Update to 1.5.0.
[source]: Update patches.
* gnu/packages/libevent.scm (libuv-julia): Update to 2.0.0-4.e6f0e49.
[arguments]: Also build static library, build position-independent-code.
* gnu/packages/llvm.scm (llvm-julia): Update to llvm-13, following
upstream's build instructions.
* gnu/packages/maths.scm (openlibm): Update to 0.8.1.
* gnu/packages/textutils.scm (utf8proc-2.7.1): Update and rename to
utf8proc-2.8.0.
[native-inputs]: Update unicode to 14.0.0.
* gnu/packages/tls.scm (mbedtls-apache): Update to 2.28.0.
[source]: Remove snippet.
[arguments]: Remove trailing #t from phases.
* gnu/packages/patches/julia-allow-parallel-build.patch,
(julia-patch): Update version string to 1.8.2.
gnu/packages/patches/libunwind-julia-fix-GCC10-fno-common.patch: Remove
files.
* gnu/local.mk (dist_patch_DATA): Remove them.

Co-authored-by: Akira Kyle <akira@akirakyle.com>
 2022-12-08 19:53:16 +02:00
Akira Kyle
82babf242e
gnu: Add libblastrampoline. 
* gnu/packages/maths.scm (libblastrampoline): New variable.

Signed-off-by: Efraim Flashner <efraim@flashner.co.il>
 2022-12-08 19:52:11 +02:00
Ricardo Wurmus
3423d32838
gnu: Add libfixmath. 
* gnu/packages/maths.scm (libfixmath): New variable.
 2022-11-27 21:02:43 +01:00
Liliana Marie Prikler
2404afea8b
gnu: Add cryptominisat. 
* gnu/packages/maths.scm (cryptominisat): New variable.

Co-authored-by: Maximilian Heisinger <mail@maxheisinger.at>
 2022-11-26 14:03:53 +01:00
Liliana Marie Prikler
d3ce4a2619
gnu: Add louvain-community. 
* gnu/packages/maths.scm (louvain-community): New variable.
 2022-11-26 14:03:53 +01:00
Liliana Marie Prikler
58c24ec748
gnu: Add lingeling. 
* gnu/packages/maths.scm (lingeling): New variable.
 2022-11-26 14:03:53 +01:00
Liliana Marie Prikler
fc061ce297
gnu: Add aiger. 
* gnu/packages/maths.scm (aiger): New variable.
 2022-11-26 14:03:53 +01:00
jgart
148c75e75e
gnu: clasp: Update to 3.3.9. 
* gnu/packages/maths.scm (clasp): Update to 3.3.9.

Signed-off-by: 宋文武 <iyzsong@member.fsf.org>
 2022-11-24 14:08:54 +08:00
Greg Hogan
ca428f944f
gnu: octave: Update to 7.2.0. 
* gnu/packages/maths.scm (octave): Update to 7.2.0.

Signed-off-by: Ludovic Courtès <ludo@gnu.org>
 2022-11-22 23:17:06 +01:00
Greg Hogan
7534d8067f
gnu: suitesparse: Update to 5.13.0. 
* gnu/packages/maths.scm (suitesparse): Update to 5.13.0.

Signed-off-by: Ludovic Courtès <ludo@gnu.org>
 2022-11-22 23:17:05 +01:00
Marius Bakke
41ca8f9c20
gnu: dune-alugrid: Fix build failure. 
* gnu/packages/maths.scm (dune-alugrid)[arguments]: Provide the INPUTS key in
build-tests phase.
 2022-11-22 08:37:24 +01:00
Marius Bakke
3d62d7648a
gnu: arpack-ng: Remove 3.3.0. 
This package fails to build and has no users in Guix.

* gnu/packages/maths.scm (arpack-ng-3.3.0): Remove variable.
 2022-11-22 08:37:23 +01:00
Artyom V. Poptsov
e9e5e69ce5
gnu: opencascade-occt: Update to 7.6.2. 
* gnu/packages/maths.scm (opencascade-occt): Update to 7.6.2.

Signed-off-by: Guillaume Le Vaillant <glv@posteo.net>
 2022-11-21 10:24:04 +01:00
Efraim Flashner
a5d64173e0
gnu: cddlib: Add source file-name. 
* gnu/packages/maths.scm (cddlib)[source]: Add file-name field.
 2022-11-14 15:18:33 +02:00
Vagrant Cascadian
a2e4e3489b
gnu: Various typo fixes. 
* gnu/packages/emacs-xyz.scm (emacs-popup-kill-ring)[description]: Fix very
  sneaky "This packages" variant. Thanks to nckhexen!
* gnu/packages/bioinformatics.scm (r-icellnet)[description]: Fix use of
  "allows to".
* gnu/packages/check.scm (python-pytest-freezegun)[description]: Ditto.
* gnu/packages/linux.scm (tp-smapi-module)[description]: Ditto.
* gnu/packages/mail.scm (procmail): Ditto.
* gnu/packages/maths.scm (maxima): Ditto.
* gnu/packages/samba.scm (wsdd)[description]: Ditto.
* gnu/packages/ssh.scm (openssh): Ditto.
 2022-10-24 17:35:19 -07:00
Marius Bakke
c567a82a69
Merge branch 'staging' 2022-10-16 00:10:07 +02:00
Marius Bakke
d799c8a5f6
gnu: fp16: Fix build on i686-linux. 
* gnu/packages/patches/fp16-implicit-double.patch: New file.
* gnu/local.mk (dist_patch_DATA): Adjust accordingly.
* gnu/packages/maths.scm (fp16)[source](patches): Add it.
 2022-10-15 23:26:59 +02:00
Efraim Flashner
322917aeb8
Merge remote-tracking branch 'origin/master' into staging 
Conflicts:
	gnu/packages/gnuzilla.scm
	gnu/packages/graphics.scm
	gnu/packages/gstreamer.scm
	gnu/packages/gtk.scm
	gnu/packages/kde-frameworks.scm
	gnu/packages/video.scm
 2022-10-12 14:36:44 +03:00
Mike Swanson
77bcdb7439
gnu: units: Update to 2.22. 
* gnu/packages/maths.scm (units): Update to 2.22.

Signed-off-by: Efraim Flashner <efraim@flashner.co.il>
 2022-10-02 14:36:23 +03:00
Maxim Cournoyer
3c6e220d81
Merge branch 'master' into staging. 
With resolved conflicts in:
	gnu/local.mk
	gnu/packages/crates-io.scm
 2022-09-27 14:27:28 -04:00
Julien Lepiller
b7971ff798
gnu: lablgtk3: Update to 3.1.2. 
* gnu/packages/ocaml.scm (lablgtk3): Update to 3.1.2.
[arguments]: Do not build extensions anymore (missing dependency)
* gnu/packages/games.scm (laby)[inputs]: Use
  `ocaml-lablgtk3-sourceview3'.
* gnu/packages/maths.scm (frama-c)[inputs]: Use
  `ocaml-lablgtk3-sourceview3'.
* gnu/packages/coq.scm (coq-ide)[inputs]: Use
  `ocaml-lablgtk3-sourceview3'.
 2022-09-22 07:34:02 +02:00
Marius Bakke
1fd262e8d3
Merge branch 'master' into staging 2022-08-27 00:17:57 +02:00
Maximilian Heisinger
9ddd37d6ab
gnu: Add kissat. 
* gnu/packages/maths.scm (kissat): New variable.

Signed-off-by: Liliana Marie Prikler <liliana.prikler@gmail.com>
 2022-08-15 15:15:11 +02:00
Vagrant Cascadian
b30614b28c
gnu: itpp: Remove non-deterministic log file. 
* gnu/packages/maths.scm (itpp)[arguments]: Add 'delete-formulas-log phase.
 2022-08-14 15:14:28 -07:00
Marius Bakke
b50eaa6764
Merge branch 'master' into staging 2022-08-11 22:15:22 +02:00
Greg Hogan
8ed15dedbe
gnu: suitesparse: Update to 5.12.0. 
* gnu/packages/maths.scm (suitesparse): Update to 5.12.0.

Signed-off-by: Ludovic Courtès <ludo@gnu.org>
 2022-08-08 17:26:18 +02:00
Julien Lepiller
8c5af33762
gnu: frama-c: Use lablgtk3. 
* gnu/packages/maths.scm (frama-c): Build the graphical interface.
 2022-08-10 23:32:03 +02:00
Daniel Meißner
b72459a861
gnu: maxima: Fix to find info files. 
The Maxima command ‘describe’ allows to pick the relevant portions from
Maxima’s Texinfo docs.  However it does not support reading gzipped info
files.

* gnu/packages/maths.scm (maxima)[arguments]<phases>: Delete
'compress-documentation phase.

Signed-off-by: 宋文武 <iyzsong@member.fsf.org>
 2022-08-10 15:16:53 +08:00
vicvbcun
0d9eef0a06
gnu: cddlib: Update to 0.94m. 
* gnu/packages/maths.scm (cddlib): Update to 0.94m.
[source]: Move to git, following the upstream decision.
[native-inputs]: New field.
[arguments]: New field to have docdir include the version number.

Co-authored-by: Andreas Enge <andreas@enge.fr>
 2022-08-09 14:17:04 +02:00
Andreas Enge
04f8e4194f
gnu: wxmaxima: Update to 22.05.0. 
* gnu/packages/maths.scm (wxmaxima): Update to 22.05.0.
 2022-08-09 11:43:39 +02:00
Andreas Enge
ecdd5d8563
gnu: maxima: Update to 5.46.0. 
* gnu/packages/maths.scm (maxima): Update to 5.46.0.
 2022-08-09 11:22:11 +02:00
Ludovic Courtès
12087b1b19
gnu: mumps: Add alternate source code URL. 
* gnu/packages/maths.scm (mumps)[source]: Add alternate URL.
 2022-08-05 15:28:05 +02:00
FELŠÖCI Marek
b70d6ce627
gnu: mumps: Update to 5.5.1 
* gnu/packages/maths.scm (mumps): Update to 5.5.1. Stop applying patches as the build configuration has been updated upstream. Allow for further optimized BLR compression by specifying the -DBLR_MT build option.
* gnu/packages/patches/mumps-build-parallelism.patch: File removed.
* gnu/packages/patches/mumps-shared-libseq.patch: File removed.
* gnu/packages/patches/mumps-shared-mumps.patch: File removed.
* gnu/packages/patches/mumps-shared-pord.patch: File removed.

Signed-off-by: Ludovic Courtès <ludo@gnu.org>
 2022-08-05 15:28:04 +02:00
Felix Gruber
644646beab
gnu: veusz: Fix build. 
* gnu/packages/maths.scm (veusz)[arguments] Fix lookup of qtsvg path
  in wrap-executable phase.

Signed-off-by: Mathieu Othacehe <othacehe@gnu.org>
 2022-08-05 14:26:32 +02:00
Philip McGrath
86c0bc5d48
gnu: Add itex2mml. 
* gnu/packages/maths.scm (itex2mml): New variable.

Signed-off-by: Ludovic Courtès <ludo@gnu.org>
 2022-08-04 12:05:50 +02:00
Paul A. Patience
797f3de592
gnu: gnuplot: Update to 5.4.4. 
* gnu/packages/maths.scm (gnuplot): Update to 5.4.4.

Signed-off-by: Efraim Flashner <efraim@flashner.co.il>
 2022-08-02 20:50:01 +03:00
Paul A. Patience
a53bc40036
gnu: gnuplot: Use G-expressions. 
* gnu/packages/maths.scm (gnuplot)[arguments]: Use G-expressions.

Signed-off-by: Efraim Flashner <efraim@flashner.co.il>
 2022-08-02 20:49:56 +03:00
Paul A. Patience
44c7098809
gnu: gnuplot: Remove input labels. 
* gnu/packages/maths.scm (gnuplot)[inputs]: Move below native-inputs and
sort.
[native-inputs]: Remove labels.

Signed-off-by: Efraim Flashner <efraim@flashner.co.il>
 2022-08-02 20:49:50 +03:00
Efraim Flashner
29c51c6525
gnu: wcalc: Remove pre-generated files. 
* gnu/packages/maths.scm (wcalc)[source]: Add snippet to remove files
generated by bison and flex.
[native-inputs]: Add bison, flex.
 2022-08-02 19:47:50 +03:00
Paul A. Patience
18d998ffdb
gnu: trilinos-for-dealii-openmpi: Use G-expressions. 
* gnu/packages/maths.scm (trilinos-for-dealii-openmpi)[arguments]: Use
G-expressions.
<#:phases>: Remove trailing boolean.

Signed-off-by: Ludovic Courtès <ludo@gnu.org>
 2022-08-01 17:20:27 +02:00
Paul A. Patience
32bcadc98c
gnu: trilinos-for-dealii-openmpi: Remove input labels. 
* gnu/packages/maths.scm (trilinos-for-dealii-openmpi)[native-inputs,
inputs, propagated-inputs]: Remove labels.

Signed-off-by: Ludovic Courtès <ludo@gnu.org>
 2022-08-01 17:20:26 +02:00
Paul A. Patience
a42730183a
gnu: dealii: Update to 9.4.0. 
* gnu/packages/maths.scm (dealii): Update to 9.4.0.
[propagated-inputs]: Replace sundials-5 with sundials.
(dealii-openmpi)[propagated-inputs]: Replace sundials-openmpi-5 with
sundials-openmpi.

Signed-off-by: Ludovic Courtès <ludo@gnu.org>
 2022-08-01 17:20:26 +02:00
Paul A. Patience
6a15bd031f
gnu: dealii: Use G-expressions. 
* gnu/packages/maths.scm (dealii)[snippet, arguments]: Use
G-expressions.
(dealii-openmpi)[arguments]: Same.

Signed-off-by: Ludovic Courtès <ludo@gnu.org>
 2022-08-01 17:20:26 +02:00