From 3e19432416e55dc8df426652a4c325ac2fd8b81c Mon Sep 17 00:00:00 2001 From: Karl Hallsby Date: Thu, 2 May 2024 10:35:35 -0500 Subject: [PATCH] gnu: tla2tools: Add UseParallelGC to Java command in wrapper scripts. MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit * gnu/packages/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 Signed-off-by: Ludovic Courtès --- 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 50324022e5..49fc2761d6 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. ;;; @@ -14451,7 +14452,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")