| Age | Commit message (Expand) | Author |
|---|
| 2021-05-05 | gnu: emacs-corfu: Update to 0.6....* gnu/packages/emacs-xyz.scm (emacs-corfu): Update to 0.6.
Signed-off-by: Leo Prikler <leo.prikler@student.tugraz.at>
| Xinglu Chen |
| 2021-05-05 | gnu: Add tla2tools....This introduces tla2tools.jar, which contains the TLA+ model checker
and simulator (TLC); a TLA+ REPL; a semantic analyzer (SANY); the TLATeX
typesetting system; PlusCal translator; and more. I have added five
wrapper scripts for convenience, rather than invoking `java' manually.
The wrapper scripts are not comprehensive; users who are familiar with
tla2tools.jar, or have read the book Specifying Systems, may still
invoke the commands in the traditional way.
The minimum JDK version is 11. I chose to stick with that rather than
bumping it to 14 (which is the largest version currently in Guix)
because each OpenJDK version in Guix depends on the version before it,
and so it needlessly results in many 100s of MiB of unnecessary
dependencies.
Note that this is _not_ the TLA+ Toolbox, which is the GUI commonly used
with TLA+.
* gnu/packages/java.scm (tla2tools): New variable.
* gnu/packages/patches/tla2tools-build-xml.patch: New patch.
* gnu/local.mk (dist_patch_DATA): Add it.
Signed-off-by: Ludovic Courtès <ludo@gnu.org>
| Mike Gerwitz |
| 2021-05-05 | gnu: Add java-jline-reader....This package is part of JLine 3.
* gnu/packages/java.scm (java-jline-reader): New variable.
Signed-off-by: Ludovic Courtès <ludo@gnu.org>
| Mike Gerwitz |
| 2021-05-05 | gnu: Add java-jline-terminal....This is part of JLine 3.
I was able to get this working properly under Guix by providing ncurses'
infocmp, as well as ensuring the *.caps files were present in the JAR,
but similar methods didn't work for the tests; if you have Java
knowledge, I'd appreciate the help getting those tests enabled.
* gnu/packages/java.scm (java-jline-terminal): New variable.
Signed-off-by: Ludovic Courtès <ludo@gnu.org>
| Mike Gerwitz |
| 2021-05-05 | gnu: Add java-eclipse-lsp4j packages....All of these packages are components of java-eclipse-lsp4j, packaged
independently. This contains only what was needed for tla2tools, and so
there are parts of java-eclipse-lsp4j that are not packaged.
Note that this does not package the latest version (0.12.0 at the time
of writing)---it depends on the Xtend language, which is a huge
packaging effort. 0.10.0 is the version expected by tla2tools, for
which this dependency was introduced.
* gnu/packages/java.scm (java-eclipse-lsp4j-common): New variable.
(java-eclipse-lsp4j-jsonrpc): New variable.
(java-eclipse-lsp4j-jsonrpc-debug): New variable.
(java-eclipse-lsp4j-generator): New variable.
(java-eclipse-lsp4j-debug): New variable.
Signed-off-by: Ludovic Courtès <ludo@gnu.org>
| Mike Gerwitz |
| 2021-05-05 | gnu: Add java-eclipse-xtext-xbase-lib....This package is a component of xtext-lib. The rest of xtext-lib was not
added.
* gnu/packages/java.scm (java-eclipse-xtext-xbase-lib): New variable.
Signed-off-by: Ludovic Courtès <ludo@gnu.org>
| Mike Gerwitz |
| 2021-05-05 | gnu: Add java-gson-2.8.6....This introduces a new package rather than upgrading the exist java-gson
package because it is built using OpenJDK11; I didn't want to have to
propagate that JDK dependency to the other packages that use it.
OpenJDK 11 was chosen becuase this dependency was introduced for
tla2tools.
* gnu/packages/java.scm (java-gson-2.8.6): New variable.
Signed-off-by: Ludovic Courtès <ludo@gnu.org>
| Mike Gerwitz |
| 2021-05-05 | gnu: racket: Add aditional mirrors....* gnu/packages/racket.scm (racket-minimal, racket)[source](uri): Lift
base urls into a new internal variable, '%installer-mirrors'.
Add mirrors at the University of Utah, Northwestern University,
the University of Waterloo, and Vrije Universiteit Brussel (Infogroep).
Signed-off-by: Ludovic Courtès <ludo@gnu.org>
| Philip McGrath |
| 2021-05-05 | gnu: racket: Racket inherits racket-minimal, not vice versa....By design, the `racket` package is equivalent to 'racket-minimal'
plus 'raco pkg install -i main-distribution'.
This switch brings the Guix packages a small step closer to that goal.
* gnu/packages/racket.scm (racket-minimal, racket): Change
'racket-minimal' to be the base package and 'racket' to inherit
from it. Move 'version', 'patches', 'home-page', 'build-system',
'arguments', and 'license' to 'racket-minimal'.
* gnu/packages/racket.scm (racket)[inputs]: Rather than copy and
pasting, use '(package-inputs racket-minimal)'.
Signed-off-by: Ludovic Courtès <ludo@gnu.org>
| Philip McGrath |
| 2021-05-05 | gnu: racket: Remove obsolete patch....* gnu/packages/racket.scm (racket)[source](patches): Remove
"racket-store-checksum-override.patch", which is no longer needed since
we stopped injecting store paths into Racket files in commit 834aa48:
see <https://issues.guix.gnu.org/47180>.
* gnu/packages/patches/racket-store-checksum-override.patch: Delete file.
* gnu/local.mk (dist_patch_DATA): Remove it.
Signed-off-by: Ludovic Courtès <ludo@gnu.org>
| Philip McGrath |
| 2021-05-05 | gnu: racket: Move to (gnu packages racket)....* gnu/packages/scheme.scm (racket,racket-minimal): Move to ...
* gnu/packages/racket.scm: ... this new file.
* gnu/local.mk (GNU_SYSTEM_MODULES): Add it.
* gnu/packages/racket.scm (racket)[synopsis]: Tweak.
Signed-off-by: Ludovic Courtès <ludo@gnu.org>
| Philip McGrath |
| 2021-05-05 | gnu: Add labplot....* gnu/packages/kde.scm (labplot): New variable.
Signed-off-by: Ludovic Courtès <ludo@gnu.org>
| Vinicius Monego |
| 2021-05-05 | gnu: Add libcerf....* gnu/packages/maths.scm (libcerf): New variable.
Signed-off-by: Ludovic Courtès <ludo@gnu.org>
| Vinicius Monego |
| 2021-05-05 | gnu: Add castget....* gnu/packages/gpodder.scm (castget): New variable.
Signed-off-by: Ludovic Courtès <ludo@gnu.org>
| Stefan Reichör |
| 2021-05-05 | gnu: Add xmlsec-openssl....* gnu/packages/xml.scm (xmlsec-openssl): New variable.
Signed-off-by: Ludovic Courtès <ludo@gnu.org>
| Simon Josefsson |
| 2021-05-05 | gnu: xboard: Set default engine to gnuchess....Fixes <https://issues.guix.gnu.org/45236>.
* gnu/packages/games.scm (xboard): Set default engine to gnuchess.
[arguments]: Add phase 'patch-default-engine.
[inputs]: Add chess.
Signed-off-by: Ludovic Courtès <ludo@gnu.org>
| Michael Rohleder |
| 2021-05-05 | gnu: lepton-eda: Switch to Guile 3.0....* gnu/packages/engineering.scm (lepton-eda)[inputs]: Replace GUILE-2.2
with GUILE-3.0.
| Ludovic Courtès |
| 2021-05-05 | gnu: python-pybedtools: Update to 0.8.2....* gnu/packages/bioinformatics.scm (python-pybedtools): Update to 0.8.2.
[arguments]: Remove outdated substitutions; simplify check phase.
| Ricardo Wurmus |
| 2021-05-05 | gnu: python-nbconvert: Use patched texlive-amsfonts....This is intended to fix a non-deterministic build error when xelatex inspects
the fonts directory and finds a broken font from texlive-amsfonts before the
correct font in texlive-cm.
* gnu/packages/python-xyz.scm (python-nbconvert)[native-inputs]: Replace
texlive-amsfonts with texlive-amsfonts/patched.
| Ricardo Wurmus |
| 2021-05-05 | gnu: Add texlive-amsfonts/patched....* gnu/packages/tex.scm (texlive-amsfonts/patched): New variable.
| Ricardo Wurmus |
| 2021-05-05 | gnu: crm114: Use emacs-build-system install phase....* gnu/packages/mail.scm (crm114)[arguments]: Install the crm114 emacs mode
using the install phase from emacs-build-system, instead of in the custom
pre-install phase. Run the make-autoloads phase after this new
install-emacs-mode phase.
Signed-off-by: Leo Prikler <leo.prikler@student.tugraz.at>
| Arun Isaac |
| 2021-05-05 | gnu: guile2.2-guix: Add missing dependencies....Reported by Maxime Devos <maximedevos@telenet.be>.
* gnu/packages/package-management.scm (guile2.2-guix)[inputs]
[propagated-inputs]: Add GUILE2.2-LIB, GUILE2.2-ZLIB, and
GUILE2.2-LZLIB.
| Ludovic Courtès |
| 2021-05-05 | gnu: guile-lzlib: Add Guile 2.2 variant....* gnu/packages/guile.scm (guile2.2-lzlib): New variable.
| Ludovic Courtès |
| 2021-05-05 | gnu: guile-zlib: Add Guile 2.2 variant....* gnu/packages/guile.scm (guile2.2-zlib): New variable.
| Ludovic Courtès |
| 2021-05-05 | gnu: guix: Phases refer to #:system, #:target, and #:native-inputs....* gnu/packages/package-management.scm (guix)[arguments]: In
'copy-bootstrap-guile' and 'wrap-program' phases, refer to #:system,
#:native-inputs, and #:target instead of unquoting (%current-system)
and (%current-target-system).
| Ludovic Courtès |
| 2021-05-05 | gnu: guix: Avoid Bash wrapper....The Bash wrapper created by 'wrap-program' creates an extra
indirection and may annoyingly emit locale warnings:
/gnu/store/…-bash-minimal-5.0.16/bin/bash: warning: setlocale: LC_ALL: cannot change locale (wtf)
This warning would typically show up when running Guix, as produced by
'guix pack guix', on a foreign distro, annihilating efforts made in
1d4ab335b22a93e01c2eb1eb3e93fc6534157040 and
8a973abc6f7eebfcd8a904bfbb99cb9f86f66ef0.
* gnu/packages/package-management.scm (guix)[arguments]: In
'wrap-program' phase, remove 'string-join' call for PATH and GOPATH.
Replace 'wrap-program' call with a 'substitute*' form. Remove (when
target ...) form.
[inputs]: Remove "bash-minimal" added in commit
38b9af7c92344a17b6680ebd2aeea14171f84a1c and no longer needed.
| Ludovic Courtès |
| 2021-05-05 | gnu: guix: Add run-time dependency on Guile-Lib....This is a followup to 02e2e093e858e8a0ca7bd66c1f1f6fd0a1705edb, which
added Guile-Lib as an input but did not add it to the wrapper's search
path.
* gnu/packages/package-management.scm (guix)[arguments]: In
'wrap-program' phase, add GUILE-LIB to DEPS.
| Ludovic Courtès |
| 2021-05-05 | gnu: lepton-eda: Update to 1.9.14-20210407....* gnu/packages/engineering.scm (lepton-eda): Update to 1.9.14-20210407.
[arguments]: Adjust file names in 'fix-dynamic-link' phase.
| Ludovic Courtès |
| 2021-05-04 | gnu: Add node-once....* gnu/packages/node-xyz.scm (node-once): New variable.
Signed-off-by: Tobias Geerinckx-Rice <me@tobias.gr>
| Ron Nazarov |
| 2021-05-04 | gnu: knockd: Omit duplicate COPYING copy....* gnu/packages/networking.scm (knockd)[arguments]: Set the typical
‘--docdir’.
| Tobias Geerinckx-Rice |
| 2021-05-04 | gnu: knockd: Update to 0.8....* gnu/packages/networking.scm (knockd): Update to 0.8.
| Tobias Geerinckx-Rice |
| 2021-05-04 | gnu: powertop: Update to 2.14....* gnu/packages/linux.scm (powertop): Update to 2.14.
[source]: Use GIT-FETCH and GIT-FILE-NAME.
[arguments]: Add required #:configure-flags.
[native-inputs]: Add autoconf, automake, gettext, and libtool.
| Tobias Geerinckx-Rice |
| 2021-05-04 | gnu: rasdaemon: Edit synopsis & description....* gnu/packages/linux.scm (rasdaemon)[description]: Fix typo and edit.
| Tobias Geerinckx-Rice |
| 2021-05-04 | gnu: java-javaparser: Upgrade os.name to ‘Guix’....* gnu/packages/java.scm (java-javaparser)[arguments]: Drop ‘SD’.
| Tobias Geerinckx-Rice |
| 2021-05-04 | gnu: go-gopkg-in-go-playground-assert-v1: Fix typo in description....* gnu/packages/golang.scm (go-gopkg-in-go-playground-assert-v1)
[description]: Fix typo.
| Tobias Geerinckx-Rice |
| 2021-05-04 | gnu: Add r-naturalsort....* gnu/packages/cran.scm (r-naturalsort): New variable.
| Roel Janssen |
| 2021-05-04 | gnu: Exim: Update to 4.94.2 [security fixes]....Fixes CVE-2020-{27216,28007,28008,28009,28010,28011,28012,28013,28014,28015,
28016,28017,28018,28019,28020,28021,28022,28023,28024,28025,28026}.
See the upstream security advisory for more information:
https://exim.org/static/doc/security/CVE-2020-qualys/21nails.txt
* gnu/packages/mail.scm (exim): Update to 4.94.2.
| Leo Famulari |
| 2021-05-04 | gnu: s6-linux-init: Update to 1.0.6.3....* gnu/packages/skarnet.scm (s6-linux-init): Update to 1.0.6.3.
| Tobias Geerinckx-Rice |
| 2021-05-04 | gnu: ethtool: Update to 5.12....* gnu/packages/networking.scm (ethtool): Update to 5.12.
| Tobias Geerinckx-Rice |
| 2021-05-04 | gnu: gthumb: Update to 3.10.3....* gnu/packages/gnome.scm (gthumb): Update to 3.10.3.
| Tobias Geerinckx-Rice |
| 2021-05-04 | gnu: libhandy: Update to 1.2.2....* gnu/packages/gnome.scm (libhandy): Update to 1.2.2.
| Tobias Geerinckx-Rice |
| 2021-05-04 | gnu: busybox: Update to 1.33.1....* gnu/packages/busybox.scm (busybox): Update to 1.33.1.
[source]: Remove upstreamed patch.
* gnu/packages/patches/busybox-CVE-2021-28831.patch: Delete file.
* gnu/local.mk (dist_patch_DATA): Remove it.
| Tobias Geerinckx-Rice |
| 2021-05-04 | gnu: indi: Stop returning #t from phases....* gnu/packages/astronomy.scm (indi)[arguments]: Remove #t phase return values.
| Tobias Geerinckx-Rice |
| 2021-05-04 | gnu: indi: Respect #:tests?....* gnu/packages/astronomy.scm (indi)[arguments]: Respect #:tests? in the
'check phase.
| Tobias Geerinckx-Rice |
| 2021-05-04 | gnu: indi: Check slightly more functionally....* gnu/packages/astronomy.scm (indi)[arguments]: Substitute
WITH-DIRECTORY-EXCURSION for double CHDIR.
| Tobias Geerinckx-Rice |
| 2021-05-04 | gnu: indi: Update to 1.9.0....* gnu/packages/astronomy.scm (indi): Update to 1.9.0.
| Tobias Geerinckx-Rice |
| 2021-05-04 | gnu: bcachefs-tools: Prepare for cross-compilation....* gnu/packages/file-systems.scm (bcachefs-tools)[arguments]:
Use CC-FOR-TARGET and PKG-CONFIG-FOR-TARGET.
| Tobias Geerinckx-Rice |
| 2021-05-04 | gnu: bcachefs-tools: Update to 0.1-6.a14d39d....* gnu/packages/file-systems.scm (bcachefs-tools): Update to 0.1-6.a14d39d.
| Tobias Geerinckx-Rice |
| 2021-05-04 | gnu: bitcoin-core@0.21: Update to 0.21.1....* gnu/packages/finance.scm (bitcoin-core-0.21): Update to 0.21.1.
| Tobias Geerinckx-Rice |
| 2021-05-04 | gnu: Add r-guitar....* gnu/packages/bioconductor.scm (r-guitar): New variable.
| Ricardo Wurmus |
