nix/k.nix: Include lib/kframework/bin in bin-unwrapped

runtimeverification · Nov 21, 2023 · 7ab650e · 7ab650e
1 parent 2fc5421
commit 7ab650e
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/nix/k.nix b/nix/k.nix
@@ -57,6 +57,7 @@ let
         chmod +x $out/bin/k-which-python
 
         cp -r k-distribution/target/release/k/bin/* $out/bin-unwrapped/
+        cp -r k-distribution/target/release/k/lib/kframework/bin/* $out/bin-unwrapped/
         cp -r k-distribution/target/release/k/{include,lib} $out/
 
         mkdir -p $out/lib/cmake/kframework