diff options
Diffstat (limited to '.install_yosys.sh')
| -rw-r--r-- | .install_yosys.sh | 4 |
1 files changed, 1 insertions, 3 deletions
diff --git a/.install_yosys.sh b/.install_yosys.sh index a9ab9c25..d9276125 100644 --- a/.install_yosys.sh +++ b/.install_yosys.sh @@ -5,9 +5,7 @@ if [ ! -f $INSTALL_DIR/bin/yosys ]; then git clone https://github.com/cliffordwolf/yosys.git cd yosys git pull - git checkout yosys-0.7 - # Workaround moving ABC repo - git apply ../.fix_yosys_abc.patch + git checkout yosys-0.8 make make PREFIX=$INSTALL_DIR install fi |