[Terry N.] correct names of untar'd archives

ontologyportal · Jan 28, 2025 · 53bac95 · 53bac95
1 parent e635c4f
commit 53bac95
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/docker/sigma-ci/Dockerfile b/docker/sigma-ci/Dockerfile
@@ -20,10 +20,10 @@ RUN apt-get update && apt-get install -y --no-install-recommends \
     tar xf WordNet-3.0.tar.gz ;\
 #    git clone https://github.com/vprover/vampire ;\
     wget $VAMPIRE_GIT &&\
-    mkdir -p vampire && tar -xzf vampire-4.9casc2024.tar.gz -C vampire --strip-components=1 ;\
+    mkdir -p vampire && tar -xzf 4.9casc2024.tar.gz -C vampire --strip-components=1 ;\
 #    git submodule update --init ;\
     wget $Z3_GIT &&\
-    mkdir -p z3 && tar -xzf z3-z3-4.12.3.tar.gz -C z3 --strip-components=1 ;\
+    mkdir -p z3 && tar -xzf z3-4.12.3.tar.gz -C z3 --strip-components=1 ;\
     rm -rf vampire/z3 ; \
     mv z3/* vampire/z3 ;\
     cd vampire ;\