diff options
| author | Maciej Barć <xgqt@gentoo.org> | 2023-12-27 01:20:47 +0100 |
|---|---|---|
| committer | Maciej Barć <xgqt@gentoo.org> | 2023-12-27 02:20:42 +0100 |
| commit | 0f91c770efc10cdaf14d527316b247b1a5e4d26b (patch) | |
| tree | ba0e3b2ba3805c45b52c44a3115b7cfcfddf7728 /dev-lang/idris2/files/idris2-0.7.0-disable-allbackends-tests.patch | |
| parent | a2635840ea30d7fa597ccb6cb3cd55560ec8509f (diff) | |
| download | gentoo-0f91c770efc10cdaf14d527316b247b1a5e4d26b.tar.gz gentoo-0f91c770efc10cdaf14d527316b247b1a5e4d26b.tar.bz2 gentoo-0f91c770efc10cdaf14d527316b247b1a5e4d26b.zip | |
dev-lang/idris2: bump to 0.7.0
Signed-off-by: Maciej Barć <xgqt@gentoo.org>
Diffstat (limited to 'dev-lang/idris2/files/idris2-0.7.0-disable-allbackends-tests.patch')
| -rw-r--r-- | dev-lang/idris2/files/idris2-0.7.0-disable-allbackends-tests.patch | 10 |
1 files changed, 10 insertions, 0 deletions
diff --git a/dev-lang/idris2/files/idris2-0.7.0-disable-allbackends-tests.patch b/dev-lang/idris2/files/idris2-0.7.0-disable-allbackends-tests.patch new file mode 100644 index 000000000000..eb085ca765e6 --- /dev/null +++ b/dev-lang/idris2/files/idris2-0.7.0-disable-allbackends-tests.patch @@ -0,0 +1,10 @@ +--- a/tests/Main.idr ++++ b/tests/Main.idr +@@ -233,7 +233,6 @@ main = runner $ + , !codegenTests + ] + ++ !(traverse idrisTestsAllSchemes [Chez, Racket]) +- ++ map (testPaths "allbackends" . idrisTestsAllBackends) [Chez, Node, Racket, C] + + + where |