From c431e0b676fb5adffe4ef3a83cbd6bc3b8949ba6 Mon Sep 17 00:00:00 2001
From: Mate Soos <soos.mate@gmail.com>
Date: Tue, 7 Jul 2020 00:08:34 +0200
Subject: [PATCH] Oops, deleted the wget

---
 Dockerfile | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/Dockerfile b/Dockerfile
index 4dc9d8e..6629fb7 100644
--- a/Dockerfile
+++ b/Dockerfile
@@ -12,7 +12,7 @@ RUN apt-get install --no-install-recommends -y libboost-program-options-dev gcc
 
 # get M4RI
 WORKDIR /
-RUN https://bitbucket.org/malb/m4ri/downloads/m4ri-20200125.tar.gz
+RUN wget https://bitbucket.org/malb/m4ri/downloads/m4ri-20200125.tar.gz
 RUN tar -xvf m4ri-20200125.tar.gz
 WORKDIR m4ri-20200125
 RUN ./configure