mirror of
https://github.com/idris-lang/Idris-dev.git
synced 2024-10-04 01:50:20 +03:00
23 lines
363 B
Nix
23 lines
363 B
Nix
{ ghc }:
|
|
with (import <nixpkgs> {});
|
|
|
|
let
|
|
libs = [
|
|
libffi
|
|
zlib
|
|
ncurses
|
|
gmp
|
|
];
|
|
native_libs = lib.optionals stdenv.isDarwin (with darwin.apple_sdk.frameworks; [
|
|
Cocoa
|
|
CoreServices
|
|
]);
|
|
|
|
in haskell.lib.buildStackProject {
|
|
inherit ghc;
|
|
nativeBuildInputs = native_libs;
|
|
buildInputs = libs;
|
|
name = "idrisBuildEnv";
|
|
src = ./.;
|
|
}
|