summaryrefslogtreecommitdiff
path: root/gnu/packages/java.scm
Commit message (Collapse)AuthorAge
* 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: java-javaparser: Upgrade os.name to ‘Guix’.Tobias Geerinckx-Rice2021-05-04
| | | | * gnu/packages/java.scm (java-javaparser)[arguments]: Drop ‘SD’.
* gnu: openjdk: Disallow references to the JDK used for build.Ludovic Courtès2021-04-21
| | | | | | | | | | | 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.
* gnu: openjdk: Avoid non-top-level 'use-modules'.Ludovic Courtès2021-04-21
| | | | | * gnu/packages/java.scm (icedtea-8, openjdk9, openjdk11)[arguments]: Replace non-top-level 'use-modules' by '@'.
* gnu: openjdk: Fix library substitution when libraries aren't found.Carlo Zancanaro2021-04-21
| | | | | | | | | | * 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>
* gnu: ant: Update to 1.10.10.Tobias Geerinckx-Rice2021-04-21
| | | | * gnu/packages/java.scm (ant): Update to 1.10.10.
* gnu: openjdk: Clean up runtime dependencies between Java versions.Carlo Zancanaro2021-04-20
| | | | | | | * 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>
* gnu: Fix packages that were importing Guile modules from the host.Ludovic Courtès2021-04-01
| | | | | | | | | | | | | | 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.
* gnu: java-openjfx-graphics: Install native libraries.Ricardo Wurmus2021-03-12
| | | | | | * gnu/packages/java.scm (java-openjfx-graphics)[arguments]: Add phase copy-missing-file and build-native. [native-inputs]: Add missing source file.
* gnu: Add java-openjfx-controls.Ricardo Wurmus2021-03-11
| | | | * gnu/packages/java.scm (java-openjfx-controls): New variable.
* gnu: java-args4j: Use a source file-name.Efraim Flashner2021-02-16
| | | | * gnu/packages/java.scm (java-args4j)[source]: Add file-name field.
* gnu: Add java-args4j.Ricardo Wurmus2021-02-15
| | | | * gnu/packages/java.scm (java-args4j): New variable.
* gnu: Fix indentation in OpenJDK packages.Leo Prikler2021-02-12
| | | | | * gnu/packages/java.scm (openjdk9, openjdk10, openjdk11, openjdk12) (openjdk13, openjdk14): Untabify and indent with Emacs.
* gnu: openjdk@11: Add phase to hardcode libraries.Björn Höfling2021-02-12
| | | | | | | | | 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>
* gnu: openjdk@9 : Add phase to hardcode libraries.Björn Höfling2021-02-12
| | | | | | | | | 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>
* gnu: abcl: Update to 1.8.0.Vincent Legoll2021-01-17
| | | | | | * gnu/packages/java.scm (abcl): Update to 1.8.0. Signed-off-by: Guillaume Le Vaillant <glv@posteo.net>
* gnu: ant: Update to 1.10.9.Vincent Legoll2020-12-28
| | | | | | * gnu/packages/java.scm (ant): Update to 1.10.9. Signed-off-by: Julien Lepiller <julien@lepiller.eu>
* gnu: java-bouncycastle: Update to 1.67.Vincent Legoll2020-12-27
| | | | | | * gnu/packages/java.scm (bouncycastle): Update to 1.67. Signed-off-by: Björn Höfling <bjoern.hoefling@bjoernhoefling.de>
* gnu: java-antlr4-runtime: Update home page.Nicolas Goaziou2020-12-19
| | | | * gnu/packages/java.scm (java-antlr4-runtime)[home-page]: Update it.
* Merge branch 'master' into stagingMarius Bakke2020-11-22
|\
| * gnu: Don't append '.git' to GitHub uris.Efraim Flashner2020-11-19
| | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | * 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.
* | Merge branch 'master' into stagingMarius Bakke2020-11-07
|\| | | | | | | | | | | | | | | Conflicts: gnu/local.mk gnu/packages/gdb.scm gnu/packages/lisp-xyz.scm gnu/packages/web-browsers.scm
| * gnu: java-fasterxml-jackson-dataformat-xml: Don't use unstable tarball.Efraim Flashner2020-11-04
| | | | | | | | | | * gnu/packages/java.scm (java-fasterxml-jackson-dataformat-xml)[source]: Download using git-fetch.
| * gnu: java-woodstox-core: Don't use unstable tarball.Efraim Flashner2020-11-04
| | | | | | | | | | * gnu/packages/java.scm (java-woodstox-core)[source]: Download using git-fetch.
| * gnu: java-fasterxml-jackson-core: Add synopsis and description.Julien Lepiller2020-10-30
| | | | | | | | | | * gnu/packages/java.scm (java-fasterxml-jackson-core): Add synopsis and description.
| * gnu: hdf5: Default to 1.10.Ludovic Courtès2020-10-23
| | | | | | | | | | | | | | | | 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.
* | gnu: icedtea-8: Fix build on aarch64-linux.Simon South2020-10-28
| | | | | | | | | | | | | | | | | | | | * 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>
* | gnu: icedtea-8: Build in parallel using correct number of jobs.Simon South2020-10-28
| | | | | | | | | | | | | | * gnu/packages/java.scm (icedtea-8)[arguments]<#:configure-flags>: Add "--with-parallel-jobs". Signed-off-by: Efraim Flashner <efraim@flashner.co.il>
* | gnu: icedtea-7: Fix build on aarch64-linux.Simon South2020-10-28
| | | | | | | | | | | | | | | | | | | | * 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>
* | gnu: icedtea-7: Build in parallel using correct number of jobs.Simon South2020-10-28
| | | | | | | | | | | | | | * gnu/packages/java.scm (icedtea-7)[arguments]<#:configure-flags>: Add "--with-parallel-jobs". Signed-off-by: Efraim Flashner <efraim@flashner.co.il>
* | gnu: icedtea-6: Fix build on aarch64-linux.Simon South2020-10-28
| | | | | | | | | | | | | | | | | | * 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>
* | gnu: icedtea-6: Remove obsolete, architecture-dependent patch.Simon South2020-10-28
| | | | | | | | | | | | | | | | | | | | | | * 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>
* | gnu: icedtea-6: Build in parallel using correct number of jobs.Simon South2020-10-28
| | | | | | | | | | | | | | * gnu/packages/java.scm (icedtea-6)[arguments]<#:configure-flags>: Supply parameter to "--with-parallel-jobs". Signed-off-by: Efraim Flashner <efraim@flashner.co.il>
* | gnu: Add java-javaparser.Julien Lepiller2020-10-14
| | | | | | | | * gnu/packages/java.scm (java-javaparser): New variable.
* | gnu: Add java-tunnelvisionlabs-antlr4.Julien Lepiller2020-10-14
| | | | | | | | * gnu/packages/java.scm (java-tunnelvisionlabs-antlr4): New variable.
* | gnu: Add java-tunnelvisionlabs-antlr4-runtime.Julien Lepiller2020-10-14
| | | | | | | | | | * gnu/packages/java.scm (java-tunnelvisionlabs-antlr4-runtime): New variable.
* | gnu: Add java-tunnelvisionlabs-antlr4-runtime-annotations.Julien Lepiller2020-10-14
| | | | | | | | | | | | | | | | * 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.
* | gnu: Add antlr4-4.1.Julien Lepiller2020-10-14
| | | | | | | | * gnu/packages/java.scm (antlr4-4.1): New variable.
* | gnu: Add java-antlr4-runtime-4.1.Julien Lepiller2020-10-14
| | | | | | | | * gnu/packages/java.scm (java-antlr4-runtime-4.1): New variable.
* | gnu: Add java-asm-util-8.Julien Lepiller2020-10-14
| | | | | | | | * gnu/packages/java.scm (java-asm-util-8): New variable.
* | gnu: Add java-asm-analysis-8.Julien Lepiller2020-10-14
| | | | | | | | * gnu/packages/java.scm (java-asm-analysis-8): New variable.
* | gnu: Add java-asm-tree-8.Julien Lepiller2020-10-14
| | | | | | | | * gnu/packages/java.scm (java-asm-tree-8): New variable.
* | gnu: Add java-asm-8.Julien Lepiller2020-10-14
| | | | | | | | * gnu/packages/java.scm (java-asm-8): New variable.
* | gnu: ant: Update to 1.9.15.Julien Lepiller2020-10-14
| | | | | | | | * gnu/packages/java.scm (ant): Update to 1.9.15.
* | gnu: ant/java8: Update to 1.10.8.Julien Lepiller2020-10-14
| | | | | | | | * gnu/packages/java.scm (ant/java8): Update to 1.10.8.
generated by cgit v1.2.3 (git 2.45.0) at 2024-06-16 06:21:47 +0000