correcting a flawed experiment :(

Dockerfile

@@ -87,6 +87,18 @@ WORKDIR /aha/pono
 # Need pono/build/python later, see "pip install -e pono/build/python" below :(
 RUN /bin/rm -rf build/tests/ build/CMakefiles/ CMakeTmp/
 
+# RUN ./contrib/setup-bison.sh \
+#   && ./contrib/setup-flex.sh \
+#   && ./contrib/setup-smt-switch.sh --python \
+#   && ./contrib/setup-btor2tools.sh \
+#   && ./configure.sh --python \
+#   && cd build \
+#   && make -j4 \
+#   && pip install -e ./python \
+#   && /bin/rm -rf /aha/pono/build/tests/      \
+#   && /bin/rm -rf /aha/pono/build/CMakefiles/ \
+#   && /bin/rm -rf /aha/pono/CMakeTmp/
+
 # CoreIR
 RUN printf -- "--- TIME %s SPACE %s %s\n" `date +%H:%M` `du -hs /aha|cut -f 1` CoreIR
 WORKDIR /aha
@@ -184,8 +196,8 @@ RUN echo "source /aha/bin/activate" >> /root/.bashrc && \
 # WORKDIR /aha
 # RUN git submodule deinit -f --all
 
-# Okay but what if we delete 2.2G worth of pono defs?
-RUN /bin/rm -rf /aha/pono/defs
+# Okay but what if we delete 2.2G worth of pono deps?
+RUN /bin/rm -rf /aha/pono/deps
 
 # END
 RUN printf -- "+++ TIME %s SPACE %s %s\n" `date +%H:%M` `du -hs /aha|cut -f 1` end