guix.git/gnu/packages/patches/idris-test-no-node.patch, branch master Personal branch of https://git.savannah.gnu.org/cgit/guix.git/ for implementing 'guix deploy'. https://www.git.jakob.space/guix.git/atom?h=master 2019-04-12T00:34:01Z gnu: idris: Run tests. 2019-04-12T00:34:01Z Eric Bavier bavier@member.fsf.org 2019-04-12T00:30:39Z urn:sha1:89647ff1d4abc4674973392cb7e08d14898e3ac9 * 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'.