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