diff options
| author | Eric Bavier <[email protected]> | 2022-04-18 23:31:46 -0500 |
|---|---|---|
| committer | Eric Bavier <[email protected]> | 2022-04-20 08:35:48 -0500 |
| commit | 0cf1178a659ad83e089c2f1f9736dde2b4e9163b (patch) | |
| tree | 2f6acdc07eff5d19fd1654f15a74485ebeba07dc /gnu/packages/patches/idris-disable-test.patch | |
| parent | ae6cd99573433cd6067e0f9bafec23306376e690 (diff) | |
gnu: idris: Update to 1.3.4.
* gnu/packages/patches/idris-build-with-haskeline-0.8.patch,
gnu/packages/patches/idris-build-with-megaparsec-9.patch,
gnu/packages/patches/idris-disable-test.patch: Delete patches.
* gnu/local.mk (dist_patch_DATA): Unregister them.
* gnu/packages/idris.scm (idris): Update to 1.3.4.
[source]: Use git-fetch. Adjust patches.
Co-authored-by: Attila Lendvai <[email protected]>
Diffstat (limited to 'gnu/packages/patches/idris-disable-test.patch')
| -rw-r--r-- | gnu/packages/patches/idris-disable-test.patch | 19 |
1 files changed, 0 insertions, 19 deletions
diff --git a/gnu/packages/patches/idris-disable-test.patch b/gnu/packages/patches/idris-disable-test.patch deleted file mode 100644 index ec8c7c8451..0000000000 --- a/gnu/packages/patches/idris-disable-test.patch +++ /dev/null @@ -1,19 +0,0 @@ -The "pkg010" test output depends on the version of optparse-applicative being -used. The expected output requires optparse-applicative >= 0.15.1.0. Skip -the test for now. - ---- idris-1.3.3/test/TestData.hs 2021-01-19 23:05:24.238958262 -0600 -+++ idris-1.3.3/test/TestData.hs 2021-01-19 23:10:33.314390997 -0600 -@@ -212,8 +212,10 @@ - ( 5, ANY ), - ( 6, ANY ), - ( 7, ANY ), -- ( 8, ANY ), -- ( 10, ANY )]), -+ ( 8, ANY )]), -+-- FIXME: Expected output depends on optparse-applicative version. -+-- See https://github.com/idris-lang/Idris-dev/issues/4896 -+-- ( 10, ANY )]), - ("prelude", "Prelude", - [ ( 1, ANY )]), - ("primitives", "Primitive types", |