From 4e4327994d95d294f800c8c9f9cd811e45f5ace2 Mon Sep 17 00:00:00 2001 From: Michael Tremer Date: Fri, 23 Nov 2018 19:47:02 +0000 Subject: [PATCH] docker: Add Debian image with basic build environment By running "./make.sh docker" the current build environment will be mounted into a Debian-based docker container. This clean build environment can be used to compile the toolchain or something... Signed-off-by: Michael Tremer --- make.sh | 14 ++++++++++++++ tools/docker/Dockerfile | 21 +++++++++++++++++++++ 2 files changed, 35 insertions(+) create mode 100644 tools/docker/Dockerfile diff --git a/make.sh b/make.sh index dee5e74e73..7e9cd6d9d8 100755 --- a/make.sh +++ b/make.sh @@ -1768,6 +1768,20 @@ clean) rm -f $BASEDIR/ipfire-* print_status DONE ;; +docker) + # Build the docker image if it does not exist, yet + if ! docker images -a | grep -q ^ipfire-builder; then + if docker build -t ipfire-builder ${BASEDIR}/tools/docker; then + print_status DONE + else + print_status FAIL + exit 1 + fi + fi + + # Run the container and enter a shell + docker run -it --privileged -v "${BASEDIR}:/build" -w "/build" ipfire-builder bash -l + ;; downloadsrc) if [ ! -d $BASEDIR/cache ]; then mkdir $BASEDIR/cache diff --git a/tools/docker/Dockerfile b/tools/docker/Dockerfile new file mode 100644 index 0000000000..02ec146c85 --- /dev/null +++ b/tools/docker/Dockerfile @@ -0,0 +1,21 @@ +# This image is based on the latest stable version of Debian +FROM debian:stable + +# Install all updates +RUN apt-get update && apt-get dist-upgrade + +# Install all packages needed for the build +RUN apt-get install -y \ + build-essential \ + autoconf \ + automake \ + bison \ + flex \ + gawk \ + git \ + libz-dev + +# Enable colors in git +RUN git config --global color.ui auto + +WORKDIR ~ -- 2.39.2