nixpkgs/pkgs/development/idris-modules/with-packages.nix

# Build a version of idris with a set of packages visible
# packages: The packages visible to idris
{ stdenv, idris, symlinkJoin, makeWrapper }: packages:

let paths = stdenv.lib.closePropagation packages;
in
stdenv.lib.appendToName "with-packages" (symlinkJoin {

  inherit (idris) name;

  paths = paths ++ [idris] ;

  buildInputs = [ makeWrapper ];

  postBuild = ''
    wrapProgram $out/bin/idris \
      --set IDRIS_LIBRARY_PATH $out/libs
      '';

})
idris-modules: documentation 2015-11-27 18:17:17 +00:00			`# Build a version of idris with a set of packages visible`
			`# packages: The packages visible to idris`
Refactor Idris packaging infrastructure The main two changes are 1. Completely rewrite how with-packages works to remove use of envHooks 2. The package description is now an idris specific set rather than being a subset of the arguments to mkDerivation. This mirrors the way Haskell packages are treated. 2017-11-06 18:18:59 +00:00			`{ stdenv, idris, symlinkJoin, makeWrapper }: packages:`
Add with-packages wrapper for idris 2015-11-27 12:56:11 +00:00
Refactor Idris packaging infrastructure The main two changes are 1. Completely rewrite how with-packages works to remove use of envHooks 2. The package description is now an idris specific set rather than being a subset of the arguments to mkDerivation. This mirrors the way Haskell packages are treated. 2017-11-06 18:18:59 +00:00			`let paths = stdenv.lib.closePropagation packages;`
			`in`
treewide: use appendToName where appropriate Using appendToName preserves the version at the end of the name. 2018-05-25 10:21:47 +01:00			`stdenv.lib.appendToName "with-packages" (symlinkJoin {`
Add builtin idris packages to idrisPackages 2015-11-27 14:35:59 +00:00
treewide: use appendToName where appropriate Using appendToName preserves the version at the end of the name. 2018-05-25 10:21:47 +01:00			`inherit (idris) name;`
Add builtin idris packages to idrisPackages 2015-11-27 14:35:59 +00:00
Refactor Idris packaging infrastructure The main two changes are 1. Completely rewrite how with-packages works to remove use of envHooks 2. The package description is now an idris specific set rather than being a subset of the arguments to mkDerivation. This mirrors the way Haskell packages are treated. 2017-11-06 18:18:59 +00:00			`paths = paths ++ [idris] ;`
Add builtin idris packages to idrisPackages 2015-11-27 14:35:59 +00:00
Refactor Idris packaging infrastructure The main two changes are 1. Completely rewrite how with-packages works to remove use of envHooks 2. The package description is now an idris specific set rather than being a subset of the arguments to mkDerivation. This mirrors the way Haskell packages are treated. 2017-11-06 18:18:59 +00:00			`buildInputs = [ makeWrapper ];`
Add with-packages wrapper for idris 2015-11-27 12:56:11 +00:00
Refactor Idris packaging infrastructure The main two changes are 1. Completely rewrite how with-packages works to remove use of envHooks 2. The package description is now an idris specific set rather than being a subset of the arguments to mkDerivation. This mirrors the way Haskell packages are treated. 2017-11-06 18:18:59 +00:00			`postBuild = ''`
			`wrapProgram $out/bin/idris \`
			`--set IDRIS_LIBRARY_PATH $out/libs`
			`'';`
Add with-packages wrapper for idris 2015-11-27 12:56:11 +00:00
treewide: use appendToName where appropriate Using appendToName preserves the version at the end of the name. 2018-05-25 10:21:47 +01:00			`})`