diff options
author | Peter Simons <simons@cryp.to> | 2017-06-17 22:08:52 +0200 |
---|---|---|
committer | GitHub <noreply@github.com> | 2017-06-17 22:08:52 +0200 |
commit | 10493d393acc12b83e148b31d75c6f355d4a7e53 (patch) | |
tree | b6eb1eb4b6b53983be4b6690dd1612c76032ef25 /pkgs | |
parent | 6b199db895e917bd75ee6767c021890c25536c86 (diff) | |
parent | dd99d1f8d0b8391e3a8057dceae11f71fff07ee9 (diff) |
Merge pull request #26676 from obsidiansystems/ghc-head-doc
ghcHEAD: Split docs into their own output
Diffstat (limited to 'pkgs')
-rw-r--r-- | pkgs/development/compilers/ghc/head.nix | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/pkgs/development/compilers/ghc/head.nix b/pkgs/development/compilers/ghc/head.nix index 006a9f8fbc466..3e1aada22eb1c 100644 --- a/pkgs/development/compilers/ghc/head.nix +++ b/pkgs/development/compilers/ghc/head.nix @@ -15,6 +15,8 @@ let version = "8.1.20170106"; rev = "b4f2afe70ddbd0576b4eba3f82ba1ddc52e9b3bd"; + outputs = [ "out" "doc" ]; + commonPreConfigure = '' echo ${version} >VERSION echo ${rev} >GIT_COMMIT_ID @@ -48,6 +50,7 @@ in stdenv.mkDerivation (rec { configureFlags = [ "CC=${stdenv.cc}/bin/cc" "--with-curses-includes=${ncurses.dev}/include" "--with-curses-libraries=${ncurses.out}/lib" + "--datadir=$doc/share/doc/ghc" ] ++ stdenv.lib.optional (! enableIntegerSimple) [ "--with-gmp-includes=${gmp.dev}/include" "--with-gmp-libraries=${gmp.out}/lib" ] ++ stdenv.lib.optional stdenv.isDarwin [ |