Fix python workflow

cnheitman · Sep 8, 2023 · d17b40a · d17b40a
1 parent b18e461
commit d17b40a
Showing 1 changed file with 8 additions and 6 deletions.
diff --git a/src/scripts/docker/Dockerfile b/src/scripts/docker/Dockerfile
@@ -34,16 +34,18 @@ RUN echo "[+] Download, build and install Bitwuzla" && \
     cd $DEPENDENCIES_DIR && \
     git clone https://github.com/bitwuzla/bitwuzla.git && \
     cd bitwuzla && \
-    git checkout -b 0.1.0 0.1.0 && \
-    CC=clang CXX=clang++ PATH=$PATH:/opt/_internal/cpython-3.10.12/bin python3.10 ./configure.py --shared --prefix $(pwd)/install && \
-    cd build && \
+    git checkout -b 0.1.0 0.1.0
+
+RUN CC=clang CXX=clang++ PATH=$PATH:/opt/_internal/cpython-3.10.12/bin python3.10 ./configure.py --shared --prefix $(pwd)/install
+
+RUN cd build && \
     PATH=$PATH:/opt/_internal/cpython-3.10.12/bin ninja install
 
 # Download Z3.
 RUN echo "[+] Download Z3" && \
-cd $DEPENDENCIES_DIR && \
-wget -q https://github.com/Z3Prover/z3/releases/download/z3-4.8.17/z3-4.8.17-x64-glibc-2.31.zip && \
-unzip z3-4.8.17-x64-glibc-2.31.zip
+    cd $DEPENDENCIES_DIR && \
+    wget -q https://github.com/Z3Prover/z3/releases/download/z3-4.8.17/z3-4.8.17-x64-glibc-2.31.zip && \
+    unzip z3-4.8.17-x64-glibc-2.31.zip
 
 # Download, build and install Capstone.
 RUN echo "[+] Download, build and install Capstone" && \