summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorjneem <joeneeman@gmail.com>2023-09-14 13:54:47 -0500
committerGitHub <noreply@github.com>2023-09-14 21:54:47 +0300
commitfeea179e9f9921e96e8fb1b8855d4a8f83682455 (patch)
tree90116a4a5caf273ec280b62ac4b8dc5eabfc5c9d
parent769266a543f68377a1d904ec2a8c27b38a4025ab (diff)
flake : allow $out/include to already exist (#3175)
-rw-r--r--flake.nix2
1 files changed, 1 insertions, 1 deletions
diff --git a/flake.nix b/flake.nix
index adb490e6..27223c7b 100644
--- a/flake.nix
+++ b/flake.nix
@@ -45,7 +45,7 @@
postInstall = ''
mv $out/bin/main $out/bin/llama
mv $out/bin/server $out/bin/llama-server
- mkdir $out/include
+ mkdir -p $out/include
cp ${src}/llama.h $out/include/
'';
cmakeFlags = [ "-DLLAMA_BUILD_SERVER=ON" "-DLLAMA_MPI=ON" "-DBUILD_SHARED_LIBS=ON" "-DCMAKE_SKIP_BUILD_RPATH=ON" ];