From 081552ad7c80e26064c8e3480bf95f5cfe1ed540 Mon Sep 17 00:00:00 2001
From: steveri <steveri@steveri.com>
Date: Mon, 25 Sep 2023 13:48:41 -0700
Subject: [PATCH] do pono earlier because it has no dependencies and it takes
 awhile

---
 Dockerfile | 26 +++++++++++++++-----------
 1 file changed, 15 insertions(+), 11 deletions(-)

diff --git a/Dockerfile b/Dockerfile
index 451838a4..74232150 100644
--- a/Dockerfile
+++ b/Dockerfile
@@ -63,17 +63,6 @@ RUN printf -- "--- TIME %s %s\n" `date +%H:%M` setup0 && \
 # Switch shell to bash
 SHELL ["/bin/bash", "--login", "-c"]
 
-# Pono
-COPY ./pono /aha/pono
-COPY ./aha/bin/setup-smt-switch.sh /aha/pono/contrib/
-WORKDIR /aha/pono
-RUN pip install Cython==0.29 pytest toml scikit-build==0.13.0
-RUN ./contrib/setup-bison.sh && ./contrib/setup-flex.sh && ./contrib/setup-smt-switch.sh --python && ./contrib/setup-btor2tools.sh
-RUN ./configure.sh --python
-WORKDIR /aha/pono/build
-RUN make -j4 && pip install -e ./python
-WORKDIR /aha
-
 # Install top-level AHA and AHA Tools
 # Seems like this should happen *first*, no?
 COPY . /aha
@@ -88,6 +77,21 @@ RUN printf -- "--- TIME %s %s\n" `date +%H:%M` tools \
 RUN printf -- "--- TIME %s %s\n" `date +%H:%M` pythunder && \
     python -m pip install -e cgra_pnr/thunder
 
+# Pono
+COPY ./pono /aha/pono
+COPY ./aha/bin/setup-smt-switch.sh /aha/pono/contrib/
+WORKDIR /aha/pono
+RUN printf -- "--- TIME %s %s\n" `date +%H:%M` pono &&\
+  pip install Cython==0.29 pytest toml scikit-build==0.13.0 &&\
+  ./contrib/setup-bison.sh && ./contrib/setup-flex.sh &&\
+  ./contrib/setup-smt-switch.sh --python && ./contrib/setup-btor2tools.sh &&\
+  ./configure.sh --python &&\
+  (cd /aha/pono/build && make -j4 && pip install -e ./python) &&\
+  pip install -e deps/smt-switch/build/python &&\
+  echo -n "BEFORE CLEANUP: " && du -hs /aha/pono &&\
+  /bin/rm -rf deps build/tests/ build/CMakefiles/ build/CMakeTmp/ &&\
+  echo -n "AFTER  CLEANUP: " && du -hs /aha/pono
+
 # CoreIR
 COPY ./coreir /aha/coreir
 WORKDIR /aha/coreir/build