build(Makefile): hard-kill containers before cleaning images
This commit is contained in:
parent
f5d701a871
commit
aa664a5822
3
Makefile
3
Makefile
@ -30,6 +30,7 @@ ifeq ("$(CLEAN_DEPENDENCIES)", "true")
|
|||||||
@echo "Cleaned $* dependencies."
|
@echo "Cleaned $* dependencies."
|
||||||
endif
|
endif
|
||||||
ifeq ("$(CLEAN_IMAGES)", "true")
|
ifeq ("$(CLEAN_IMAGES)", "true")
|
||||||
|
$(MAKE) kill-$*
|
||||||
docker compose rm --force --volumes
|
docker compose rm --force --volumes
|
||||||
docker compose down --rmi 'all' --volumes
|
docker compose down --rmi 'all' --volumes
|
||||||
@echo "Cleaned $* image."
|
@echo "Cleaned $* image."
|
||||||
@ -80,7 +81,7 @@ shell-%:
|
|||||||
docker compose run --build --no-deps $* bash
|
docker compose run --build --no-deps $* bash
|
||||||
.PHONY: ghci
|
.PHONY: ghci
|
||||||
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
|
.PHONY: stop
|
||||||
# HELP: stop all services
|
# HELP: stop all services
|
||||||
|
|||||||
Reference in New Issue
Block a user