diff options
Diffstat (limited to 'testsuite/gna/ticket30/testsuite.sh')
| -rwxr-xr-x | testsuite/gna/ticket30/testsuite.sh | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/testsuite/gna/ticket30/testsuite.sh b/testsuite/gna/ticket30/testsuite.sh index 78d21cc..a8c8944 100755 --- a/testsuite/gna/ticket30/testsuite.sh +++ b/testsuite/gna/ticket30/testsuite.sh @@ -2,6 +2,11 @@ . ../../testenv.sh +if ! "$GHDL" --dir ieee | grep -q vital; then + echo "No vital libraries, skipping" + exit 0 +fi + "$GHDL" -i lib_numeric_tb.vhd "$GHDL" -m numeric_tb simulate numeric_tb --stop-time=10ns --wave=numeric_tb.ghw \ |