diff options
Diffstat (limited to 'pkgs/applications/science/logic/iprover/default.nix')
| -rw-r--r-- | pkgs/applications/science/logic/iprover/default.nix | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/pkgs/applications/science/logic/iprover/default.nix b/pkgs/applications/science/logic/iprover/default.nix index 7bfd8dff12e3..91d8c122a8d4 100644 --- a/pkgs/applications/science/logic/iprover/default.nix +++ b/pkgs/applications/science/logic/iprover/default.nix @@ -30,10 +30,10 @@ rec { phaseNames = ["doConfigure" "doMake" "doDeploy"]; configureCommand = "sh configure"; doDeploy = a.fullDepEntry ('' - ensureDir "$out/bin" + mkdir -p "$out/bin" cp iproveropt "$out/bin" - ensureDir "$out/share/${name}" + mkdir -p "$out/share/${name}" cp *.p "$out/share/${name}" echo -e "#! /bin/sh\\n$out/bin/iproveropt --clausifier \"${eprover}/bin/eprover\" --clausifier_options \" --tstp-format --silent --cnf \" \"\$@\"" > "$out"/bin/iprover chmod a+x "$out"/bin/iprover |