slimmer coreir layer

Dockerfile

@@ -121,11 +121,21 @@ COPY clockwork /aha/clockwork
 WORKDIR /aha/clockwork
 ENV COREIR_PATH=/aha/coreir
 ENV LAKE_PATH=/aha/lake
-RUN ./misc/install_deps_ahaflow.sh && \
+RUN printf -- "--- TIME %s %s\n" `date +%H:%M` clockwork && \
+    ./misc/install_deps_ahaflow.sh && \
     source user_settings/aha_settings.sh && \
     make all -j4 && \
     source misc/copy_cgralib.sh && \
-    rm -rf ntl*
+    rm -rf ntl* && \
+    echo -n "BEFORE CLEANUP: " && du -hs /aha/clockwork && \
+    /bin/rm -rf /aha/clockwork/barvinok-0.41/ /aha/clockwork/bin/soda_codes/ && \
+    echo -n "AFTER  CLEANUP: " && du -hs /aha/clockwork && \
+    echo DONE
+
+# clockwork cleanup notes
+# Clean up because clockwork build leaves 1.5G intermediate files in "dep" subdir
+# Okay who knew maybe h2h needs contents of e.g. clockwork/lib
+# RUN /bin/rm -rf /aha/clockwork/barvinok-0.41/ /aha/clockwork/bin/soda_codes/
 
 # Halide-to-Hardware
 COPY ./Halide-to-Hardware /aha/Halide-to-Hardware