[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
09/10: gnu: tla2tools: Add UseParallelGC to Java command in wrapper scri
From: |
guix-commits |
Subject: |
09/10: gnu: tla2tools: Add UseParallelGC to Java command in wrapper scripts. |
Date: |
Fri, 31 May 2024 07:57:48 -0400 (EDT) |
civodul pushed a commit to branch master
in repository guix.
commit 3e19432416e55dc8df426652a4c325ac2fd8b81c
Author: Karl Hallsby <karl@hallsby.com>
AuthorDate: Thu May 2 10:35:35 2024 -0500
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>
---
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 <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")
- branch master updated (0c87fe868a -> 8944fa5c7a), guix-commits, 2024/05/31
- 03/10: gnu: slurm: Add patch for a useful fallback shell for ‘salloc’., guix-commits, 2024/05/31
- 07/10: gnu: clementine: Build with libgpod., guix-commits, 2024/05/31
- 06/10: gnu: Add libgpod., guix-commits, 2024/05/31
- 08/10: gnu: Add biboumi., guix-commits, 2024/05/31
- 01/10: gnu: Add python-pybadges., guix-commits, 2024/05/31
- 02/10: gnu: intel-mpi-benchmarks: Update to 2021.7., guix-commits, 2024/05/31
- 10/10: gnu: avrdude: Update to 7.3., guix-commits, 2024/05/31
- 04/10: gnu: audacity: Re-add fallback to locate ffmpeg via pkg-config., guix-commits, 2024/05/31
- 09/10: gnu: tla2tools: Add UseParallelGC to Java command in wrapper scripts.,
guix-commits <=
- 05/10: gnu: Add r7rs-small-texinfo., guix-commits, 2024/05/31