This is an automated email from the git hooks/post-receive script. It was generated because a ref change was pushed to the repository containing the project "IPFire 2.x development tree".
The branch, next has been updated via 4e4327994d95d294f800c8c9f9cd811e45f5ace2 (commit) from 000ece013518f6fef93d26e5d7e3a16210cb8d98 (commit)
Those revisions listed above that are new to this repository have not appeared on any other notification email; so we list those revisions in full, below.
- Log ----------------------------------------------------------------- commit 4e4327994d95d294f800c8c9f9cd811e45f5ace2 Author: Michael Tremer michael.tremer@ipfire.org Date: Fri Nov 23 19:47:02 2018 +0000
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 michael.tremer@ipfire.org
-----------------------------------------------------------------------
Summary of changes: make.sh | 14 ++++++++++++++ tools/docker/Dockerfile | 21 +++++++++++++++++++++ 2 files changed, 35 insertions(+) create mode 100644 tools/docker/Dockerfile
Difference in files: diff --git a/make.sh b/make.sh index dee5e74e7..7e9cd6d9d 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 000000000..02ec146c8 --- /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 ~
hooks/post-receive -- IPFire 2.x development tree