Revert back to clings from pip

Build with spack went over 6 hours
buildsi · Nov 7, 2021 · e14d36a · e14d36a
1 parent c631de9
commit e14d36a
Showing 1 changed file with 2 additions and 3 deletions.
diff --git a/docker/Dockerfile.fedora b/docker/Dockerfile.fedora
@@ -60,16 +60,15 @@ RUN dnf update --refresh -y \
   && dnf clean all
 
 RUN python3 -m pip install --upgrade pip setuptools wheel \
- && python3 -m pip install boto3 pyyaml pytz minio requests \
+ && python3 -m pip install boto3 pyyaml pytz minio requests clingo \
  && rm -rf ~/.cache
 
 ENV SPACK_ROOT=/opt/spack
 
 RUN git clone -b vsoch/db-17 https://github.com/vsoch/spack /opt/spack && \
     cd /opt/spack && \
     . share/spack/setup-env.sh && \
-    spack compiler find && \
-    spack install zlib  # to bootstrap clingo
+    spack compiler find
 
 RUN git clone https://github.com/buildsi/symbolator && \
     cd symbolator && \