| #!/bin/bash | |
| set -ex | |
| rm -rf Makefile refdat rtl scripts spec | |
| wget -N http://www.clifford.at/yosys/nogit/vloghammer_tb.tar.bz2 | |
| tar --strip=1 -xjf vloghammer_tb.tar.bz2 | |
| make clean | |
| rm -rf log_test_* | |
| ${MAKE:-make} EXIT_ON_ERROR=1 YOSYS_BIN=$PWD/../../yosys YOSYS_SCRIPT="proc;;" check_yosys | |
| ${MAKE:-make} -f test_makefile MODE=share | |
| ${MAKE:-make} -f test_makefile MODE=mapopt | |