diff --git a/docker/Dockerfile.check b/docker/Dockerfile.check deleted file mode 100644 index 5ee7acf..0000000 --- a/docker/Dockerfile.check +++ /dev/null @@ -1,7 +0,0 @@ -FROM gnuk:latest - -LABEL Description="Image for checking gnuK" - -RUN apt install -y shellcheck -RUN apt install -y clang libfindbin-libs-perl -RUN apt clean diff --git a/docker/Dockerfile.debug b/docker/Dockerfile.debug deleted file mode 100644 index 5aa8a09..0000000 --- a/docker/Dockerfile.debug +++ /dev/null @@ -1,4 +0,0 @@ -FROM gnuk:latest -LABEL Description="Image for building gnuK with debugging" - -RUN apt install -y gdb-arm-none-eabi && apt clean diff --git a/docker/Dockerfile.release b/docker/Dockerfile.release deleted file mode 100644 index 0c933f1..0000000 --- a/docker/Dockerfile.release +++ /dev/null @@ -1,6 +0,0 @@ -FROM debian:latest -LABEL Description="Image for building gnuK" - -RUN apt update -y && apt install -y make gcc-arm-none-eabi && apt clean - -CMD ["/bin/sh", "-c", "cd /gnuk/src && make clean && ./configure $GNUK_CONFIG && make"] diff --git a/docker/Makefile b/docker/Makefile deleted file mode 100644 index 0924902..0000000 --- a/docker/Makefile +++ /dev/null @@ -1,36 +0,0 @@ -ifndef GNUK_CONFIG -$(warning configuration flags not set in GNUK_CONFIG) -endif - -all: ../chopstx docker-build-release - docker run --user=`id -u` --env GNUK_CONFIG --rm -v `pwd`/..:/gnuk/ -t gnuk:latest - -clean: docker-build-release - docker run --user=`id -u` --env GNUK_CONFIG --rm -v `pwd`/..:/gnuk/ -w /gnuk/src -t gnuk:latest make clean - -gdb: docker-build-debug - docker run --net host --rm -i -v `pwd`/..:/gnuk/ -t gnuk:latest-debug arm-none-eabi-gdb /gnuk/src/build/gnuk.elf - -shellcheck: docker-build-check - docker run --rm -v `pwd`/..:/gnuk/ -t gnuk:latest-check shellcheck /gnuk/src/configure - -CHECKERS=security optin nullability core deadcode alpha.core alpha.security -scan-build: clean docker-build-check - docker run --user=`id -u` --rm -v `pwd`/..:/gnuk/ -w /gnuk/src -t gnuk:latest-check scan-build -o scan-build \ - -analyze-headers -stats $(addprefix -enable-checker ,$(CHECKERS)) -k \ - --use-cc=arm-none-eabi-gcc \ - make -../chopstx: - git submodule update --init - -docker-build-release: - docker build -t gnuk:latest -f `pwd`/Dockerfile.release .. - -docker-build-debug: docker-build-release - docker build -t gnuk:latest-debug -f `pwd`/Dockerfile.debug .. - -docker-build-check: docker-build-release - docker build -t gnuk:latest-check -f `pwd`/Dockerfile.check .. - -.PHONY: all clean gdb shellcheck scan-build \ - docker-build-release docker-build-debug docker-build-check