summaryrefslogtreecommitdiff
path: root/gnu/packages/patches
diff options
context:
space:
mode:
authorEric Bavier <bavier@member.fsf.org>2021-01-18 23:27:25 -0600
committerEric Bavier <bavier@member.fsf.org>2021-01-20 09:58:31 -0600
commitc67ff5636f2e62e4fd75ac584865c56d973e27fe (patch)
treebb718be5b06e9ecfbd46750285d7ebe43973ed9e /gnu/packages/patches
parent2a9784ffa247bb2580346b7ce1d3f23c302459a3 (diff)
gnu: idris: Update to 1.3.3.
* gnu/packages/patches/idris-disable-test.patch: New file. * gnu/local.mk (dist_patch_DATA): Add it. * gnu/packages/idris.scm (idris): Update to 1.3.3. [source]: Use the patch. [native-inputs]: Add ghc-cheapskate. [arguments]: Adjust cheapskate version bounds. Make auxiliary test script executable.
Diffstat (limited to 'gnu/packages/patches')
-rw-r--r--gnu/packages/patches/idris-disable-test.patch19
1 files changed, 19 insertions, 0 deletions
diff --git a/gnu/packages/patches/idris-disable-test.patch b/gnu/packages/patches/idris-disable-test.patch
new file mode 100644
index 0000000000..ec8c7c8451
--- /dev/null
+++ b/gnu/packages/patches/idris-disable-test.patch
@@ -0,0 +1,19 @@
+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",