summaryrefslogtreecommitdiff
path: root/gnu/packages/java.scm
AgeCommit message (Collapse)Author
2021-05-05gnu: Add tla2tools.Mike Gerwitz
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>
2021-05-05gnu: Add java-jline-reader.Mike Gerwitz
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>
2021-05-05gnu: Add java-jline-terminal.Mike Gerwitz
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>
2021-05-05gnu: Add java-eclipse-lsp4j packages.Mike Gerwitz
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>
2021-05-05gnu: Add java-eclipse-xtext-xbase-lib.Mike Gerwitz
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>
2021-05-05gnu: Add java-gson-2.8.6.Mike Gerwitz
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>
2021-05-04gnu: java-javaparser: Upgrade os.name to ‘Guix’.Tobias Geerinckx-Rice
* gnu/packages/java.scm (java-javaparser)[arguments]: Drop ‘SD’.
2021-04-21gnu: openjdk: Disallow references to the JDK used for build.Ludovic Courtès
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.
2021-04-21gnu: openjdk: Avoid non-top-level 'use-modules'.Ludovic Courtès
* gnu/packages/java.scm (icedtea-8, openjdk9, openjdk11)[arguments]: Replace non-top-level 'use-modules' by '@'.
2021-04-21gnu: openjdk: Fix library substitution when libraries aren't found.Carlo Zancanaro
* 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>
2021-04-21gnu: ant: Update to 1.10.10.Tobias Geerinckx-Rice
* gnu/packages/java.scm (ant): Update to 1.10.10.
2021-04-20gnu: openjdk: Clean up runtime dependencies between Java versions.Carlo Zancanaro
* 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>
2021-04-01gnu: Fix packages that were importing Guile modules from the host.Ludovic Courtès
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.
2021-03-12gnu: java-openjfx-graphics: Install native libraries.Ricardo Wurmus
* gnu/packages/java.scm (java-openjfx-graphics)[arguments]: Add phase copy-missing-file and build-native. [native-inputs]: Add missing source file.
2021-03-11gnu: Add java-openjfx-controls.Ricardo Wurmus
* gnu/packages/java.scm (java-openjfx-controls): New variable.
2021-02-16gnu: java-args4j: Use a source file-name.Efraim Flashner
* gnu/packages/java.scm (java-args4j)[source]: Add file-name field.
2021-02-15gnu: Add java-args4j.Ricardo Wurmus
* gnu/packages/java.scm (java-args4j): New variable.
2021-02-12gnu: Fix indentation in OpenJDK packages.Leo Prikler
* gnu/packages/java.scm (openjdk9, openjdk10, openjdk11, openjdk12) (openjdk13, openjdk14): Untabify and indent with Emacs.
2021-02-12gnu: openjdk@11: Add phase to hardcode libraries.Björn Höfling
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>
2021-02-12gnu: openjdk@9 : Add phase to hardcode libraries.Björn Höfling
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>
2021-01-17gnu: abcl: Update to 1.8.0.Vincent Legoll
* gnu/packages/java.scm (abcl): Update to 1.8.0. Signed-off-by: Guillaume Le Vaillant <glv@posteo.net>
2020-12-28gnu: ant: Update to 1.10.9.Vincent Legoll
* gnu/packages/java.scm (ant): Update to 1.10.9. Signed-off-by: Julien Lepiller <julien@lepiller.eu>
2020-12-27gnu: java-bouncycastle: Update to 1.67.Vincent Legoll
* gnu/packages/java.scm (bouncycastle): Update to 1.67. Signed-off-by: Björn Höfling <bjoern.hoefling@bjoernhoefling.de>
2020-12-19gnu: java-antlr4-runtime: Update home page.Nicolas Goaziou
* gnu/packages/java.scm (java-antlr4-runtime)[home-page]: Update it.
2020-11-22Merge branch 'master' into stagingMarius Bakke
2020-11-19gnu: Don't append '.git' to GitHub uris.Efraim Flashner
* 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.
2020-11-07Merge branch 'master' into stagingMarius Bakke
Conflicts: gnu/local.mk gnu/packages/gdb.scm gnu/packages/lisp-xyz.scm gnu/packages/web-browsers.scm
2020-11-04gnu: java-fasterxml-jackson-dataformat-xml: Don't use unstable tarball.Efraim Flashner
* gnu/packages/java.scm (java-fasterxml-jackson-dataformat-xml)[source]: Download using git-fetch.
2020-11-04gnu: java-woodstox-core: Don't use unstable tarball.Efraim Flashner
* gnu/packages/java.scm (java-woodstox-core)[source]: Download using git-fetch.
2020-10-30gnu: java-fasterxml-jackson-core: Add synopsis and description.Julien Lepiller
* gnu/packages/java.scm (java-fasterxml-jackson-core): Add synopsis and description.
2020-10-28gnu: icedtea-8: Fix build on aarch64-linux.Simon South
* 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>
2020-10-28gnu: icedtea-8: Build in parallel using correct number of jobs.Simon South
* gnu/packages/java.scm (icedtea-8)[arguments]<#:configure-flags>: Add "--with-parallel-jobs". Signed-off-by: Efraim Flashner <efraim@flashner.co.il>
2020-10-28gnu: icedtea-7: Fix build on aarch64-linux.Simon South
* 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>
2020-10-28gnu: icedtea-7: Build in parallel using correct number of jobs.Simon South
* gnu/packages/java.scm (icedtea-7)[arguments]<#:configure-flags>: Add "--with-parallel-jobs". Signed-off-by: Efraim Flashner <efraim@flashner.co.il>
2020-10-28gnu: icedtea-6: Fix build on aarch64-linux.Simon South
* 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>
2020-10-28gnu: icedtea-6: Remove obsolete, architecture-dependent patch.Simon South
* 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>
2020-10-28gnu: icedtea-6: Build in parallel using correct number of jobs.Simon South
* gnu/packages/java.scm (icedtea-6)[arguments]<#:configure-flags>: Supply parameter to "--with-parallel-jobs". Signed-off-by: Efraim Flashner <efraim@flashner.co.il>
2020-10-23gnu: hdf5: Default to 1.10.Ludovic Courtès
This is a followup to 593096355501dfd76c2e92b1fbd87f940ab1d1f2. * gnu/packages/maths.scm (hdf5): Change to HDF5-1.10. (hdf-java, hdf-eos5, h5check, netcdf, matio)[inputs]: Use HDF5-1.8. * gnu/packages/java.scm (java-cisd-jhdf5)[inputs]: Likewise.
2020-10-14gnu: Add java-javaparser.Julien Lepiller
* gnu/packages/java.scm (java-javaparser): New variable.
2020-10-14gnu: Add java-tunnelvisionlabs-antlr4.Julien Lepiller
* gnu/packages/java.scm (java-tunnelvisionlabs-antlr4): New variable.
2020-10-14gnu: Add java-tunnelvisionlabs-antlr4-runtime.Julien Lepiller
* gnu/packages/java.scm (java-tunnelvisionlabs-antlr4-runtime): New variable.
2020-10-14gnu: Add java-tunnelvisionlabs-antlr4-runtime-annotations.Julien Lepiller
* gnu/packages/java.scm (java-tunnelvisionlabs-antlr4-runtime-annotations): New variable. * gnu/packages/patches/java-tunnelvisionlabs-antlr-code-too-large.patch: New file. * gnu/local.mk (dist_patch_DATA): Add it.
2020-10-14gnu: Add antlr4-4.1.Julien Lepiller
* gnu/packages/java.scm (antlr4-4.1): New variable.
2020-10-14gnu: Add java-antlr4-runtime-4.1.Julien Lepiller
* gnu/packages/java.scm (java-antlr4-runtime-4.1): New variable.
2020-10-14gnu: Add java-asm-util-8.Julien Lepiller
* gnu/packages/java.scm (java-asm-util-8): New variable.
2020-10-14gnu: Add java-asm-analysis-8.Julien Lepiller
* gnu/packages/java.scm (java-asm-analysis-8): New variable.
2020-10-14gnu: Add java-asm-tree-8.Julien Lepiller
* gnu/packages/java.scm (java-asm-tree-8): New variable.
2020-10-14gnu: Add java-asm-8.Julien Lepiller
* gnu/packages/java.scm (java-asm-8): New variable.
2020-10-14gnu: ant: Update to 1.9.15.Julien Lepiller
* gnu/packages/java.scm (ant): Update to 1.9.15.
2020-10-14gnu: ant/java8: Update to 1.10.8.Julien Lepiller
* gnu/packages/java.scm (ant/java8): Update to 1.10.8.