From 769927c422e1bb1dd524e48a7cc105e025be84d4 Mon Sep 17 00:00:00 2001
From: Samuel Balco <goodlyrottenapple@gmail.com>
Date: Thu, 6 Jun 2024 12:42:21 +0100
Subject: [PATCH] Symlink `booster-dev` binary into bin/ in the final k
 derivation (#4424)

---
 nix/k.nix | 1 +
 1 file changed, 1 insertion(+)

diff --git a/nix/k.nix b/nix/k.nix
index b08bddf4aba..e751eb2ed64 100644
--- 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")"