Fix python workflow

cnheitman · Sep 8, 2023 · bec4ed7 · bec4ed7
1 parent d17b40a
commit bec4ed7
Showing 1 changed file with 11 additions and 3 deletions.
diff --git a/src/scripts/docker/Dockerfile b/src/scripts/docker/Dockerfile
@@ -36,10 +36,18 @@ RUN echo "[+] Download, build and install Bitwuzla" && \
     cd bitwuzla && \
     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 $DEPENDENCIES_DIR && \
+    cd bitwuzla && \
+    export PATH=$PATH:/opt/_internal/cpython-3.10.12/bin && \
+    export CC=clang && \
+    export CXX=clang++ && \
+    python3.10 ./configure.py --shared --prefix $(pwd)/install
 
-RUN cd build && \
-    PATH=$PATH:/opt/_internal/cpython-3.10.12/bin ninja install
+RUN cd $DEPENDENCIES_DIR && \
+    cd bitwuzla && \
+    cd build && \
+    export PATH=$PATH:/opt/_internal/cpython-3.10.12/bin && \
+    ninja install
 
 # Download Z3.
 RUN echo "[+] Download Z3" && \