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 10:17:17 -08: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 10:18:59 -08:00			`{ stdenv, idris, symlinkJoin, makeWrapper }: packages:`
Add with-packages wrapper for idris 2015-11-27 04:56:11 -08: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 10:18:59 -08: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 02:21:47 -07:00			`stdenv.lib.appendToName "with-packages" (symlinkJoin {`
Add builtin idris packages to idrisPackages 2015-11-27 06:35:59 -08:00
treewide: use appendToName where appropriate Using appendToName preserves the version at the end of the name. 2018-05-25 02:21:47 -07:00			`inherit (idris) name;`
Add builtin idris packages to idrisPackages 2015-11-27 06:35:59 -08: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 10:18:59 -08:00			`paths = paths ++ [idris] ;`
Add builtin idris packages to idrisPackages 2015-11-27 06:35:59 -08: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 10:18:59 -08:00			`buildInputs = [ makeWrapper ];`
Add with-packages wrapper for idris 2015-11-27 04:56:11 -08: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 10:18:59 -08:00			`postBuild = ''`
			`wrapProgram $out/bin/idris \`
			`--set IDRIS_LIBRARY_PATH $out/libs`
idris: Clean up package builder 2018-07-01 20:18:08 -07:00			`'';`
Add with-packages wrapper for idris 2015-11-27 04:56:11 -08:00
treewide: use appendToName where appropriate Using appendToName preserves the version at the end of the name. 2018-05-25 02:21:47 -07:00			`})`