hdl-tools-yosys

   1 #!/bin/bash
   2 if [ "$EUID" -ne 0 ]
   3   then echo "Please run as root"
   4   exit
   5 fi
   6
   7 apt-get update -y
   8 apt-get build-dep yosys -y
   9 apt-get remove yosys -y
  10
  11 cd $SUDO_USER/home
  12 mkdir hdl_tools
  13 cd hdl_tools
  14
  15 git clone https://github.com/cliffordwolf/yosys.git
  16 git clone https://github.com/YosysHQ/SymbiYosys.git sby
  17 git clone https://github.com/SRI-CSL/yices2.git
  18 git clone https://github.com/Z3Prover/z3.git
  19
  20 cd yosys
  21 make config-clang
  22 make -j$(nproc)
  23 make install
  24
  25 cd ../sby
  26 make install
  27
  28 cd ../yices2
  29 autoconf
  30 ./configure
  31 make -j$(nproc)
  32 make install
  33
  34 cd ../z3
  35 python scripts/mk_make.py
  36 cd build
  37 make -j$(nproc)
  38 make install
  39
  40 cd $SUDO_USER/home/hdl_tools
  41 chown -R $SUDO_USER hdl_tools
  42 chgrp -R $SUDO_USER hdl_tools