Commit Graph

3 Commits

Author SHA1 Message Date
Tobias Geerinckx-Rice 2971ed5734
gnu: dhall: Update to 1.32.0.
* gnu/packages/dhall.scm (dhall): Update to 1.32.0.
[inputs]: Add ghc-half.
2020-06-09 23:52:20 +02:00
Tobias Geerinckx-Rice 5e7daec9b4
gnu: dhall: Disable network tests differently.
* gnu/packages/dhall.scm (dhall)[source]: Remove patch.
[arguments]: Rename ‘remove-more-tests’ phase to ‘remove-network-tests’.
Identify the tests by name instead of by content.
* gnu/packages/patches/dhall-remove-network-tests.patch: Delete file.
* gnu/local.mk (dist_patch_DATA): Remove it.
2020-06-09 23:52:19 +02:00
John Soo 9ff667ea05
gnu: Add dhall.
* gnu/packages/dhall.scm: New file.
* gnu/local.mk (GNU_SYSTEM_MODULES): Add it.
(dist_patch_DATA): Add new patch.
* gnu/packages/patches/dhall-remove-network-tests.patch: Add patch to remove
dhall network tests.

Signed-off-by: Leo Famulari <leo@famulari.name>
2020-05-29 10:44:34 -04:00