tests/vloghtb/run-test.sh

   1 #!/bin/bash
   2
   3 set -ex
   4
   5 rm -rf Makefile refdat rtl scripts spec
   6 wget -N http://www.clifford.at/yosys/nogit/vloghammer_tb.tar.bz2
   7 tar --strip=1 -xjf vloghammer_tb.tar.bz2
   8
   9 make clean
  10 rm -rf log_test_*
  11
  12 ${MAKE:-make} EXIT_ON_ERROR=1 YOSYS_BIN=$PWD/../../yosys YOSYS_SCRIPT="proc;;" check_yosys
  13 ${MAKE:-make} -f test_makefile MODE=share
  14 ${MAKE:-make} -f test_makefile MODE=mapopt
  15