clockwork was a poor choice for debugging; maybe coreir instead

Dockerfile

@@ -85,30 +85,32 @@ SHELL ["/bin/bash", "--login", "-c"]
 # # RUN git clean -ffxdq
 # # Dang whaat? Need pono/build/python later, see "pip install -e pono/build/python" below :(
 # RUN /bin/rm -rf build/tests/ build/CMakefiles/ CMakeTmp/
-# 
-# 
-# # CoreIR
-# RUN printf -- "--- TIME %s %s\n" `date +%H:%M` CoreIR
-# WORKDIR /aha
-# COPY ./coreir /aha/coreir
-# WORKDIR /aha/coreir/build
-# RUN cmake .. && make && make install
-# # Clean up because coreir build leaves 300M or so of intermediate files
-# WORKDIR /aha/coreir
-# 
-# # RUN git clean -ffxdq
-# # Okay who knew maybe h2h needs contents of e.g. coreir/lib
-# 
-# # RUN /bin/rm -rf build
-# # Okay you're killling me here
-# # I guess we need build/lib (51M) but hopefully not src (111M) or tests (59M) or maybe even bin (51M)
-# # FIXME/TODO could probably delete coreir/build/lib and replace with a symlink to coreir/lib? To save 34M.
-# 
-# RUN /bin/rm -rf build/src
-# RUN /bin/rm -rf build/tests
-# RUN /bin/rm -rf build/bin
-# 
-# 
+
+# CoreIR
+RUN printf -- "--- TIME %s %s\n" `date +%H:%M` CoreIR
+WORKDIR /aha
+COPY ./coreir /aha/coreir
+WORKDIR /aha/coreir/build
+RUN cmake .. && make && make install
+# Clean up because coreir build leaves 300M or so of intermediate files
+WORKDIR /aha/coreir
+
+# RUN git clean -ffxdq
+# Okay who knew maybe h2h needs contents of e.g. coreir/lib
+
+# RUN /bin/rm -rf build
+# Okay you're killling me here
+# I guess we need build/lib (51M) but hopefully not src (111M) or tests (59M) or maybe even bin (51M)
+# FIXME/TODO could probably delete coreir/build/lib and replace with a symlink to coreir/lib? To save 34M.
+
+RUN du -hs /aha/coreir
+RUN du -hs /aha/coreir/build
+RUN /bin/rm -rf build/src
+RUN /bin/rm -rf build/tests
+RUN /bin/rm -rf build/bin
+RUN du -hs /aha/coreir
+RUN du -hs /aha/coreir/build
+
 # # Lake
 # RUN printf -- "--- TIME %s %s\n" `date +%H:%M` lake
 # COPY ./BufferMapping /aha/BufferMapping
@@ -118,26 +120,26 @@ SHELL ["/bin/bash", "--login", "-c"]
 # # mflowgen
 # ENV GARNET_HOME=/aha/garnet
 # ENV MFLOWGEN=/aha/mflowgen
-
-# clockwork
-RUN printf -- "--- TIME %s %s\n" `date +%H:%M` clockwork
-COPY clockwork /aha/clockwork
-WORKDIR /aha/clockwork
-ENV COREIR_PATH=/aha/coreir
-ENV LAKE_PATH=/aha/lake
-RUN ./misc/install_deps_ahaflow.sh && \
-    source user_settings/aha_settings.sh && \
-    make all -j4 && \
-    source misc/copy_cgralib.sh && \
-    rm -rf ntl*
-# Clean up because clockwork build leaves 1.5G intermediate files in "dep" subdir
-WORKDIR /aha/clockwork
-# Okay who knew maybe h2h needs contents of e.g. clockwork/lib
-# RUN git clean -ffxdq
-RUN du -hs /aha/clockwork
-RUN /bin/rm -rf barvinok-0.41/ bin/soda_codes/
-RUN du -hs /aha/clockwork
-
+# 
+# # clockwork
+# RUN printf -- "--- TIME %s %s\n" `date +%H:%M` clockwork
+# COPY clockwork /aha/clockwork
+# WORKDIR /aha/clockwork
+# ENV COREIR_PATH=/aha/coreir
+# ENV LAKE_PATH=/aha/lake
+# RUN ./misc/install_deps_ahaflow.sh && \
+#     source user_settings/aha_settings.sh && \
+#     make all -j4 && \
+#     source misc/copy_cgralib.sh && \
+#     rm -rf ntl*
+# # Clean up because clockwork build leaves 1.5G intermediate files in "dep" subdir
+# WORKDIR /aha/clockwork
+# # Okay who knew maybe h2h needs contents of e.g. clockwork/lib
+# # RUN git clean -ffxdq
+# RUN du -hs /aha/clockwork
+# RUN /bin/rm -rf barvinok-0.41/ bin/soda_codes/
+# RUN du -hs /aha/clockwork
+# 
 # # Halide-to-Hardware
 # RUN printf -- "--- TIME %s %s\n" `date +%H:%M` H2H
 # COPY ./Halide-to-Hardware /aha/Halide-to-Hardware