From b495fdbedf126f4bae2d1bfcb7174f30d4f75fd1 Mon Sep 17 00:00:00 2001
From: Jack Koenig
Date: Sun, 1 Oct 2017 11:18:23 -0700
Subject: Add Yosys 0.7 install

---
 .install_yosys.sh | 11 +++++++++++
 1 file changed, 11 insertions(+)
 create mode 100644 .install_yosys.sh

(limited to '.install_yosys.sh')

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
-- 
cgit v1.2.3