c67ff5636f
* 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.
19 lines
724 B
Diff
19 lines
724 B
Diff
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",
|