Skip to content

Commit

Permalink
cleanup
Browse files Browse the repository at this point in the history
  • Loading branch information
steveri committed Sep 25, 2023
1 parent 21fe24e commit e64a952
Showing 1 changed file with 17 additions and 15 deletions.
32 changes: 17 additions & 15 deletions Dockerfile
Original file line number Diff line number Diff line change
Expand Up @@ -87,33 +87,35 @@ RUN printf -- "--- TIME %s %s\n" `date +%H:%M` torch && \
mkdir -p /aha/tmp/torch_install/ && \
source /aha/bin/activate && \
pip install --cache-dir=$TMPDIR --build=$TMPDIR torch==1.7.1+cpu -f https://download.pytorch.org/whl/torch_stable.html && \
/bin/rm -rf $TMPDIR
echo -n "BEFORE CLEANUP: " && du -hs /aha && \
/bin/rm -rf $TMPDIR && \
echo -n "AFTER CLEANUP: " && du -hs /aha && \
# Restore original value of TMPDIR
ENV TMPDIR=$TMPTMPDIR

# Pono
COPY ./pono /aha/pono
COPY ./aha/bin/setup-smt-switch.sh /aha/pono/contrib/
WORKDIR /aha/pono
RUN printf -- "--- TIME %s %s\n" `date +%H:%M` pono &&\
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) &&\
pip install -e deps/smt-switch/build/python &&\
echo -n "BEFORE CLEANUP: " && du -hs /aha/pono &&\
/bin/rm -rf deps build/tests/ build/CMakefiles/ build/CMakeTmp/ &&\
RUN printf -- "--- TIME %s %s\n" `date +%H:%M` pono && \
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) && \
pip install -e deps/smt-switch/build/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 printf -- "--- TIME %s %s\n" `date +%H:%M` CoreIR &&\
cmake .. && make && make install &&\
echo -n "BEFORE CLEANUP: " && du -hs /aha/coreir/build &&\
/bin/rm -rf src bin tests &&\
RUN printf -- "--- TIME %s %s\n" `date +%H:%M` CoreIR && \
cmake .. && make && make install && \
echo -n "BEFORE CLEANUP: " && du -hs /aha/coreir/build && \
/bin/rm -rf src bin tests && \
echo -n "AFTER CLEANUP: " && du -hs /aha/coreir/build

# CoreIR cleanup notes
Expand All @@ -123,7 +125,7 @@ RUN printf -- "--- TIME %s %s\n" `date +%H:%M` CoreIR &&\
# Lake
COPY ./BufferMapping /aha/BufferMapping
WORKDIR /aha/BufferMapping/cfunc
RUN printf -- "--- TIME %s %s\n" `date +%H:%M` lake &&\
RUN printf -- "--- TIME %s %s\n" `date +%H:%M` lake && \
export COREIR_DIR=/aha/coreir && make lib

# mflowgen
Expand Down

0 comments on commit e64a952

Please sign in to comment.