From 2b0dc935459ffa4182dfe8f4e79b6922f58af04e Mon Sep 17 00:00:00 2001 From: steveri Date: Sun, 24 Sep 2023 16:51:04 -0700 Subject: [PATCH] correcting a flawed experiment :( --- Dockerfile | 16 ++++++++++++++-- 1 file changed, 14 insertions(+), 2 deletions(-) diff --git a/Dockerfile b/Dockerfile index 40d4060e..3e70ce90 100644 --- a/Dockerfile +++ b/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