From b308bb802c555e9160d9eee551f463d27526a04b Mon Sep 17 00:00:00 2001
From: Laurent Perron <lperron@google.com>
Date: Fri, 14 Jul 2017 11:04:13 -0700
Subject: [PATCH] support debian 9 in docker

---
 tools/docker/Makefile            | 17 +++++++++++++++++
 tools/docker/debian-9.Dockerfile | 16 ++++++++++++++++
 2 files changed, 33 insertions(+)
 create mode 100644 tools/docker/debian-9.Dockerfile

diff --git a/tools/docker/Makefile b/tools/docker/Makefile
index 4a271d1e59..22f87b8a7d 100644
--- a/tools/docker/Makefile
+++ b/tools/docker/Makefile
@@ -79,6 +79,23 @@ ubuntu-17.04-pypi: export ubuntu-17.04-image
 ubuntu-17.04-pypi3: export ubuntu-17.04-image
 	docker run -w /root/or-tools -v `pwd`/export:/export or-tools-ubuntu-17.04-image:latest /bin/bash -c "git pull; sed -i -e 's/2.7/3.5/g' Makefile.local; make clean; make python -j 5; make test_python; make pypi_export"
 
+# Debian 9 images
+
+debian-9-image:
+	docker build -f debian-9.Dockerfile -t or-tools-debian-9-image .
+
+debian-9-image-no-cache:
+	docker build --no-cache -f debian-9.Dockerfile -t or-tools-debian-9-image .
+
+debian-9-archive: export debian-9-image
+	docker run -w /root/or-tools -v `pwd`/export:/export or-tools-debian-9-image:latest /bin/bash -c "git pull; pwd; make clean; make all -j 5; make test; make archive; cp *.tar.gz /export"
+
+debian-9-pypi: export debian-9-image
+	docker run -w /root/or-tools -v `pwd`/export:/export or-tools-debian-9-image:latest /bin/bash -c "git pull; make clean; make python -j 5; make test_python; make pypi_export"
+
+debian-9-pypi3: export debian-9-image
+	docker run -w /root/or-tools -v `pwd`/export:/export or-tools-debian-9-image:latest /bin/bash -c "git pull; sed -i -e 's/2.7/3.5/g' Makefile.local; make clean; make python -j 5; make test_python; make pypi_export"
+
 # Centos 7 images
 
 centos-7-image:
diff --git a/tools/docker/debian-9.Dockerfile b/tools/docker/debian-9.Dockerfile
new file mode 100644
index 0000000000..f4aba31e3a
--- /dev/null
+++ b/tools/docker/debian-9.Dockerfile
@@ -0,0 +1,16 @@
+FROM debian:9
+
+RUN apt-get update
+
+RUN apt-get -y install git autoconf libtool zlib1g-dev gawk g++ curl cmake subversion make mono-complete swig lsb-release python-dev default-jdk twine python-setuptools python-six python3-setuptools python3-dev python-wheel python3-wheel
+
+ENV TZ=America/Los_Angeles
+RUN ln -snf /usr/share/zoneinfo/$TZ /etc/localtime && echo $TZ > /etc/timezone
+
+WORKDIR /root
+
+RUN git clone https://github.com/google/or-tools
+
+WORKDIR /root/or-tools
+
+RUN make third_party