summaryrefslogtreecommitdiff
path: root/gnu
Commit message (Collapse)AuthorAge
* gnu: emacs-vertico: Update to 0.8.Xinglu Chen2021-05-05
| | | | | | * gnu/packages/emacs-xyz.scm (emacs-vertico): Update to 0.8. Signed-off-by: Leo Prikler <leo.prikler@student.tugraz.at>
* gnu: emacs-corfu: Update to 0.6.Xinglu Chen2021-05-05
| | | | | | * gnu/packages/emacs-xyz.scm (emacs-corfu): Update to 0.6. Signed-off-by: Leo Prikler <leo.prikler@student.tugraz.at>
* gnu: Add tla2tools.Mike Gerwitz2021-05-05
| | | | | | | | | | | | | | | | | | | | | | | | | 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>
* gnu: Add java-jline-reader.Mike Gerwitz2021-05-05
| | | | | | | | 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>
* gnu: Add java-jline-terminal.Mike Gerwitz2021-05-05
| | | | | | | | | | | | | 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>
* gnu: Add java-eclipse-lsp4j packages.Mike Gerwitz2021-05-05
| | | | | | | | | | | | | | | | | | | 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>
* gnu: Add java-eclipse-xtext-xbase-lib.Mike Gerwitz2021-05-05
| | | | | | | | | 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>
* gnu: Add java-gson-2.8.6.Mike Gerwitz2021-05-05
| | | | | | | | | | | | | 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>
* gnu: racket: Add aditional mirrors.Philip McGrath2021-05-05
| | | | | | | | | * 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>
* gnu: racket: Racket inherits racket-minimal, not vice versa.Philip McGrath2021-05-05
| | | | | | | | | | | | | | | 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>
* gnu: racket: Remove obsolete patch.Philip McGrath2021-05-05
| | | | | | | | | | | * 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>
* gnu: racket: Move to (gnu packages racket).Philip McGrath2021-05-05
| | | | | | | | | * 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>
* gnu: Add labplot.Vinicius Monego2021-05-05
| | | | | | * gnu/packages/kde.scm (labplot): New variable. Signed-off-by: Ludovic Courtès <ludo@gnu.org>
* gnu: Add libcerf.Vinicius Monego2021-05-05
| | | | | | * gnu/packages/maths.scm (libcerf): New variable. Signed-off-by: Ludovic Courtès <ludo@gnu.org>
* gnu: Add castget.Stefan Reichör2021-05-05
| | | | | | * gnu/packages/gpodder.scm (castget): New variable. Signed-off-by: Ludovic Courtès <ludo@gnu.org>
* gnu: Add xmlsec-openssl.Simon Josefsson2021-05-05
| | | | | | * gnu/packages/xml.scm (xmlsec-openssl): New variable. Signed-off-by: Ludovic Courtès <ludo@gnu.org>
* gnu: xboard: Set default engine to gnuchess.Michael Rohleder2021-05-05
| | | | | | | | | | 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>
* gnu: lepton-eda: Switch to Guile 3.0.Ludovic Courtès2021-05-05
| | | | | * gnu/packages/engineering.scm (lepton-eda)[inputs]: Replace GUILE-2.2 with GUILE-3.0.
* gnu: python-pybedtools: Update to 0.8.2.Ricardo Wurmus2021-05-05
| | | | | * gnu/packages/bioinformatics.scm (python-pybedtools): Update to 0.8.2. [arguments]: Remove outdated substitutions; simplify check phase.
* gnu: python-nbconvert: Use patched texlive-amsfonts.Ricardo Wurmus2021-05-05
| | | | | | | | | 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.
* gnu: Add texlive-amsfonts/patched.Ricardo Wurmus2021-05-05
| | | | * gnu/packages/tex.scm (texlive-amsfonts/patched): New variable.
* gnu: crm114: Use emacs-build-system install phase.Arun Isaac2021-05-05
| | | | | | | | | * 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>
* gnu: guile2.2-guix: Add missing dependencies.Ludovic Courtès2021-05-05
| | | | | | | | 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.
* gnu: guile-lzlib: Add Guile 2.2 variant.Ludovic Courtès2021-05-05
| | | | * gnu/packages/guile.scm (guile2.2-lzlib): New variable.
* gnu: guile-zlib: Add Guile 2.2 variant.Ludovic Courtès2021-05-05
| | | | * gnu/packages/guile.scm (guile2.2-zlib): New variable.
* gnu: guix: Phases refer to #:system, #:target, and #:native-inputs.Ludovic Courtès2021-05-05
| | | | | | | * 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).
* gnu: guix: Avoid Bash wrapper.Ludovic Courtès2021-05-05
| | | | | | | | | | | | | | | | | | | 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.
* gnu: guix: Add run-time dependency on Guile-Lib.Ludovic Courtès2021-05-05
| | | | | | | | | 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.
* gnu: lepton-eda: Update to 1.9.14-20210407.Ludovic Courtès2021-05-05
| | | | | * gnu/packages/engineering.scm (lepton-eda): Update to 1.9.14-20210407. [arguments]: Adjust file names in 'fix-dynamic-link' phase.
* gnu: Add node-once.Ron Nazarov2021-05-04
| | | | | | * gnu/packages/node-xyz.scm (node-once): New variable. Signed-off-by: Tobias Geerinckx-Rice <me@tobias.gr>
* gnu: knockd: Omit duplicate COPYING copy.Tobias Geerinckx-Rice2021-05-04
| | | | | * gnu/packages/networking.scm (knockd)[arguments]: Set the typical ‘--docdir’.
* gnu: knockd: Update to 0.8.Tobias Geerinckx-Rice2021-05-04
| | | | * gnu/packages/networking.scm (knockd): Update to 0.8.
* gnu: powertop: Update to 2.14.Tobias Geerinckx-Rice2021-05-04
| | | | | | | * 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.
* gnu: rasdaemon: Edit synopsis & description.Tobias Geerinckx-Rice2021-05-04
| | | | * gnu/packages/linux.scm (rasdaemon)[description]: Fix typo and edit.
* gnu: java-javaparser: Upgrade os.name to ‘Guix’.Tobias Geerinckx-Rice2021-05-04
| | | | * gnu/packages/java.scm (java-javaparser)[arguments]: Drop ‘SD’.
* gnu: go-gopkg-in-go-playground-assert-v1: Fix typo in description.Tobias Geerinckx-Rice2021-05-04
| | | | | * gnu/packages/golang.scm (go-gopkg-in-go-playground-assert-v1) [description]: Fix typo.
* gnu: Add r-naturalsort.Roel Janssen2021-05-04
| | | | * gnu/packages/cran.scm (r-naturalsort): New variable.
* gnu: Exim: Update to 4.94.2 [security fixes].Leo Famulari2021-05-04
| | | | | | | | | | | 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.
* gnu: s6-linux-init: Update to 1.0.6.3.Tobias Geerinckx-Rice2021-05-04
| | | | * gnu/packages/skarnet.scm (s6-linux-init): Update to 1.0.6.3.
* gnu: ethtool: Update to 5.12.Tobias Geerinckx-Rice2021-05-04
| | | | * gnu/packages/networking.scm (ethtool): Update to 5.12.
* gnu: gthumb: Update to 3.10.3.Tobias Geerinckx-Rice2021-05-04
| | | | * gnu/packages/gnome.scm (gthumb): Update to 3.10.3.
* gnu: libhandy: Update to 1.2.2.Tobias Geerinckx-Rice2021-05-04
| | | | * gnu/packages/gnome.scm (libhandy): Update to 1.2.2.
* gnu: busybox: Update to 1.33.1.Tobias Geerinckx-Rice2021-05-04
| | | | | | | * 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.
* gnu: indi: Stop returning #t from phases.Tobias Geerinckx-Rice2021-05-04
| | | | * gnu/packages/astronomy.scm (indi)[arguments]: Remove #t phase return values.
* gnu: indi: Respect #:tests?.Tobias Geerinckx-Rice2021-05-04
| | | | | * gnu/packages/astronomy.scm (indi)[arguments]: Respect #:tests? in the 'check phase.
* gnu: indi: Check slightly more functionally.Tobias Geerinckx-Rice2021-05-04
| | | | | * gnu/packages/astronomy.scm (indi)[arguments]: Substitute WITH-DIRECTORY-EXCURSION for double CHDIR.
* gnu: indi: Update to 1.9.0.Tobias Geerinckx-Rice2021-05-04
| | | | * gnu/packages/astronomy.scm (indi): Update to 1.9.0.
* gnu: bcachefs-tools: Prepare for cross-compilation.Tobias Geerinckx-Rice2021-05-04
| | | | | * gnu/packages/file-systems.scm (bcachefs-tools)[arguments]: Use CC-FOR-TARGET and PKG-CONFIG-FOR-TARGET.
* gnu: bcachefs-tools: Update to 0.1-6.a14d39d.Tobias Geerinckx-Rice2021-05-04
| | | | * gnu/packages/file-systems.scm (bcachefs-tools): Update to 0.1-6.a14d39d.
* file-systems: Rewrite comment.Tobias Geerinckx-Rice2021-05-04
| | | | | * gnu/build/file-systems.scm (read-bcachefs-superblock): Make comment less damned negative.
generated by cgit v1.2.3 (git 2.45.2) at 2024-08-04 05:50:25 +0000