aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorJack Koenig2018-05-17 16:10:30 -0700
committerGitHub2018-05-17 16:10:30 -0700
commita9529670ebbb2a44697fd14299b37c47d01f6623 (patch)
treef007d5968625ff8175efc7cddc216f57f14e208e
parentf7aadcd439fc726e333592266d45e101449c8aa5 (diff)
Change from Yosys 0.7 to master (#812)
Yosys 0.7 build is broken because ABC moved repos and the link no longer works
-rw-r--r--.install_yosys.sh2
1 files changed, 1 insertions, 1 deletions
diff --git a/.install_yosys.sh b/.install_yosys.sh
index b4fa8984..2c627ab1 100644
--- a/.install_yosys.sh
+++ b/.install_yosys.sh
@@ -5,7 +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
+ git checkout master
make
make PREFIX=$INSTALL_DIR install
fi