ryan77627/guix
1
0
Fork 0
mirror of https://git.in.rschanz.org/ryan77627/guix.git synced 2024-11-07 23:46:13 -05:00
Code Issues Projects Releases Packages Wiki Activity Actions

gnu: idris: Remove trailing #t.

Browse source 
* gnu/packages/idris.scm (idris)[arguments]: Remove trailing #t.
This commit is contained in:
Eric Bavier 2022-04-18 22:20:27 -05:00
parent 101edbe63a
commit b2a66e1071
No known key found for this signature in database
GPG key ID: BC45CA67E2F8D007
1 changed files with 5 additions and 9 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

14
gnu/packages/idris.scm
View file

@ -2,7 +2,7 @@
;;; Copyright © 2015 Paul van der Walt <paul@denknerd.org> ;;; Copyright © 2015 Paul van der Walt <paul@denknerd.org>
;;; Copyright © 2016, 2017 David Craven <david@craven.ch> ;;; Copyright © 2016, 2017 David Craven <david@craven.ch>
;;; Copyright © 2018 Alex ter Weele <alex.ter.weele@gmail.com> ;;; Copyright © 2018 Alex ter Weele <alex.ter.weele@gmail.com>
;;; Copyright © 2019, 2022 Eric Bavier <bavier@posteo.net> ;;; Copyright © 2019, 2021, 2022 Eric Bavier <bavier@posteo.net>
;;; ;;;
;;; This file is part of GNU Guix. ;;; This file is part of GNU Guix.
;;; ;;;
@ -95,8 +95,7 @@ (define-public idris
;; This allows us to call the 'idris' binary before installing. ;; This allows us to call the 'idris' binary before installing.
(add-after 'unpack 'set-ld-library-path (add-after 'unpack 'set-ld-library-path
(lambda _ (lambda _
(setenv "LD_LIBRARY_PATH" (string-append (getcwd) "/dist/build")) (setenv "LD_LIBRARY_PATH" (string-append (getcwd) "/dist/build"))))
#t))
(add-before 'configure 'update-constraints (add-before 'configure 'update-constraints
(lambda _ (lambda _
(substitute* "idris.cabal" (substitute* "idris.cabal"
@ -104,8 +103,7 @@ (define-public idris
dep)))) dep))))
(add-before 'configure 'set-cc-command (add-before 'configure 'set-cc-command
(lambda _ (lambda _
(setenv "CC" "gcc") (setenv "CC" "gcc")))
#t))
(add-after 'install 'fix-libs-install-location (add-after 'install 'fix-libs-install-location
(lambda* (#:key outputs #:allow-other-keys) (lambda* (#:key outputs #:allow-other-keys)
(let* ((out (assoc-ref outputs "out")) (let* ((out (assoc-ref outputs "out"))
@ -134,8 +132,7 @@ (define-public idris
(static (assoc-ref outputs "static")) (static (assoc-ref outputs "static"))
(filename "/lib/idris/rts/libidris_rts.a")) (filename "/lib/idris/rts/libidris_rts.a"))
(rename-file (string-append static filename) (rename-file (string-append static filename)
(string-append out filename)) (string-append out filename))))))))
#t))))))
(native-search-paths (native-search-paths
(list (search-path-specification (list (search-path-specification
(variable "IDRIS_LIBRARY_PATH") (variable "IDRIS_LIBRARY_PATH")
@ -193,8 +190,7 @@ (define (idris-default-arguments name)
path)) path))
idris-path-subdirs))))) idris-path-subdirs)))))
;; FIXME: Seems to be a bug in idris that causes a dubious failure. ;; FIXME: Seems to be a bug in idris that causes a dubious failure.
(apply system* install-cmd) (apply system* install-cmd)))))))
#t))))))
(define-public idris-lightyear (define-public idris-lightyear
(let ((commit "6d65ad111b4bed2bc131396f8385528fc6b3678a")) (let ((commit "6d65ad111b4bed2bc131396f8385528fc6b3678a"))