[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
[bug#61420] [PATCH 31/31] gnu: idris: Adapt to changed haskell-build-sys
From: |
Lars-Dominik Braun |
Subject: |
[bug#61420] [PATCH 31/31] gnu: idris: Adapt to changed haskell-build-system. |
Date: |
Sat, 11 Feb 2023 11:08:25 +0100 |
…which does not support the “static” output any more.
* gnu/packages/idris.scm (idris)[arguments]: Remove phase
restore-libidris_rts.
---
gnu/packages/idris.scm | 12 +-----------
1 file changed, 1 insertion(+), 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 @@ (define-public idris
(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")
--
2.38.2
- [bug#61420] [PATCH 18/31] gnu: elm: Support GHC 9.2., (continued)
- [bug#61420] [PATCH 18/31] gnu: elm: Support GHC 9.2., Lars-Dominik Braun, 2023/02/11
- [bug#61420] [PATCH 26/31] gnu: git-annex: Drop Haskell documentation., Lars-Dominik Braun, 2023/02/11
- [bug#61420] [PATCH 14/31] gnu: ghc-9.2: Increase make verbosity., Lars-Dominik Braun, 2023/02/11
- [bug#61420] [PATCH 17/31] gnu: idris: Fix overly zealous regular expression., Lars-Dominik Braun, 2023/02/11
- [bug#61420] [PATCH 30/31] gnu: xmobar: Drop Haskell libraries and documentation., Lars-Dominik Braun, 2023/02/11
- [bug#61420] [PATCH 23/31] gnu: ngless: Drop Haskell libraries and documentation., Lars-Dominik Braun, 2023/02/11
- [bug#61420] [PATCH 19/31] build-system: haskell: Drop default "static" output., Lars-Dominik Braun, 2023/02/11
- [bug#61420] [PATCH 29/31] gnu: purescript: Drop Haskell libraries and documentation., Lars-Dominik Braun, 2023/02/11
- [bug#61420] [PATCH 31/31] gnu: idris: Adapt to changed haskell-build-system.,
Lars-Dominik Braun <=
- [bug#61420] [PATCH 27/31] gnu: shellcheck: Drop Haskell libraries., Lars-Dominik Braun, 2023/02/11
- [bug#61420] [PATCH 24/31] gnu: hledger: Drop Haskell libraries and documentation., Lars-Dominik Braun, 2023/02/11
- [bug#61420] [PATCH 25/31] gnu: darcs: Drop Haskell libraries and documentation., Lars-Dominik Braun, 2023/02/11
- [bug#61420] [PATCH 28/31] gnu: pandoc: Drop Haskell libraries and documentation., Lars-Dominik Braun, 2023/02/11
- [bug#61420] [PATCH 00/31] Haskell upgrade to Stackage 20.5, Simon Tournier, 2023/02/14
- [bug#61420] [PATCH 00/31] Haskell upgrade to Stackage 20.5, zimoun, 2023/02/15