diff options
author | Eric Bavier <bavier@member.fsf.org> | 2019-04-11 19:30:39 -0500 |
---|---|---|
committer | Eric Bavier <bavier@member.fsf.org> | 2019-04-11 19:34:01 -0500 |
commit | 89647ff1d4abc4674973392cb7e08d14898e3ac9 (patch) | |
tree | 4ca10651da077227172e51b78a7ff41514ffdb6a /nix | |
parent | e16bc71015a2cc59f49e27720c0a93bc4188ed81 (diff) | |
download | guix-patches-89647ff1d4abc4674973392cb7e08d14898e3ac9.tar guix-patches-89647ff1d4abc4674973392cb7e08d14898e3ac9.tar.gz |
gnu: idris: Run tests.
* gnu/packages/patches/idris-test-no-node.patch: New patch.
* gnu/local.mk (dist_patch_DATA): Add it.
* gnu/packages/idris.scm (idris)[origin]: Use it.
[native-inputs]: New field.
[arguments]: Remove "#:tests? #f". Add custom 'check' phase after 'install'.
Diffstat (limited to 'nix')
0 files changed, 0 insertions, 0 deletions