baby steps 2: slimmer pono layer(s)

StanfordAHA · Sep 26, 2023 · a1aad27 · a1aad27
1 parent a902555
commit a1aad27
Showing 1 changed file with 9 additions and 6 deletions.
diff --git a/Dockerfile b/Dockerfile
@@ -65,14 +65,17 @@ SHELL ["/bin/bash", "--login", "-c"]
 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
+RUN 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) && \
+  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
+WORKDIR /aha
 COPY ./coreir /aha/coreir
 WORKDIR /aha/coreir/build
 RUN cmake .. && make && make install