mirror of https://github.com/YosysHQ/yosys.git
21 lines
452 B
Bash
21 lines
452 B
Bash
|
#!/usr/bin/env bash
|
||
|
|
set -e
|
||
|
|
{
|
||
|
|
echo "all::"
|
||
|
|
for x in *.ys; do
|
||
|
|
echo "all:: run-$x"
|
||
|
|
echo "run-$x:"
|
||
|
|
echo " @echo 'Running $x..'"
|
||
|
|
echo " @../../yosys -ql ${x%.ys}.log $x"
|
||
|
|
done
|
||
|
|
for x in *.sv; do
|
||
|
|
if [ ! -f "${x%.sv}.ys" ]; then
|
||
|
|
echo "all:: check-$x"
|
||
|
|
echo "check-$x:"
|
||
|
|
echo " @echo 'Checking $x..'"
|
||
|
|
echo " @../../yosys -ql ${x%.sv}.log -p \"prep -top top; sat -verify -prove-asserts\" $x"
|
||
|
|
fi
|
||
|
|
done
|
||
|
|
} > run-test.mk
|
||
|
|
exec ${MAKE:-make} -f run-test.mk
|