Merge pull request #19063 from puffnfresh/package/redprl

redprl: remove explicit builder
2016-09-29 04:59:12 +03:00 · 2016-09-29 04:59:12 +03:00 · 7eaaaf0100
commit 7eaaaf0100
parent 4c493a32f9 57e1250d89
1 changed files with 4 additions and 5 deletions
--- 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 = {