diff options
author | Brian McKenna <brian@brianmckenna.org> | 2016-09-29 10:52:29 +1000 |
---|---|---|
committer | Brian McKenna <brian@brianmckenna.org> | 2016-09-29 10:52:29 +1000 |
commit | 57e1250d895c4c5fd9aff0f1a484ad43a6506fff (patch) | |
tree | 322e95baed5e77c8503d0d4dfef73e1abd4cb659 /pkgs/applications/science/logic/redprl | |
parent | 4c493a32f90b674b7c3123b51dce35dbaff18f1e (diff) | |
download | nixlib-57e1250d895c4c5fd9aff0f1a484ad43a6506fff.tar nixlib-57e1250d895c4c5fd9aff0f1a484ad43a6506fff.tar.gz nixlib-57e1250d895c4c5fd9aff0f1a484ad43a6506fff.tar.bz2 nixlib-57e1250d895c4c5fd9aff0f1a484ad43a6506fff.tar.lz nixlib-57e1250d895c4c5fd9aff0f1a484ad43a6506fff.tar.xz nixlib-57e1250d895c4c5fd9aff0f1a484ad43a6506fff.tar.zst nixlib-57e1250d895c4c5fd9aff0f1a484ad43a6506fff.zip |
redprl: remove explicit builder
patchPhase wasn't being called for me so I've switched out the explicit builder for the generic form. I can now build RedPRL on locally on NixOS.
Diffstat (limited to 'pkgs/applications/science/logic/redprl')
-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 = { |