me
/
guix
Archived
1
0
Fork 0
Code

gnu: klee: Enable the test suite. 

* gnu/packages/check.scm (klee): Enable all tests.
[arguments]: Patch lit configuration and set #:test-target.
<#:configure-flags?>: Enable system and unit tests, configure gtest.

Signed-off-by: Liliana Marie Prikler <liliana.prikler@gmail.com>
master
Sören Tempel 2024-07-27 11:10:55 +02:00 committed by Liliana Marie Prikler
parent 661d5eeb8e
commit 187b6df6f1
No known key found for this signature in database
GPG Key ID: 442A84B8C70E2F87
1 changed files with 17 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

19
gnu/packages/check.scm
View File

@ -1063,13 +1063,22 @@ with the @code{klee} package.")
(base32 "1nma6dqi8chjb97llsa8mzyskgsg4dx56lm8j514j5wmr8vkafz6")))) (base32 "1nma6dqi8chjb97llsa8mzyskgsg4dx56lm8j514j5wmr8vkafz6"))))
(arguments (arguments
(list (list
#:test-target "check"
#:phases #:phases
#~(modify-phases %standard-phases #~(modify-phases %standard-phases
(add-after 'unpack 'patch (add-after 'unpack 'patch
(lambda _ (lambda _
;; Allow specification of an absolute full path to uclibc.
(substitute* "CMakeLists.txt" (substitute* "CMakeLists.txt"
(("\\$\\{KLEE_UCLIBC_PATH\\}/lib/libc\\.a") (("\\$\\{KLEE_UCLIBC_PATH\\}/lib/libc\\.a")
"${KLEE_UCLIBC_PATH}")))) "${KLEE_UCLIBC_PATH}"))
;; Make sure that we retain the value of the GUIX_PYTHONPATH
;; environment variable in the test environmented created by
;; python-lit. Otherwise, the test scripts won't be able to
;; find the python-tabulate dependency, causing test failures.
(substitute* "test/lit.cfg"
(("addEnv\\('PWD'\\)" env)
(string-append env "\n" "addEnv('GUIX_PYTHONPATH')")))))
(add-after 'install 'wrap-programs (add-after 'install 'wrap-programs
(lambda* (#:key inputs outputs #:allow-other-keys) (lambda* (#:key inputs outputs #:allow-other-keys)
(let* ((out (assoc-ref outputs "out")) (let* ((out (assoc-ref outputs "out"))
@ -1085,7 +1094,13 @@ with the @code{klee} package.")
`("KLEE_RUNTIME_LIBRARY_PATH" = `("KLEE_RUNTIME_LIBRARY_PATH" =
(,(string-append lib "/klee/runtime/")))))))) (,(string-append lib "/klee/runtime/"))))))))
#:configure-flags #:configure-flags
#~(list (string-append "-DLLVMCC=" #~(list "-DENABLE_UNIT_TESTS=ON"
"-DENABLE_SYSTEM_TESTS=ON"
(string-append "-DGTEST_SRC_DIR="
#+(package-source googletest))
(string-append "-DGTEST_INCLUDE_DIR="
#+(package-source googletest) "/googletest/include")
(string-append "-DLLVMCC="
(search-input-file %build-inputs "/bin/clang")) (search-input-file %build-inputs "/bin/clang"))
(string-append "-DLLVMCXX=" (string-append "-DLLVMCXX="
(search-input-file %build-inputs "/bin/clang++")) (search-input-file %build-inputs "/bin/clang++"))