diff options
author | Lars-Dominik Braun <lars@6xq.net> | 2023-02-11 09:48:06 +0100 |
---|---|---|
committer | Lars-Dominik Braun <lars@6xq.net> | 2023-02-11 09:48:06 +0100 |
commit | 56117cf31ff0ae29f4684ba3996026c37811e8c5 (patch) | |
tree | 9ca0a7989a7982ff77c9fd17cb1baab5580ac8aa | |
parent | e4e5c00a66a65b3bcdc1210b66a1e6ab53714bc8 (diff) |
gnu: idris: Adapt to changed haskell-build-system.origin/wip-haskell
…which does not support the “static” output any more.
* gnu/packages/idris.scm (idris)[arguments]: Remove phase
restore-libidris_rts.
-rw-r--r-- | gnu/packages/idris.scm | 12 |
1 files changed, 1 insertions, 11 deletions
diff --git a/gnu/packages/idris.scm b/gnu/packages/idris.scm index 2a5f63c174..85fb6cc2d2 100644 --- a/gnu/packages/idris.scm +++ b/gnu/packages/idris.scm @@ -122,17 +122,7 @@ (setenv "TASTY_NUM_THREADS" (number->string (parallel-job-count))) (setenv "IDRIS_CC" ,(cc-for-target)) ;Needed for creating executables (setenv "PATH" (string-append out "/bin:" (getenv "PATH"))) - (apply (assoc-ref %standard-phases 'check) args)))) - (add-before 'check 'restore-libidris_rts - (lambda* (#:key outputs #:allow-other-keys) - ;; The Haskell build system moves this library to the - ;; "static" output. Idris only knows how to find it in the - ;; "out" output, so we restore it here. - (let ((out (assoc-ref outputs "out")) - (static (assoc-ref outputs "static")) - (filename "/lib/idris/rts/libidris_rts.a")) - (rename-file (string-append static filename) - (string-append out filename)))))))) + (apply (assoc-ref %standard-phases 'check) args))))))) (native-search-paths (list (search-path-specification (variable "IDRIS_LIBRARY_PATH") |