diff options
Diffstat (limited to 'pkgs/applications/science/logic/tptp/default.nix')
-rw-r--r-- | pkgs/applications/science/logic/tptp/default.nix | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/pkgs/applications/science/logic/tptp/default.nix b/pkgs/applications/science/logic/tptp/default.nix index 3211b6ebdc01..11b8f7ce535a 100644 --- a/pkgs/applications/science/logic/tptp/default.nix +++ b/pkgs/applications/science/logic/tptp/default.nix @@ -31,7 +31,7 @@ rec { "patchBinaries" "makeLinks"]; goTarget = a.fullDepEntry '' - ensureDir "$out"/share/ + mkdir -p "$out"/share/ cd "$out"/share/ '' ["defEnsureDir" "minInit"]; @@ -54,7 +54,7 @@ rec { '' ["addInputs"]; makeLinks = a.fullDepEntry '' - ensureDir "$out/bin" + mkdir -p "$out/bin" ln -s "../share/tptp/TPTP2X/tptp2X" "$out/bin" ln -s "../share/tptp/Scripts/tptp2T" "$out/bin" ln -s "../share/tptp/Scripts/tptp4X" "$out/bin" |