git.iko.soy/Idris-dev
on cd87fcd help sign in
Idris-dev/stack-shell.nix
21 lines 342 B history raw
1{ ghc }:
2with (import <nixpkgs> {});
4let
5 native_libs = [
6 libffi
7 zlib
8 ncurses
9 gmp
10 pkgconfig
11 ] ++ lib.optionals stdenv.isDarwin (with darwin.apple_sdk.frameworks; [
12 Cocoa
13 CoreServices
14 ]);
16in haskell.lib.buildStackProject {
17 inherit ghc;
18 buildInputs = native_libs;
19 name = "idrisBuildEnv";
20 src = ./.;