me/guix - guix - Forgejo: Beyond coding. We forge.

guix

Archived

Fork 0

Commit Graph

Author	SHA1	Message	Date
Eric Bavier	89647ff1d4	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'.	2019-04-11 19:34:01 -05:00

Author

SHA1

Message

Date

Eric Bavier

89647ff1d4

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'.

2019-04-11 19:34:01 -05:00

1 Commits (a612f86684c5b93b2587fcfcf5ce52c1d6f23996)