@@ -42,7 +42,7 @@ configureCabalFlags (PackageIdentifier name version)
42 = [enable "externalLibsass"]
42 = [enable "externalLibsass"]
43 | name == "hmatrix" = [enable "openblas"]
43 | name == "hmatrix" = [enable "openblas"]
44 | name == "hslua" = [enable "system-lua"]
44 | 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]))) ]
46 | name == "io-streams" = [enable "NoInteractiveTests"]
46 | name == "io-streams" = [enable "NoInteractiveTests"]
47 | name == "liquid-fixpoint" = [enable "build-external"]
47 | name == "liquid-fixpoint" = [enable "build-external"]
48 | name == "pandoc" = [enable "https", disable "trypandoc"]
48 | name == "pandoc" = [enable "https", disable "trypandoc"]