From 08cfa507d1f7bbade7c172277a148d1e278ad75d Mon Sep 17 00:00:00 2001
From: jgart <jgart@dismail.de>
Date: Fri, 23 Jan 2026 13:15:36 -0500
Subject: [PATCH] gnu: trealla: Switch to running the standard tests.

* gnu/packages/prolog.scm (trealla):  Switch to running the standard tests.
[native-inputs]: Delete it.
[arguments]: Adjust the test target to be test.

Running the valgrind memory checks is overkill for our purposes. Valgrind
should only be run in a local development workflow and not in our
CI. Switching to running the standard tests will also mimic what upstream runs
in their own CI for the Trealla project. Switching to running only the
standard tests also greatly reduces the time that it takes to run the full
Guix build for the trealla variable.

Change-Id: I912b85bfbe3fde03e6c0b98a47b2dbaa9b4b5d8a
---
 gnu/packages/prolog.scm | 8 +-------
 1 file changed, 1 insertion(+), 7 deletions(-)

diff --git a/gnu/packages/prolog.scm b/gnu/packages/prolog.scm
index f30fcd40992..61d25a2b0ea 100644
--- a/gnu/packages/prolog.scm
+++ b/gnu/packages/prolog.scm
@@ -201,10 +201,6 @@ it.")
         (base32 "0z3zx66v1qx80b97vmb8hhpb52jjbjs9rfz31myw6mf2fsgqb2b7"))
        (file-name (git-file-name name version))))
     (build-system gnu-build-system)
-    (native-inputs
-     (if (supported-package? valgrind/pinned)
-         (list valgrind/pinned)
-         '()))
     (inputs
      (list curl
            gsl
@@ -219,9 +215,7 @@ it.")
       #~(list (string-append "PREFIX=" #$output)
               (string-append "CC=" #$(cc-for-target))
               (string-append "HOST_CC=" #$(cc-for-target)))
-      #:test-target (if (this-package-native-input "valgrind")
-                        "check"
-                        "test")
+      #:test-target "test"
       #:phases
       #~(modify-phases %standard-phases
           ;; Upstream does not use a configure script.