aboutsummaryrefslogtreecommitdiff
path: root/.install_yosys.sh
diff options
context:
space:
mode:
authorAdam Izraelevitz2019-02-21 21:21:15 -0800
committermergify[bot]2019-02-22 05:21:15 +0000
commitea43e484959d4edd031a1420a775204aac41aa13 (patch)
tree22488312214f628c5f4be2234253f78b266c4494 /.install_yosys.sh
parentb3833821a50eb7b08fe75f3729ef57355d5765ec (diff)
Bump yosys to 0.8 (#1029)
Diffstat (limited to '.install_yosys.sh')
-rw-r--r--.install_yosys.sh4
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