Oops, deleted the wget

meelgroup · Jul 6, 2020 · c431e0b · c431e0b
1 parent 56d4400
commit c431e0b
Showing 1 changed file with 1 addition and 1 deletion.
diff --git 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