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
{ lib, idris, symlinkJoin, makeWrapper }: packages:

let paths = lib.closePropagation packages;
in
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`
treewide: remove stdenv where not needed 2021-01-25 08:26:54 +00:00			`{ lib, idris, symlinkJoin, makeWrapper }: packages:`
Add with-packages wrapper for idris 2015-11-27 12:56:11 +00:00
pkgs/development: stdenv.lib -> lib this takes care of the following folders in pkgs/development: * arduino * chez-modules * go-packages * guile-modules * idris-modules * perl-modules * r-modules * ruby-modules 2021-01-17 18:11:59 +00:00			`let paths = lib.closePropagation packages;`
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			`in`
pkgs/development: stdenv.lib -> lib this takes care of the following folders in pkgs/development: * arduino * chez-modules * go-packages * guile-modules * idris-modules * perl-modules * r-modules * ruby-modules 2021-01-17 18:11:59 +00:00			`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 09:21:47 +00: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`
idris: Clean up package builder 2018-07-02 03:18:08 +00:00			`'';`
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 09:21:47 +00:00			`})`