Symlink booster-dev binary into bin/ in the final k derivation (#4424)

runtimeverification · Jun 6, 2024 · 769927c · 769927c
1 parent df9a88d
commit 769927c
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/nix/k.nix b/nix/k.nix
@@ -73,6 +73,7 @@ let
 
         ln -sf ${haskell-backend}/bin/kore-rpc-booster $out/bin/kore-rpc-booster
         ln -sf ${haskell-backend}/bin/kore-rpc-client $out/bin/kore-rpc-client
+        ln -sf ${haskell-backend}/bin/booster-dev $out/bin/booster-dev
 
         prelude_kore="$out/include/kframework/kore/prelude.kore"
         mkdir -p "$(dirname "$prelude_kore")"