summaryrefslogtreecommitdiff
path: root/gnu/packages/agda.scm
diff options
context:
space:
mode:
authorTimothy Sample <samplet@ngyro.com>2020-08-19 23:40:04 -0400
committerTimothy Sample <samplet@ngyro.com>2020-08-19 23:58:47 -0400
commit856def7bb3b4af85a1325bc732e81d705156a482 (patch)
treef1e6164315afcfacc8b25988e24c07ab0a75af78 /gnu/packages/agda.scm
parent991ca49961d1066f7890644a40d629aca944f5b9 (diff)
downloadguix-patches-856def7bb3b4af85a1325bc732e81d705156a482.tar
guix-patches-856def7bb3b4af85a1325bc732e81d705156a482.tar.gz
gnu: ganeti: Tell GHC to use shared libraries.
Fixes <https://bugs.gnu.org/42934>. Reported by Marius Bakke <marius@gnu.org>. * gnu/packages/virtualization.scm (ganeti)[arguments]: Add a phase that tells GHC to use shared libraries.
Diffstat (limited to 'gnu/packages/agda.scm')
0 files changed, 0 insertions, 0 deletions