Add back binaries to bin dir

Kappa-Dev · Mar 28, 2024 · bdc8a6b · bdc8a6b
1 parent 4d080a1
commit bdc8a6b
Showing 1 changed file with 2 additions and 0 deletions.
diff --git a/Makefile b/Makefile
@@ -120,6 +120,8 @@ all:
 	dune build --only-packages kappa-library,kappa-binaries @install
 	dune build @install
 	# Note: removed ./bin symlink used by kappy, as it caused build issues with dune deleting files
+	mkdir -p bin
+	cp -f _build/install/default/bin/* bin/
 
 agents:
 	dune build --only-packages kappa-library,kappa-binaries,kappa-agents @install