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 = {