From 18a60b2b491a8ab982a4b534243ba1ad374c3747 Mon Sep 17 00:00:00 2001
From: Antonio Jimenez Pastor <antonio@ebook.dk-compmath.jku.at>
Date: Wed, 10 Jul 2019 17:08:13 +0200
Subject: [PATCH] Added the Dockerfile for use of Binder

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

diff --git a/Dockerfile b/Dockerfile
new file mode 100644
index 0000000..979a19d
--- /dev/null
+++ b/Dockerfile
@@ -0,0 +1,11 @@
+# Dockerfile for binder
+# Reference: https://mybinder.readthedocs.io/en/latest/dockerfile.html#preparing-your-dockerfile
+
+# Temporary work around: the first 8.2 image that was pushed to dockerhub was incompatible
+FROM sagemath/sagemath:8.8
+
+# Copy the contents of the repo in ${HOME}
+COPY --chown=sage:sage . ${HOME}
+
+# Install this package and dependencies
+# RUN sage -pip install .
-- 
2.1.4