diff options
| author | Tuomas Tynkkynen <tuomas.tynkkynen@iki.fi> | 2016-09-29 04:59:12 +0300 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2016-09-29 04:59:12 +0300 |
| commit | 7eaaaf0100dac32ce2ce60fb8a370c24bccec841 (patch) | |
| tree | 322e95baed5e77c8503d0d4dfef73e1abd4cb659 | |
| parent | 4c493a32f90b674b7c3123b51dce35dbaff18f1e (diff) | |
| parent | 57e1250d895c4c5fd9aff0f1a484ad43a6506fff (diff) | |
| download | nixlib-7eaaaf0100dac32ce2ce60fb8a370c24bccec841.tar nixlib-7eaaaf0100dac32ce2ce60fb8a370c24bccec841.tar.gz nixlib-7eaaaf0100dac32ce2ce60fb8a370c24bccec841.tar.bz2 nixlib-7eaaaf0100dac32ce2ce60fb8a370c24bccec841.tar.lz nixlib-7eaaaf0100dac32ce2ce60fb8a370c24bccec841.tar.xz nixlib-7eaaaf0100dac32ce2ce60fb8a370c24bccec841.tar.zst nixlib-7eaaaf0100dac32ce2ce60fb8a370c24bccec841.zip | |
Merge pull request #19063 from puffnfresh/package/redprl
redprl: remove explicit builder
| -rw-r--r-- | pkgs/applications/science/logic/redprl/default.nix | 9 |
1 files changed, 4 insertions, 5 deletions
diff --git a/pkgs/applications/science/logic/redprl/default.nix b/pkgs/applications/science/logic/redprl/default.nix index 70b3008156c7..0cbe1d1cb375 100644 --- a/pkgs/applications/science/logic/redprl/default.nix +++ b/pkgs/applications/science/logic/redprl/default.nix @@ -11,12 +11,11 @@ stdenv.mkDerivation { patchPhase = '' patchShebangs ./script/ ''; - builder = builtins.toFile "builder.sh" '' - source $stdenv/setup - mkdir -p $out/bin - cp -r $src/* . - chmod -R +w src + buildPhase = '' ./script/mlton.sh + ''; + installPhase = '' + mkdir -p $out/bin mv ./bin/redprl $out/bin ''; meta = { |