diff options
| author | Tristan Gingold | 2015-12-03 05:10:42 +0100 |
|---|---|---|
| committer | Tristan Gingold | 2015-12-03 05:10:42 +0100 |
| commit | fd1fe13cca5f699cc9f182bf069bfc9f8e3afa21 (patch) | |
| tree | b97f572b36b0172939c0c9ed4e2ebf7323f12e6f /testsuite | |
| parent | b8a70f67eb79f09880ac9be1e96b7856b1144246 (diff) | |
| download | ghdl-fd1fe13cca5f699cc9f182bf069bfc9f8e3afa21.tar.gz ghdl-fd1fe13cca5f699cc9f182bf069bfc9f8e3afa21.tar.bz2 ghdl-fd1fe13cca5f699cc9f182bf069bfc9f8e3afa21.zip | |
Add issue tests from github in the testsuite.
Diffstat (limited to 'testsuite')
| -rwxr-xr-x | testsuite/gna/testsuite.sh | 3 | ||||
| -rwxr-xr-x | testsuite/gna/ticket30/testsuite.sh | 5 |
2 files changed, 7 insertions, 1 deletions
diff --git a/testsuite/gna/testsuite.sh b/testsuite/gna/testsuite.sh index 75f3c3a..3e486f9 100755 --- a/testsuite/gna/testsuite.sh +++ b/testsuite/gna/testsuite.sh @@ -9,10 +9,11 @@ # srXXX is for support reported on https://gna.org/support/?group=ghdl # debXX is for bugs report on http://bugs.debian.org/ # ticketXX is from https://sourceforge.net/p/ghdl-updates/tickets/ +# issueXXX is from https://github.com/tgingold/ghdl/issues set -e -dirs="bug* sr* deb* ticket*" +dirs="bug* sr* deb* ticket* issue*" failures="" full=n 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 \ |