diff options
Diffstat (limited to '.install_yosys.sh')
| -rw-r--r-- | .install_yosys.sh | 11 |
1 files changed, 11 insertions, 0 deletions
diff --git a/.install_yosys.sh b/.install_yosys.sh new file mode 100644 index 00000000..b4fa8984 --- /dev/null +++ b/.install_yosys.sh @@ -0,0 +1,11 @@ +set -e +# Install Yosys (https://github.com/cliffordwolf/yosys) +if [ ! -f $INSTALL_DIR/bin/yosys ]; then + mkdir -p $INSTALL_DIR + git clone https://github.com/cliffordwolf/yosys.git + cd yosys + git pull + git checkout yosys-0.7 + make + make PREFIX=$INSTALL_DIR install +fi |