diff options
author | jneem <joeneeman@gmail.com> | 2023-09-14 13:54:47 -0500 |
---|---|---|
committer | GitHub <noreply@github.com> | 2023-09-14 21:54:47 +0300 |
commit | feea179e9f9921e96e8fb1b8855d4a8f83682455 (patch) | |
tree | 90116a4a5caf273ec280b62ac4b8dc5eabfc5c9d | |
parent | 769266a543f68377a1d904ec2a8c27b38a4025ab (diff) |
flake : allow $out/include to already exist (#3175)
-rw-r--r-- | flake.nix | 2 |
1 files changed, 1 insertions, 1 deletions
@@ -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" ]; |