[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: [PATCH 2/2] gnu: Add idris-lightyear.
From: |
Ludovic Courtès |
Subject: |
Re: [PATCH 2/2] gnu: Add idris-lightyear. |
Date: |
Mon, 19 Dec 2016 15:14:13 +0100 |
User-agent: |
Gnus/5.13 (Gnus v5.13) Emacs/25.1 (gnu/linux) |
David Craven <address@hidden> skribis:
> * gnu/packages/haskell.scm (idris-lightyear): New variable.
[...]
> + (lambda* (#:key inputs outputs #:allow-other-keys)
> + (let* ((out (assoc-ref outputs "out"))
> + (src (assoc-ref inputs "source"))
> + (idris (assoc-ref inputs "idris"))
> + (libs (string-append out "/idris/libs/lightyear")))
This would become “lib/idris/lightyear”.
Apart from that, LGTM!
Thank you,
Ludo’.