From 2e92a6d72925d6b1da7e5ab97702e6afabb99ee4 Mon Sep 17 00:00:00 2001
From: Pedro Ferreira <pedro.ferreira@monetdbsolutions.com>
Date: Fri, 3 Mar 2017 14:25:28 +0100
Subject: [PATCH] Fixed Dockerfile for Dec2016-SP1

---
 Dockerfile | 5 +++--
 1 file changed, 3 insertions(+), 2 deletions(-)

diff --git a/Dockerfile b/Dockerfile
index 47800e0..ba013ae 100644
--- a/Dockerfile
+++ b/Dockerfile
@@ -44,7 +44,7 @@ RUN rpm --import http://dev.monetdb.org/downloads/MonetDB-GPG-KEY
 # Update & upgrade
 RUN yum update -y
 
-ARG MonetDBVersion=11.23.13
+ARG MonetDBVersion=11.25.5
 
 # Install MonetDB server
 RUN yum install -y MonetDB-$MonetDBVersion \
@@ -58,7 +58,8 @@ RUN yum install -y MonetDB-$MonetDBVersion \
 # Install MonetDB extensions
 RUN yum install -y MonetDB-geom-MonetDB5-$MonetDBVersion \
                    MonetDB-gsl-MonetDB5-$MonetDBVersion \
-                   MonetDB-R-$MonetDBVersion
+                   MonetDB-R-$MonetDBVersion \
+                   MonetDB-python2-$MonetDBVersion
 
 # Clean up
 RUN yum -y clean all
-- 
GitLab