git.iko.soy/typeable/cabal2nix
on master help sign in
Flags.hs: remove obsolete llvm flag from Idris
commit6a3fb86c85fa64c153a0ca215b690293acced953 authorPeter Simons <simons@cryp.to> dateSat 1 Nov 2014, 19:52 (12 years ago) parentca9602c
1 file changed+1−1
src/Cabal2Nix/Flags.hs+1−1
src/Cabal2Nix/Flags.hs+1−1
@@ -13,7 +13,7 @@ configureCabalFlags (PackageIdentifier (PackageName name) _)
1313 | name == "haste-compiler" = [enable "portable"]
1414 | name == "hslua" = [enable "system-lua"]
1515 | name == "hxt" = [enable "network-uri"]
16− | name == "idris" = [enable "llvm", enable "gmp", enable "ffi"]
16+ | name == "idris" = [enable "gmp", enable "ffi"]
1717 | name == "io-streams" = [enable "NoInteractiveTests"]
1818 | name == "pandoc" = [enable "https", enable "make-pandoc-man-pages"]
1919 | name == "reactive-banana-wx" = [disable "buildExamples"]