tribes/guix
1
0
Fork 1
mirror of https://git.savannah.gnu.org/git/guix.git synced 2026-04-25 03:30:30 +02:00
Code Activity
105,042 Commits 75 Branches 40 Tags
07746c2b153dfeacf714261f330c04d42e570f3c
Commit Graph

1117 Commits

Author SHA1 Message Date
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
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