| Age | Commit message (Expand) | Author |
|---|
| 2021-09-27 | gnu: tla2tools: Build from a known commit....Reported by Andrew Patterson <andrewpatt7@gmail.com>.
* gnu/packages/java.scm (tla2tools)[version, source]: Use a commit (and
GIT-VERSION) instead of a tag.
| Tobias Geerinckx-Rice |
| 2021-07-25 | gnu: java-commons-codec: Update to 1.15....* gnu/packages/java.scm (java-commons-codec): Update to 1.15.
| Tobias Geerinckx-Rice |
| 2021-07-25 | gnu: java-commons-codec: Fix build on non-huge-memory machines....* gnu/packages/java.scm (java-commons-codec)[arguments]: Add a new
'skip-ravenous-test phase.
| Tobias Geerinckx-Rice |
| 2021-07-25 | gnu: java-commons-codec: Don't return #t from phases....* gnu/packages/java.scm (java-commons-codec)[arguments]: Don't return #t
from phases.
| Tobias Geerinckx-Rice |
| 2021-06-22 | gnu: java-kafka-clients: Disable failing test....* gnu/packages/java.scm (java-kafka-clients): Disable a test that fails
non-deterministically.
| Julien Lepiller |
| 2021-06-22 | gnu: java-jmh: Switch to maven-build-system....* gnu/packages/java.scm (java-jmh): Switch to maven-build-system.
| Julien Lepiller |
| 2021-06-22 | gnu: java-jmh: Update to 1.32....* gnu/packages/java.scm (java-jmh): Update to 1.32.
[source]: Switch to the git repository.
| Julien Lepiller |
| 2021-06-22 | gnu: java-commons-math3: Install to maven repository....* gnu/packages/java.scm (java-commons-math3)[phases]: Use
install-from-pom.
| Julien Lepiller |
| 2021-06-22 | gnu: Add java-jopt-simple-4....* gnu/packges/java.scm (java-jopt-simple-4): New variable.
(java-jopt-simple): Install to maven repository structure.
| Julien Lepiller |
| 2021-06-22 | guix: java-utils: Factorize pom.xml generation....* guix/build/java-utils.scm (generate-pom.xml): New procedure.
* gnu/packages/maven.scm (java-surefire-junit4): Use it.
* gnu/packages/java.scm (java-qdox, java-jsr250, java-jsr305)
(java-aopalliance, java-jboss-el-api-spec)
(java-jboss-interceptors-api-spec): Use it.
(java-qdox-M9): Ensure the generated pom file has the correct version.
| Julien Lepiller |
| 2021-06-13 | gnu: Add openjdk16....* gnu/packages/java.scm (openjdk16): New variable.
| Pierre Langlois |
| 2021-06-13 | gnu: Add openjdk15....* gnu/packages/java.scm (openjdk15): New variable.
| Pierre Langlois |
| 2021-06-13 | gnu: openjdk14: Update to 14.0.2....* gnu/packages/java.scm (openjdk14): Update to 14.0.2.
[source]: Switch to https://github.com/openjdk/jdk14u.
| Pierre Langlois |
| 2021-06-13 | gnu: openjdk13: Update to 13.0.7....* gnu/packages/java.scm (openjdk13): Update to 13.0.7.
[source]: Switch to https://github.com/openjdk/jdk13u.
| Pierre Langlois |
| 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-04 | gnu: java-javaparser: Upgrade os.name to ‘Guix’....* gnu/packages/java.scm (java-javaparser)[arguments]: Drop ‘SD’.
| Tobias Geerinckx-Rice |
| 2021-04-21 | gnu: openjdk: Disallow references to the JDK used for build....This ensures JDKs don't unintentionally keep references to the one used
to build them, as reported at <https://issues.guix.gnu.org/31719#7> and
fixed by 97a43db8b4416a1450aa61737edba9cf4126cf1c.
* gnu/packages/java.scm (icedtea-8)[arguments]: Add #:disallowed-references.
(openjdk9)[arguments]: Likewise.
(openjdk10)[arguments]: Likewise.
(openjdk11)[arguments]: Likewise.
| Ludovic Courtès |
| 2021-04-21 | gnu: openjdk: Avoid non-top-level 'use-modules'....* gnu/packages/java.scm (icedtea-8, openjdk9, openjdk11)[arguments]:
Replace non-top-level 'use-modules' by '@'.
| Ludovic Courtès |
| 2021-04-21 | gnu: openjdk: Fix library substitution when libraries aren't found....* gnu/packages/java.scm (icedtea-8, openjdk9, openjdk11)[arguments]:
Change 'find-library' to always return a string. Change 'find-library'
callers to use 'string-append' rather than 'format'. Starting from
97a43db8b4416a1450aa61737edba9cf4126cf1c, 'find-library' could return #f
and JNI substitutions would emit a literal "#f".
Co-authored-by: Ludovic Courtès <ludo@gnu.org>
| Carlo Zancanaro |
| 2021-04-21 | gnu: ant: Update to 1.10.10....* gnu/packages/java.scm (ant): Update to 1.10.10.
| Tobias Geerinckx-Rice |
| 2021-04-20 | gnu: openjdk: Clean up runtime dependencies between Java versions....* gnu/packages/java.scm (icedtea-8, openjdk9, openjdk11): Do not consider
icedtea/openjdk input paths when rewriting JNI libraries.
Signed-off-by: Andreas Enge <andreas@enge.fr>
| Carlo Zancanaro |
| 2021-04-01 | gnu: Fix packages that were importing Guile modules from the host....Those packages were importing (ice-9 match) & co. from the host Guile,
which could potentially lead to different derivations depending on the
Guile in use.
Uncovered by the warning emitted by 'gexp-modules'.
* gnu/packages/admin.scm (inxi-minimal)[arguments]: Remove Guile modules
from #:modules.
* gnu/packages/dns.scm (ddclient)[arguments]: Likewise.
* gnu/packages/tex.scm (texlive-latex-koma-script)[arguments]: Likewise.
* gnu/packages/java.scm (openjdk11)[arguments]: Likewise for #:imported-modules.
| Ludovic Courtès |
| 2021-03-12 | gnu: java-openjfx-graphics: Install native libraries....* gnu/packages/java.scm (java-openjfx-graphics)[arguments]: Add phase
copy-missing-file and build-native.
[native-inputs]: Add missing source file.
| Ricardo Wurmus |
| 2021-03-11 | gnu: Add java-openjfx-controls....* gnu/packages/java.scm (java-openjfx-controls): New variable.
| Ricardo Wurmus |
| 2021-02-16 | gnu: java-args4j: Use a source file-name....* gnu/packages/java.scm (java-args4j)[source]: Add file-name field.
| Efraim Flashner |
| 2021-02-15 | gnu: Add java-args4j....* gnu/packages/java.scm (java-args4j): New variable.
| Ricardo Wurmus |
| 2021-02-12 | gnu: Fix indentation in OpenJDK packages....* gnu/packages/java.scm (openjdk9, openjdk10, openjdk11, openjdk12)
(openjdk13, openjdk14): Untabify and indent with Emacs.
| Leo Prikler |
| 2021-02-12 | gnu: openjdk@11: Add phase to hardcode libraries....This fixes a NullPointerException related to using fontconfig,
see also <https://bugs.gnu.org/41177>.
* gnu/packages/java.scm (openjdk11)[arguments]: Add patch-jni-libs phase.
Signed-off-by: Leo Prikler <leo.prikler@student.tugraz.at>
| Björn Höfling |
| 2021-02-12 | gnu: openjdk@9 : Add phase to hardcode libraries....This fixes a NullPointerException related to using fontconfig,
see also <https://bugs.gnu.org/41177>.
* gnu/packages/java.scm (openjdk9)[arguments]: Add patch-jni-libs phase.
Signed-off-by: Leo Prikler <leo.prikler@student.tugraz.at>
| Björn Höfling |
| 2021-01-17 | gnu: abcl: Update to 1.8.0....* gnu/packages/java.scm (abcl): Update to 1.8.0.
Signed-off-by: Guillaume Le Vaillant <glv@posteo.net>
| Vincent Legoll |
| 2020-12-28 | gnu: ant: Update to 1.10.9....* gnu/packages/java.scm (ant): Update to 1.10.9.
Signed-off-by: Julien Lepiller <julien@lepiller.eu>
| Vincent Legoll |
| 2020-12-27 | gnu: java-bouncycastle: Update to 1.67....* gnu/packages/java.scm (bouncycastle): Update to 1.67.
Signed-off-by: Björn Höfling <bjoern.hoefling@bjoernhoefling.de>
| Vincent Legoll |
| 2020-12-19 | gnu: java-antlr4-runtime: Update home page....* gnu/packages/java.scm (java-antlr4-runtime)[home-page]: Update it.
| Nicolas Goaziou |
| 2020-11-22 | Merge branch 'master' into staging | Marius Bakke |
| 2020-11-19 | gnu: Don't append '.git' to GitHub uris....* gnu/packages/admin.scm (nmrpflash)[source]: Remove '.git' from URI.
* gnu/packages/aidc.scm (zxing-cpp),
* gnu/packages/assembly.scm (mbuild),
* gnu/packages/audio.scm (opensles, wildmidi, tinyalsa),
* gnu/packages/browser-extensions.scm (ublock-origin-chromium),
* gnu/packages/check.scm (mutest),
* gnu/packages/compression.scm (unshield),
* gnu/packages/coq.scm (subset),
* gnu/packages/dictionaries.scm (translate-shell),
* gnu/packages/disk.scm (memkind),
* gnu/packages/documentation.scm (latex2html),
* gnu/packages/emacs-xyz.scm (emacs-chronometrist,
emacs-flycheck-ledger, emacs-counsel-notmuch, emacs-spaceline,
emacs-org-generate),
* gnu/packages/embedded.scm (ebusd, ebusd-configuration),
* gnu/packages/enchant.scm (nuspell),
* gnu/packages/fontutils.scm (woff2),
* gnu/packages/geo.scm (memphis),
* gnu/packages/gimp.scm (mrg),
* gnu/packages/gnome-xyz.scm (gnome-shell-extension-appindicator),
* gnu/packages/gnome.scm (parlatype),
* gnu/packages/golang.scm (go-github-com-tv42-httpunix,
go-github-com-ayufan-golang-kardianos-service),
* gnu/packages/graphics.scm (eglexternalplatform, egl-wayland, mmm,
directfb, flux),
* gnu/packages/gstreamer.scm (openni2, ccextractor, libvisual,
graphene),
* gnu/packages/guile-xyz.scm (guile-srfi-180, guile-torrent),
* gnu/packages/image.scm (openjpeg-data),
* gnu/packages/java.scm (javacc),
* gnu/packages/language.scm (liblouis, liblouisutdml),
* gnu/packages/linux.scm (pamela, ttyebus),
* gnu/packages/lxqt.scm (lxqt-connman-applet),
* gnu/packages/mail.scm (libetpan),
* gnu/packages/man.scm (ronn),
* gnu/packages/music.scm (tascam-gtk, artyfx),
* gnu/packages/networking.scm (srt, lksctp-tools, nng, nanomsg),
* gnu/packages/python-crypto.scm (pure-python-otr),
* gnu/packages/qt.scm (qtspell),
* gnu/packages/raspberry-pi.scm (raspi-gpio, raspi-open-firmware),
* gnu/packages/rdp.scm (freerdp),
* gnu/packages/ruby.scm (ruby-prawn-templates, ruby-treetop, ruby-gimme,
ruby-standard, ruby-rubocop-ast, ruby-rexml, ruby-range-compressor,
ruby-regexp-property-values, ruby-regexp-parser, ruby-rubocop,
ruby-pdf-reader, ruby-pdf-inspector, ruby-prawn),
* gnu/packages/syncthing.scm (syncthing-gtk),
* gnu/packages/video.scm (svt-hevc, mediasdk, libvideogfx, libde265,
tslib),
* gnu/packages/xml.scm (libxmlb, libxmlplusplus)[source]: Same.
| Efraim Flashner |
| 2020-11-07 | Merge branch 'master' into staging... Conflicts:
gnu/local.mk
gnu/packages/gdb.scm
gnu/packages/lisp-xyz.scm
gnu/packages/web-browsers.scm
| Marius Bakke |
| 2020-11-04 | gnu: java-fasterxml-jackson-dataformat-xml: Don't use unstable tarball....* gnu/packages/java.scm (java-fasterxml-jackson-dataformat-xml)[source]:
Download using git-fetch.
| Efraim Flashner |
| 2020-11-04 | gnu: java-woodstox-core: Don't use unstable tarball....* gnu/packages/java.scm (java-woodstox-core)[source]: Download using
git-fetch.
| Efraim Flashner |
| 2020-10-30 | gnu: java-fasterxml-jackson-core: Add synopsis and description....* gnu/packages/java.scm (java-fasterxml-jackson-core): Add synopsis and
description.
| Julien Lepiller |
| 2020-10-28 | gnu: icedtea-8: Fix build on aarch64-linux....* gnu/packages/java.scm (icedtea-8)[native-inputs]: Remove obsolete,
architecture-dependent patch to "hotspot-drop".
* gnu/packages/patches/icedtea-7-hotspot-gcc-segfault-workaround.patch: Delete
file.
* gnu/local.mk (dist_patch_DATA): Remove it.
Signed-off-by: Efraim Flashner <efraim@flashner.co.il>
| Simon South |
| 2020-10-28 | gnu: icedtea-8: Build in parallel using correct number of jobs....* gnu/packages/java.scm (icedtea-8)[arguments]<#:configure-flags>: Add
"--with-parallel-jobs".
Signed-off-by: Efraim Flashner <efraim@flashner.co.il>
| Simon South |
| 2020-10-28 | gnu: icedtea-7: Fix build on aarch64-linux....* gnu/packages/java.scm (icedtea-7)[native-inputs]: Remove obsolete,
architecture-dependent patch to "hotspot-drop"; replace with patch to fix
build on aarch64-linux.
* gnu/packages/patches/icedtea-7-hotspot-aarch64-use-c++98.patch: New file.
* gnu/local.mk (dist_patch_DATA): Add it.
Signed-off-by: Efraim Flashner <efraim@flashner.co.il>
| Simon South |
| 2020-10-28 | gnu: icedtea-7: Build in parallel using correct number of jobs....* gnu/packages/java.scm (icedtea-7)[arguments]<#:configure-flags>: Add
"--with-parallel-jobs".
Signed-off-by: Efraim Flashner <efraim@flashner.co.il>
| Simon South |
| 2020-10-28 | gnu: icedtea-6: Fix build on aarch64-linux....* gnu/packages/java.scm (icedtea-6)[source]: Add patch.
* gnu/packages/patches/icedtea-6-extend-hotspot-aarch64-support.patch:
New file.
* gnu/local.mk (dist_patch_DATA): Add it.
Signed-off-by: Efraim Flashner <efraim@flashner.co.il>
| Simon South |
| 2020-10-28 | gnu: icedtea-6: Remove obsolete, architecture-dependent patch....* gnu/packages/java.scm (icedtea-6)[arguments]<#:phases>: Remove special
handling of "hotspot-src" input during "unpack" phase.
[native-inputs]: Remove patch to "hotspot-src".
* gnu/packages/patches/icedtea-6-hotspot-gcc-segfault-workaround.patch: Delete
file.
* gnu/local.mk (dist_patch_DATA): Remove it.
Signed-off-by: Efraim Flashner <efraim@flashner.co.il>
| Simon South |
