futurile/guix-play
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity
104,555 Commits 3 Branches 0 Tags 412 MiB
6030bdcf6a
Commit Graph

1113 Commits

Author SHA1 Message Date
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
Paul A. Patience
bbf5e033d4
gnu: trilinos-for-dealii-openmpi: Fix build. 
* gnu/packages/maths.scm (trilinos-for-dealii-openmpi)[native-inputs]:
Add gcc-7 to fix the failing build with newer versions of gcc.

Signed-off-by: Ludovic Courtès <ludo@gnu.org>
 2022-08-01 17:20:26 +02:00
Paul A. Patience
e0de48f0e4
gnu: hdf5-1.8: Add missing comma to linker flag. 
* gnu/packages/maths.scm (hdf5-1.8)[arguments]<#:phases>: Add missing
comma to linker flag.

Signed-off-by: Ludovic Courtès <ludo@gnu.org>
 2022-08-01 14:08:08 +02:00
Maxim Cournoyer
eef8e2ec46
gnu: qttools: Rename to qttools-5. 
Automated with:

  git grep -l qttools | xargs sed 's/\bqttools\b/\0-5/g' -i
  git checkout NEWS
 2022-07-31 21:55:48 -04:00
Maxim Cournoyer
1ef04fb228
gnu: qtsvg: Rename variable to qtsvg-5. 
This is in preparation of the qtsvg update to version 6.

This change was automated via the following command:

  git grep -l '\bqtsvg\b' | xargs sed 's/qtsvg/qtsvg-5/g' -i
 2022-07-31 21:55:43 -04:00
Paul A. Patience
fa21cd31cb
gnu: gmsh: Update to 4.10.5. 
* gnu/packages/maths.scm (gmsh): Update to 4.10.5.
[source]: Reindent.

Signed-off-by: Christopher Baines <mail@cbaines.net>
 2022-07-15 09:46:16 +01:00
Paul A. Patience
ab636bde18
gnu: gmsh: Remove trailing booleans. 
* gnu/packages/maths.scm (gmsh)[snippet, arguments]: Remove trailing
booleans.

Signed-off-by: Christopher Baines <mail@cbaines.net>
 2022-07-15 09:46:15 +01:00
Paul A. Patience
d10af3fc97
gnu: gmsh: Remove input labels. 
* gnu/packages/maths.scm (gmsh)[inputs]: Remove labels.

Signed-off-by: Christopher Baines <mail@cbaines.net>
 2022-07-15 09:46:15 +01:00
Maxim Cournoyer
734f50c31d
gnu: elpa: Update source URL. 
Fixes <https://issues.guix.gnu.org/46460>.

* gnu/packages/maths.scm (elpa): Update source URL.

Reported-by: Danny Milosavljevic <dannym@scratchpost.org>
 2022-07-13 01:08:59 -04:00
Nicolas Goaziou
c0f6287974
gnu: nauty: Update package style. 
* gnu/packages/maths.scm (nauty)[arguments]: Use G-expressions. Remove
trailing #T.
 2022-07-04 15:22:03 +02:00
Nicolas Goaziou
c3a2d354e3
gnu: nauty: Update to 2.7r4. 
* gnu/packages/maths.scm (nauty): Update to 2.7r4.
 2022-07-04 15:19:11 +02:00
Sharlatan Hellseher
e8e7b4cdae
gnu: Add giza 
* gnu/packages/maths.scm (giza): New variable.

Signed-off-by: Ludovic Courtès <ludo@gnu.org>
 2022-07-04 12:29:05 +02:00
Zhu Zihao
0e64835b2e
gnu: z3: Prefer CMake to build the package. 
Z3 developer recommends to use CMake to build Z3 except the OCaml bindings.
Use CMake also enable us to cross compile z3.

* gnu/packages/maths.scm (z3)[build-system]: Use cmake-build-system.
[arguments]<#:configure-flags>: Add flags for CMake.
<#:phases>: Remove stale phase 'fix-compatability'.
In phase 'check', build the z3 test binary and don't test when cross
compiling.
Add phase 'compile-python-modules' phase to generate python bytecode cache for
z3 python binding.
Add phase 'fix-z3-library-path' to help z3 pythong binding to find the z3
shared library.

(ocaml-z3)[build-system]: Override the inherited value with 'gnu-build-system'.

Signed-off-by: Ludovic Courtès <ludo@gnu.org>
 2022-07-04 12:29:04 +02:00
Zhu Zihao
cec5142183
gnu: z3: Update to 4.8.17. 
* gnu/packages/maths.scm (z3): Update to 4.8.17.

Signed-off-by: Ludovic Courtès <ludo@gnu.org>
 2022-07-04 12:29:04 +02:00
Zhu Zihao
3366be5db0
gnu: z3: Use G-expressions. 
* gnu/packages/maths.scm (z3)[arguments]: Use G-expressions.
[native-inputs]: Use label-less style.

Signed-off-by: Ludovic Courtès <ludo@gnu.org>
 2022-07-04 12:29:04 +02:00
Jan (janneke) Nieuwenhuizen
36a0ec9e78
gnu: mcrl2: Update to 202206.0. 
* gnu/packages/patches/mcrl2-fix-1687.patch,
gnu/packages/patches/mcrl2-fix-counterexample.patch: New files.
* gnu/local.mk (dist_patch_DATA): Add them.
* gnu/packages/maths.scm (mcrl2): Update to 202206.0 and use them.
 2022-07-01 15:45:37 +02:00
Greg Hogan
4eddce8ce9
gnu: octave: Update to 7.1.0. 
* gnu/packages/maths.scm (octave): Update to 7.1.0.

Signed-off-by: Guillaume Le Vaillant <glv@posteo.net>
 2022-06-30 11:23:38 +02:00
Ontje Lünsdorf
d651f28017
gnu: hypre: Add missing dependencies on latex fonts. 
* gnu/packages/maths.scm (hypre)[native-inputs]: Add TEXLIVE-COURIER and
TEXLIVE-HELVETIC.

Signed-off-by: Ludovic Courtès <ludo@gnu.org>
 2022-06-23 23:20:57 +02:00
Ludovic Courtès
091eb323ba
Merge branch 'master' into staging 2022-06-08 14:53:16 +02:00
Vagrant Cascadian
a04a987450
gnu: itpp: Avoid embedding build dates. 
* gnu/packages/maths.scm (itpp): Add 'set-man-page-date and
  'set-force-source-date phases.
 2022-06-06 13:50:46 -07:00
Efraim Flashner
64c043e63a
Merge remote-tracking branch 'origin/master' into staging 2022-06-01 12:42:04 +03:00
Maxim Cournoyer
8824061544
gnu: Remove python2-kiwisolver. 
* gnu/packages/maths.scm (python2-kiwisolver): Delete variable.
 2022-05-31 14:53:36 -04:00