From 37fe81b86a115a230701cae4da977b5d23a3fac5 Mon Sep 17 00:00:00 2001
From: Pedro Batista <pedosb@gmail.com>
Date: Fri, 20 Jul 2018 14:27:06 +0200
Subject: [PATCH] Dockerfile for dashc

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

diff --git a/Dockerfile b/Dockerfile
new file mode 100644
index 0000000..95c8c8d
--- /dev/null
+++ b/Dockerfile
@@ -0,0 +1,19 @@
+from ubuntu:16.04
+
+COPY . /root/dashc
+
+RUN apt-get update && \
+BUILD_DEP="libffi-dev git opam m4 pkg-config libssl-dev" && \
+apt-get install -yq libssl1.0.0 libffi6 $BUILD_DEP && \
+cd /root/dashc &&\
+./configure && \
+eval $(opam config env) && \
+opam install -y async_ssl && \
+./configure && \
+make && \
+cp /root/dashc/dashc.exe / && \
+rm -rf /root && \
+apt-get remove -yq $BUILD_DEP && \
+apt-get clean && apt-get autoremove -y && rm -rf /var/lib/apt/lists/*
+
+ENTRYPOINT ["/dashc.exe"]