[Terry N.] go back to gcc but try w/ only 2 vice 4 processors

ontologyportal · Jan 29, 2025 · 74f7a00 · 74f7a00
1 parent 51ede97
commit 74f7a00
Showing 1 changed file with 8 additions and 2 deletions.
diff --git a/docker/sigma-ci/Dockerfile b/docker/sigma-ci/Dockerfile
@@ -75,11 +75,17 @@ COPY --from=builder \
 COPY --from=builder \
     /usr/local/tomcat/WordNet-3.0 /opt/WordNet-3.0
 
+#COPY --from=builder \
+#    /usr/local/tomcat/vampire-4.9casc2024/vampire /usr/local/bin/vampire
+#
+#COPY --from=builder \
+#    /usr/local/tomcat/vampire-4.9casc2024/z3/build/libz3.* /usr/local/bin/
+
 COPY --from=builder \
-    /usr/local/tomcat/vampire-4.9casc2024/vampire /usr/local/bin/vampire
+    /usr/local/tomcat/vampire/vampire /usr/local/bin/vampire
 
 COPY --from=builder \
-    /usr/local/tomcat/vampire-4.9casc2024/z3/build/libz3.* /usr/local/bin/
+    /usr/local/tomcat/vampire/z3/build/libz3.* /usr/local/bin/
 
 RUN apt-get update && apt-get install -y --no-install-recommends \
     ant \