~ruther/guix-local: gnu: tla2tools: Add UseParallelGC to Java command in wrapper scripts.

3e19432416e55dc8df426652a4c325ac2fd8b81c — Karl Hallsby 1 year, 10 months ago 734eaf5

gnu: tla2tools: Add UseParallelGC to Java command in wrapper scripts.

* 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 <ludo@gnu.org>

patch browse .tar.gz

1 files changed, 2 insertions(+), 1 deletions(-)

M gnu/packages/java.scm

M gnu/packages/java.scm => gnu/packages/java.scm +2 -1

@@ 20,6 20,7 @@
 ;;; Copyright © 2021 Guillaume Le Vaillant <glv@posteo.net>
 ;;; Copyright © 2022 Artyom V. Poptsov <poptsov.artyom@gmail.com>
 ;;; Copyright © 2024 Paul A. Patience <paul@apatience.com>
+;;; Copyright © 2024 Raven Hallsby <karl@hallsby.com>
 ;;;
 ;;; 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")