git.iko.soy/typeable/cabal2nix
on master help sign in
Add -fexeconly flag to idris package

In nixpkgs this flag is currently passed manually. The libraries are built later on. https://github.com/NixOS/nixpkgs/blob/1c431f4664d219368710c2db1d1b81e6e556978f/pkgs/development/haskell-modules/configuration-common.nix#L737

commit2d20a2ddec8fb23fef3a76df04e84b1963774d32 authorMatthew Pickering <matthewtpickering@gmail.com> dateFri 3 Nov 2017, 20:31 (9 years ago) parentcf4b32a
1 file changed+1−1
compare with master
unifiedsplit
src/Distribution/Nixpkgs/Haskell/FromCabal/Flags.hs+1−1
src/Distribution/Nixpkgs/Haskell/FromCabal/Flags.hs+1−1
@@ -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"]