diff options
Diffstat (limited to 'pkgs/applications/science/logic/leo2/default.nix')
-rw-r--r-- | pkgs/applications/science/logic/leo2/default.nix | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/pkgs/applications/science/logic/leo2/default.nix b/pkgs/applications/science/logic/leo2/default.nix index 04ab9a5b5ab3..6b17d7e8f50a 100644 --- a/pkgs/applications/science/logic/leo2/default.nix +++ b/pkgs/applications/science/logic/leo2/default.nix @@ -29,17 +29,17 @@ rec { phaseNames = ["makeInstallationDir" "doUnpack" "doMake" "doFinalize"]; makeInstallationDir = a.fullDepEntry ('' - ensureDir "$out/share/leo2/build-dir" + mkdir -p "$out/share/leo2/build-dir" cd "$out/share/leo2/build-dir" '') ["minInit" "defEnsureDir"]; goSrcDir = "cd src/"; doFinalize = a.fullDepEntry ('' - ensureDir "$out/bin" + mkdir -p "$out/bin" echo -e "#! /bin/sh\\n$PWD/../bin/leo --atprc $out/etc/leoatprc \"\$@\"\\n" > "$out/bin/leo" chmod a+x "$out/bin/leo" - ensureDir "$out/etc" + mkdir -p "$out/etc" echo -e "e = ${eprover}/bin/eprover\\nepclextract = ${eprover}/bin/epclextract" > "$out/etc/leoatprc" '') ["minInit" "doMake" "defEnsureDir"]; |