diff options
author | Timothy Sample <samplet@ngyro.com> | 2020-08-29 09:54:53 -0400 |
---|---|---|
committer | Timothy Sample <samplet@ngyro.com> | 2020-08-29 11:29:43 -0400 |
commit | 5aaa1995922285d53a97824f2b83bdb71ec9fdd0 (patch) | |
tree | 5ce7e398fa5d3591af178dbdb1010f582431cbf0 /.dir-locals.el | |
parent | 61fe9ced7da7eefceb931af0cb7363b721f5bdd6 (diff) | |
download | guix-5aaa1995922285d53a97824f2b83bdb71ec9fdd0.tar.gz |
gnu: idris: Fix for Haskell build system changes.
See also 9e5496e0ae0ee8f638ca93949ecca314fdb9251e and 718dc7d4a5e5d26cac80c79d78535677e0379dc8. * gnu/packages/idris.scm (idris)[arguments]: Add a phase that sets 'LD_LIBRARY_PATH', and one that restores the 'libidris_rts.a' library back to the default output.
Diffstat (limited to '.dir-locals.el')
0 files changed, 0 insertions, 0 deletions