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