Use new KVM base env

See UCL-INGI/INGInious#949.
nrybowski · May 23, 2023 · 38c73bf · 38c73bf
1 parent b044954
commit 38c73bf
Showing 1 changed file with 7 additions and 6 deletions.
diff --git a/grading/ipmininet/Dockerfile b/grading/ipmininet/Dockerfile
@@ -1,5 +1,6 @@
 ARG   VERSION=latest
-FROM  ingi/inginious-c-base:${VERSION}
+ARG	REGISTRY
+FROM  ${REGISTRY}/inginious/env-kvm:${VERSION}
 LABEL org.inginious.grading.name="ipmininet"
 
 # Install mininet deps
@@ -10,7 +11,7 @@ RUN	dnf config-manager --set-enabled powertools &&\
 # Install mininet
 WORKDIR /opt
 RUN 	git clone https://github.com/mininet/mininet &&\
-	git -C mininet checkout 2.3.1b1 &&\
+	git -C mininet checkout 2.3.1b4 &&\
 	ln -s /bin/python3 /bin/python &&\
 	rm mininet/examples/miniedit.py &&\
 	make -C mininet mnexec &&\
@@ -22,8 +23,8 @@ RUN 	git clone https://github.com/mininet/mininet &&\
 RUN	git clone https://github.com/cnp3/ipmininet.git &&\
 	git -C ipmininet checkout 72cefde536ca02c650875d4b14d93899824af668 &&\
 	sed -i -e 's/^[ ]*setup_mininet_dep()/\t#setup_mininet_dep()/g' ipmininet/setup.py &&\
-	pip3 install ipmininet/ &&\
-	python -m ipmininet.install -q
+	sed -i -e 's/mininet=={ver}/mininet>={ver}/g' ipmininet/setup.py &&\
+	pip3 install ipmininet/
+	#python -m ipmininet.install -q
 
-RUN 	dnf remove -y git gcc make &&\
-	dnf autoremove -y
+WORKDIR /