Skip to content

Commit

Permalink
Add coreir support to Pono build
Browse files Browse the repository at this point in the history
  • Loading branch information
leonardt authored Oct 29, 2024
1 parent ecf2bc7 commit f44cc19
Showing 1 changed file with 3 additions and 1 deletion.
4 changes: 3 additions & 1 deletion Dockerfile
Original file line number Diff line number Diff line change
Expand Up @@ -122,8 +122,10 @@ RUN \
/bin/rm -rf //aha/pono/deps/smt-switch/build/{cvc5,bitwuzla,btor} && \
: BTOR2TOOLS && \
./contrib/setup-btor2tools.sh && \
: COREIR && \
./contrib/setup-coreir.sh && \
: PIP INSTALL && \
cd /aha/pono && ./configure.sh --python && \
cd /aha/pono && ./configure.sh --python --with-coreir && \
cd /aha/pono/build && make -j4 && pip install -e ./python && \
cd /aha && \
source /aha/bin/activate && \
Expand Down

0 comments on commit f44cc19

Please sign in to comment.