From b23ef3214541fd5347d339e9656dcd06cc1c1594 Mon Sep 17 00:00:00 2001 From: Brandon Lewis Date: Thu, 30 Jan 2020 12:43:23 -0800 Subject: [PATCH] Add a simple script to run the docker build --- dockerbuild.sh | 47 +++++++++++++++++++++++++++++++++++++++++++++++ 1 file changed, 47 insertions(+) create mode 100755 dockerbuild.sh diff --git a/dockerbuild.sh b/dockerbuild.sh new file mode 100755 index 00000000..5f1964ee --- /dev/null +++ b/dockerbuild.sh @@ -0,0 +1,47 @@ +function cleanup { + echo "Removing previous build artifacts" + rm -rf build + docker rm build-cont +} + +function gc { + cleanup + docker rmi build-img + docker image prune +} + +function build { + cleanup + + echo "Building the firmware" + docker build -t build-img . + + echo "Create container" + docker create --name build-cont build-img:latest + + echo "Extract build artifacts" + docker cp build-cont:ODrive/Firmware/build . +} + +function usage { + echo "usage: $0 build | cleanup | gc" + echo + echo "build -- build in docker and extract the artifacts." + echo "cleanup -- remove build artifacts from previous build" + echo "gc -- remove all build images and containers" +} + +case $1 in + build) + build + ;; + cleanup) + cleanup + ;; + gc) + gc + ;; + *) + usage + ;; +esac