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) | |
| download | guix-8d06906017901822c9186a6885f85bcd8cd97467.tar.gz | |
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