Only make $out/bin/ dir for profiledObRun
$out/bin/ob-run was a mistake
commit3c804683176407cfa830db48b886183bf6da4371
authorMatthew Bauer <mjbauer95@gmail.com>
dateMon 24 Feb 2020, 11:43 (7 years ago)
parentb830877
default.nix+1−1
@@ -399,7 +399,7 @@ in rec {
399399 in nixpkgs.runCommand "ob-run" {
400400 buildInputs = [ (profiled.ghc.ghcWithPackages (p: [ p.backend p.frontend])) ];
401401 } ''
402− mkdir -p $out/bin/ob-run
402+ mkdir -p $out/bin/
403403 ghc -x hs -prof -fno-prof-auto -threaded ${exeSource} -o $out/bin/ob-run
404404 '';
405405