@@ -17,7 +17,7 @@ configureCabalFlags (PackageIdentifier (PackageName name) _)
17 | name == "hlibsass" = [enable "externalLibsass"]
17 | name == "hlibsass" = [enable "externalLibsass"]
18 | name == "hmatrix" = [enable "openblas"]
18 | name == "hmatrix" = [enable "openblas"]
19 | name == "hslua" = [enable "system-lua"]
19 | name == "hslua" = [enable "system-lua"]
20− | name == "idris" = [enable "gmp", enable "ffi"]
20+ | name == "idris" = [enable "gmp", enable "ffi", enable "curses"]
21 | name == "io-streams" = [enable "NoInteractiveTests"]
21 | name == "io-streams" = [enable "NoInteractiveTests"]
22 | name == "liquid-fixpoint" = [enable "build-external"]
22 | name == "liquid-fixpoint" = [enable "build-external"]
23 | name == "pandoc" = [enable "https"]
23 | name == "pandoc" = [enable "https"]