diff options
author | Timothy Sample <samplet@ngyro.com> | 2020-08-19 23:44:59 -0400 |
---|---|---|
committer | Timothy Sample <samplet@ngyro.com> | 2020-08-19 23:58:47 -0400 |
commit | 8d06906017901822c9186a6885f85bcd8cd97467 (patch) | |
tree | d9694e5db69851ddce205dcb1b04412732afb987 /gnu/packages/mate.scm | |
parent | 856def7bb3b4af85a1325bc732e81d705156a482 (diff) |
gnu: agda: Adjust for using shared libraries.
See also 9e5496e0ae0ee8f638ca93949ecca314fdb9251e.
* gnu/packages/agda.scm (agda)[arguments]: Add a phase that sets
'LD_LIBRARY_PATH'; update the 'configure' phase to match the current
Haskell build system code.
Diffstat (limited to 'gnu/packages/mate.scm')
0 files changed, 0 insertions, 0 deletions