idrisPackages: install docs

This commit is contained in:
Silvan Mosberger 2018-07-02 03:33:13 +02:00
parent be1461fc0a
commit 7ec54c61b7
No known key found for this signature in database
GPG key ID: 9424360B4B85C9E7

View file

@ -38,6 +38,7 @@ stdenv.mkDerivation ({
installPhase = ''
${idris-with-packages}/bin/idris --install *.ipkg --ibcsubdir $out/libs
IDRIS_DOC_PATH=$out/doc ${idris-with-packages}/bin/idris --installdoc *.ipkg
'';
buildInputs = [ gmp ] ++ extraBuildInputs;