Merged PR 18679: build(Makefile): hard-kill containers before cleaning images

build(Makefile): hard-kill containers before cleaning images
This commit is contained in:
Steffen Jost 2025-03-25 16:46:14 +00:00
commit 506b26ddd5

View File

@ -30,6 +30,7 @@ ifeq ("$(CLEAN_DEPENDENCIES)", "true")
@echo "Cleaned $* dependencies."
endif
ifeq ("$(CLEAN_IMAGES)", "true")
$(MAKE) kill-$*
docker compose rm --force --volumes
docker compose down --rmi 'all' --volumes
@echo "Cleaned $* image."
@ -80,7 +81,7 @@ shell-%:
docker compose run --build --no-deps $* bash
.PHONY: ghci
ghci:
docker compose run --build --no-deps backend stack ghci --main-is=$(SRC)
docker compose run --build --no-deps backend stack ghci $(SRC)
.PHONY: stop
# HELP: stop all services