From ef5720c9eb4675f90b737d960a5c77da86075b1e Mon Sep 17 00:00:00 2001
From: Johan Euphrosine <proppy@google.com>
Date: Thu, 20 Nov 2014 03:15:10 -0800
Subject: [PATCH] imgui: add Dockerfile

---
 Dockerfile | 7 +++++++
 1 file changed, 7 insertions(+)
 create mode 100644 Dockerfile

diff --git a/Dockerfile b/Dockerfile
new file mode 100644
index 000000000..0e99ebabc
--- /dev/null
+++ b/Dockerfile
@@ -0,0 +1,7 @@
+FROM debian:jessie
+ENV DEBIAN_FRONTEND noninteractive
+RUN apt-get update && apt-get install -y --no-install-recommends build-essential libglfw3-dev libglew-dev pkg-config libxrandr-dev libxi-dev
+ADD . /usr/src/imgui
+WORKDIR /usr/src/imgui
+RUN make -C examples/opengl_example all
+CMD ["/usr/src/imgui/examples/opengl_example/imgui_example"]