From 9afa848b2cb40f26e56e0166475329613deb9127 Mon Sep 17 00:00:00 2001 From: Karl Hallsby Date: Thu, 2 May 2024 10:35:35 -0500 Subject: gnu: tla2tools: Add UseParallelGC to Java command in wrapper scripts * gnu/pcakages/java.scm: Add -XX:+UseParallelGC to generated wrapper scripts for TLA+'s binary tools. TLA+'s tools request (and throw a warning message) when you invoke them without Java's parallel GC flag. Including this flag removes the warning message and should improve performance (theoretically). Change-Id: I12f7432db21db31ae2b0b30cc7f41f4a6af58b0a --- gnu/packages/java.scm | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/gnu/packages/java.scm b/gnu/packages/java.scm index a54c1d1d06..8947336cc2 100644 --- a/gnu/packages/java.scm +++ b/gnu/packages/java.scm @@ -20,6 +20,7 @@ ;;; Copyright © 2021 Guillaume Le Vaillant ;;; Copyright © 2022 Artyom V. Poptsov ;;; Copyright © 2024 Paul A. Patience +;;; Copyright © 2024 Raven Hallsby ;;; ;;; This file is part of GNU Guix. ;;; @@ -14447,7 +14448,7 @@ can be interpreted by IDEs and static analysis tools to improve code analysis.") (display (string-append "#!/bin/sh\n" - java " -cp " java-cp " " class " \"$@\"")))) + java " -XX:+UseParallelGC " " -cp " java-cp " " class " \"$@\"")))) (chmod file #o755))))) ;; bin/wrapper . java-class '(("pcal" . "pcal.trans") -- cgit v1.2.3