yosys/tests/vloghtb/run-test.sh

#!/usr/bin/env bash

set -ex

rm -rf Makefile refdat rtl scripts spec
wget -N https://yosyshq.net/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
tests: use /usr/bin/env for bash. 2023-08-12 03:59:39 +02:00			`#!/usr/bin/env bash`
Added tests/vloghtb 2014-07-20 02:19:44 +02:00
			`set -ex`

Use "wget -N" in tests/vloghtb/run-test.sh 2014-07-26 14:08:43 +02:00			`rm -rf Makefile refdat rtl scripts spec`
Use HTTPS for website links, gatecat email git ls-tree -r --name-only HEAD \| xargs sed -i -rf ~/fixemails.sed s/((Claire\|Xen\|Xenia\|Clifford)\s+)+(Wolf\|Xen)\s+<(claire\|clifford)@(symbioticeda.com\|clifford.at\|yosyshq.com)>/Claire Xenia Wolf <claire@yosyshq.com>/gi; s/((Nina\|Nak\|N\.)\s+)+Engelhardt\s+<nak@(symbioticeda.com\|yosyshq.com)>/N. Engelhardt <nak@yosyshq.com>/gi; s/((David)\s+)+(Shah\|gatecat)\s+<(dave\|david\|gatecat)@(symbioticeda.com\|yosyshq.com\|ds0.me)>/gatecat <gatecat@ds0.me>/gi; s/((Miodrag)\s+)+Milanovic\s+<(miodrag\|micko)@(symbioticeda.com\|yosyshq.com)>/Miodrag Milanovic <micko@yosyshq.com>/gi; s,https?://www.clifford.at/yosys/\|http://yosyshq.net/yosys/,https://yosyshq.net/yosys/,g; 2021-06-09 12:16:56 +02:00			`wget -N https://yosyshq.net/yosys/nogit/vloghammer_tb.tar.bz2`
Added tests/vloghtb 2014-07-20 02:19:44 +02:00			`tar --strip=1 -xjf vloghammer_tb.tar.bz2`

			`make clean`
Small fix in tests/vloghtb/run-test.sh 2014-07-20 17:05:20 +02:00			`rm -rf log_test_*`
Various improvements in test/vloghtb 2014-07-21 14:08:13 +02:00
Added "make -j{N}" support to "make test" 2014-07-30 19:21:52 +02:00			`${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`
Added tests/vloghtb 2014-07-20 02:19:44 +02:00