diff options
| author | Márton Boros <martonboros@gmail.com> | 2017-12-26 10:55:17 +0100 |
|---|---|---|
| committer | Márton Boros <martonboros@gmail.com> | 2017-12-26 10:55:17 +0100 |
| commit | 92538f0a5439b7155dc46e10d10631cef68943c3 (patch) | |
| tree | 9b36c41f4e388c96f5016eac1738840594f56d1a /pkgs/development/idris-modules | |
| parent | f1c236a987bc5d0a0de0bafc2d8e0e7556f45450 (diff) | |
| download | nixpkgs-92538f0a5439b7155dc46e10d10631cef68943c3.tar nixpkgs-92538f0a5439b7155dc46e10d10631cef68943c3.tar.gz nixpkgs-92538f0a5439b7155dc46e10d10631cef68943c3.tar.bz2 nixpkgs-92538f0a5439b7155dc46e10d10631cef68943c3.tar.lz nixpkgs-92538f0a5439b7155dc46e10d10631cef68943c3.tar.xz nixpkgs-92538f0a5439b7155dc46e10d10631cef68943c3.tar.zst nixpkgs-92538f0a5439b7155dc46e10d10631cef68943c3.zip | |
idris: fix modules
Diffstat (limited to 'pkgs/development/idris-modules')
| -rw-r--r-- | pkgs/development/idris-modules/idris-wrapper.nix | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/pkgs/development/idris-modules/idris-wrapper.nix b/pkgs/development/idris-modules/idris-wrapper.nix index 32424ba1f86..5e3eb511bd3 100644 --- a/pkgs/development/idris-modules/idris-wrapper.nix +++ b/pkgs/development/idris-modules/idris-wrapper.nix @@ -5,10 +5,10 @@ symlinkJoin { src = idris.src; paths = [ idris ]; buildInputs = [ makeWrapper ]; + meta.platforms = idris.meta.platforms; postBuild = '' wrapProgram $out/bin/idris \ --suffix PATH : ${ stdenv.lib.makeBinPath path } \ --suffix LIBRARY_PATH : ${stdenv.lib.makeLibraryPath lib} - ''; - } - + ''; +} |