nixpkgs/pkgs/development/idris-modules/idris-wrapper.nix

{ lib, symlinkJoin, makeWrapper, idris-no-deps, gcc, gmp }:

symlinkJoin {
  inherit (idris-no-deps) name src meta;
  paths = [ idris-no-deps ];
  buildInputs = [ makeWrapper ];
  postBuild = ''
    wrapProgram $out/bin/idris \
      --run 'export IDRIS_CC=''${IDRIS_CC:-${lib.getBin gcc}/bin/gcc}' \
      --suffix LIBRARY_PATH : ${lib.makeLibraryPath [ gmp ]}
  '';
}
idris: Clean up wrapper 2018-07-02 00:32:47 +00:00			`{ lib, symlinkJoin, makeWrapper, idris-no-deps, gcc, gmp }:`
Add wrapper for idris exe for gcc/gmp runtime deps Fixes #10450 When compiling packages with -o the executable invokes gcc. There is no compile time flag to control this invocation so for now we create a wrapper which provides the dependency at runtime. 2017-11-02 21:51:35 +00:00
			`symlinkJoin {`
idris: Clean up wrapper 2018-07-02 00:32:47 +00:00			`inherit (idris-no-deps) name src meta;`
			`paths = [ idris-no-deps ];`
Add wrapper for idris exe for gcc/gmp runtime deps Fixes #10450 When compiling packages with -o the executable invokes gcc. There is no compile time flag to control this invocation so for now we create a wrapper which provides the dependency at runtime. 2017-11-02 21:51:35 +00:00			`buildInputs = [ makeWrapper ];`
			`postBuild = ''`
			`wrapProgram $out/bin/idris \`
idris: Clean up wrapper 2018-07-02 00:32:47 +00:00			`--run 'export IDRIS_CC=''${IDRIS_CC:-${lib.getBin gcc}/bin/gcc}' \`
			`--suffix LIBRARY_PATH : ${lib.makeLibraryPath [ gmp ]}`
			`'';`
			`}`