Update Makefile.docker

This commit is contained in:
hackgrid 2023-12-03 14:36:37 +01:00 committed by GitHub
parent e6e5267dcb
commit 8df6523f9b
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23

View file

@ -1,12 +1,15 @@
all:
docker run -v $$PWD:/usr/src/app -it portal64 make
image:
docker build -t portal64 .
debug:
docker run -v $$PWD:/usr/src/app -it PORTAL64_WITH_GFX_VALIDATOR=1 portal64 make
convert_all_png:
docker run -v $$PWD:/usr/src/app -it portal64 make convert_all_png
image:
docker build -t portal64 .
bash:
docker run -v $$PWD:/usr/src/app -it portal64 bash