aboutsummaryrefslogtreecommitdiff
path: root/gnu/packages/engineering.scm
blob: 2102f8d2955d1ba1dfb0d78319e025f5d466612a (about) (plain)
blob size (104KB) exceeds display size limit (100KB).
s/java.scm?id=1b1eeb3b123162c4d73c939e9ca7bbbb4f79aef1'>gnu: java-jmh: Switch to maven-build-system....* gnu/packages/java.scm (java-jmh): Switch to maven-build-system. Julien Lepiller 2021-06-22gnu: 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-22gnu: java-commons-math3: Install to maven repository....* gnu/packages/java.scm (java-commons-math3)[phases]: Use install-from-pom. Julien Lepiller 2021-06-22gnu: 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-22guix: 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-13gnu: Add openjdk16....* gnu/packages/java.scm (openjdk16): New variable. Pierre Langlois 2021-06-13gnu: Add openjdk15....* gnu/packages/java.scm (openjdk15): New variable. Pierre Langlois 2021-06-13gnu: 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-13gnu: 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-05gnu: 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-05gnu: 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-05gnu: 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-05gnu: 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-05gnu: 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-05gnu: 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-04gnu: java-javaparser: Upgrade os.name to ‘Guix’....* gnu/packages/java.scm (java-javaparser)[arguments]: Drop ‘SD’. Tobias Geerinckx-Rice 2021-04-21gnu: 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-21gnu: 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-21gnu: 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-21gnu: ant: Update to 1.10.10....* gnu/packages/java.scm (ant): Update to 1.10.10. Tobias Geerinckx-Rice 2021-04-20gnu: 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-01gnu: 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