gnu: c-reduce: Improve phases.

It's not necessary to search for each perl input because they are
already set by the build-system in PERL5LIB.

* gnu/packages/debug.scm (c-reduce)[arguments]<#:phases>: Switch to
gexps.  Improve phase 'set-load-paths readability.

Change-Id: I0d073b5994526bce3aac4b1147fa923f5ccdf00e
Signed-off-by: Andreas Enge <andreas@enge.fr>
This commit is contained in:
Nicolas Graves 2025-07-19 14:06:06 +02:00 committed by Andreas Enge
parent e848419d92
commit e899b9a20e
No known key found for this signature in database
GPG key ID: F7D5C9BF765C61E3

View file

@ -157,30 +157,20 @@ program to exhibit a bug.")
("regex-common" ,perl-regexp-common)
("term-readkey" ,perl-term-readkey)))
(arguments
`(#:phases
(modify-phases %standard-phases
(replace 'check
(lambda _
(with-directory-excursion "tests"
;; Running all tests can take a looong time, and tests 4 and 5
;; require frama-c or kcc. So run just one for sanity.
(invoke "./run_tests" "1"))))
(add-after 'install 'set-load-paths
(lambda* (#:key inputs outputs #:allow-other-keys)
;; Tell creduce where to find the perl modules it needs.
(let* ((out (assoc-ref outputs "out"))
(prog (string-append out "/bin/creduce")))
(wrap-program
prog
`("PERL5LIB" ":" prefix
,(map (lambda (p)
(string-append (assoc-ref inputs p)
"/lib/perl5/site_perl/"
,(package-version perl)))
'("term-readkey" "exporter-lite"
"file-which" "getopt-tabular"
"regex-common")))))
#t)))))
(list
#:phases
#~(modify-phases %standard-phases
(replace 'check
(lambda _
(with-directory-excursion "tests"
;; Running all tests can take a looong time, and tests 4 and 5
;; require frama-c or kcc. So run just one for sanity.
(invoke "./run_tests" "1"))))
(add-after 'install 'set-load-paths
(lambda _
;; Tell creduce where to find the perl modules it needs.
(wrap-program (string-append #$output "/bin/creduce")
`("PERL5LIB" ":" prefix (,(getenv "PERL5LIB")))))))))
(home-page "https://embed.cs.utah.edu/creduce")
(synopsis "Reducer for interesting code")
(description