summary refs log tree commit diff
path: root/po
diff options
context:
space:
mode:
authorPeter Mikkelsen <petermikkelsen10@gmail.com>2017-04-15 04:31:19 +0200
committerMarius Bakke <mbakke@fastmail.com>2017-04-15 19:46:40 +0200
commit178670c9ebf4c4037510aab96cfb7e4f55586331 (patch)
tree459fbc744492f0013060ca724365c2a6998e776b /po
parentb74f224744361a08cce36bb74460ef41db3eb27d (diff)
downloadguix-178670c9ebf4c4037510aab96cfb7e4f55586331.tar.gz
gnu: idris: Fix idris-default-arguments.
* gnu/packages/idris.scm (idris-default-arguments): Don't set IDRIS_LIBRARY_PATH before
building and change --install to --build.

Signed-off-by: Marius Bakke <mbakke@fastmail.com>
Diffstat (limited to 'po')
0 files changed, 0 insertions, 0 deletions