@@ -42,7 +42,7 @@ configureCabalFlags (PackageIdentifier name version)
4242 = [enable "externalLibsass"]
4343 | name == "hmatrix" = [enable "openblas"]
4444 | name == "hslua" = [enable "system-lua"]
45− | name == "idris" = [enable "gmp", enable "ffi", enable "curses"]
45+ | name == "idris" = [enable "gmp", enable "ffi", enable "curses", ("execonly", version `withinRange` (orLaterVersion (mkVersion [1,1,1]))) ]
4646 | name == "io-streams" = [enable "NoInteractiveTests"]
4747 | name == "liquid-fixpoint" = [enable "build-external"]
4848 | name == "pandoc" = [enable "https", disable "trypandoc"]