git.iko.soy/Idris-dev
on f80809a help sign in
Idris-dev/stack-shell.nix
24 lines 416 B history raw
1{ ghc }:
2with (import <nixpkgs> {});
4let
5 libs = [
6 gmp
7 libffi
8 ncurses
9 nodejs
10 perl
11 zlib
12 ];
13 native_libs = lib.optionals stdenv.isDarwin (with darwin.apple_sdk.frameworks; [
14 Cocoa
15 CoreServices
16 ]);
18in haskell.lib.buildStackProject {
19 inherit ghc;
20 nativeBuildInputs = native_libs;
21 buildInputs = libs;
22 name = "idrisBuildEnv";
23 src = if lib.inNixShell then null else ./.;