me
/
guix
Archived
1
0
Fork 0
Code

gnu: idris: Adapt to changed haskell-build-system. 

…which does not support the “static” output any more.

* gnu/packages/idris.scm (idris)[arguments]: Remove phase
restore-libidris_rts.
Lars-Dominik Braun 2023-02-11 09:48:06 +01:00
parent 6188fe2633
commit 2c0537d374
No known key found for this signature in database
GPG Key ID: F663943E08D8092A
1 changed files with 1 additions and 11 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

12
gnu/packages/idris.scm
View File

@ -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")