Merged PR 18677: build(Makefile): launch bash in shell-$SERVICE; add ghci target

build(Makefile): launch bash in shell-$SERVICE; add ghci target
2025-03-25 16:27:50 +00:00 · 2025-03-25 16:27:50 +00:00 · 579ea86503
commit 579ea86503
parent a01398f1db 9c1b074adf
1 changed files with 4 additions and 1 deletions
--- a/5
+++ b/5
@ -77,7 +77,10 @@ start-%:

 .PHONY: shell-%
 shell-%:
-	docker compose run $*
+	docker compose run --build --no-deps $* bash
+.PHONY: ghci
+ghci:
+	docker compose run --build --no-deps backend stack ghci --main-is=$(SRC)

 .PHONY: stop
 # HELP: stop all services