Closed larseggert closed 3 years ago
If USE_DOCKER is defined, this PR will have the Makefile run all commands inside an i-d-toolchain Docker container.
The image for this container can be updated via the "update-docker" make target.
make
This means that the only thing that needs to be installed locally is make.
Good idea. I'll add Makefile.docker, and the invocation could then become make -f Makefile.docker instead of just make, which is manageable.
Makefile.docker
make -f Makefile.docker
I added an i-d-toolchain bash script to https://github.com/larseggert/i-d-toolchain.
If USE_DOCKER is defined, this PR will have the Makefile run all commands inside an i-d-toolchain Docker container.
The image for this container can be updated via the "update-docker"
make
target.This means that the only thing that needs to be installed locally is
make
.