mirror of
https://github.com/ilyakooo0/Idris-dev.git
synced 2024-08-16 04:00:35 +03:00
25 lines
416 B
Nix
25 lines
416 B
Nix
{ ghc }:
|
|
with (import <nixpkgs> {});
|
|
|
|
let
|
|
libs = [
|
|
gmp
|
|
libffi
|
|
ncurses
|
|
nodejs
|
|
perl
|
|
zlib
|
|
];
|
|
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 = if lib.inNixShell then null else ./.;
|
|
}
|