diff options
| author | Tristan Gingold <tgingold@free.fr> | 2022-03-22 21:38:07 +0100 |
|---|---|---|
| committer | Tristan Gingold <tgingold@free.fr> | 2022-03-22 21:38:07 +0100 |
| commit | 7028d03e510297f383586e1da099205294f29b95 (patch) | |
| tree | 57008fd0009d2a72199f0a7f08cf8d22ecee96bf /testsuite | |
| parent | 98b2cfe1367dcc9f847add559d713272d3f27183 (diff) | |
| download | ghdl-7028d03e510297f383586e1da099205294f29b95.tar.gz ghdl-7028d03e510297f383586e1da099205294f29b95.tar.bz2 ghdl-7028d03e510297f383586e1da099205294f29b95.zip | |
testsuite/gna/issue2005: handle --disable-libghdl
Diffstat (limited to 'testsuite')
| -rwxr-xr-x | testsuite/gna/issue2005/testsuite.sh | 6 |
1 files changed, 5 insertions, 1 deletions
diff --git a/testsuite/gna/issue2005/testsuite.sh b/testsuite/gna/issue2005/testsuite.sh index 5cd784bc6..0dfcb1860 100755 --- a/testsuite/gna/issue2005/testsuite.sh +++ b/testsuite/gna/issue2005/testsuite.sh @@ -6,9 +6,13 @@ set -x if c_compiler_is_available; then lib=$("$GHDL" --libghdl-name) + lib_path="$("$GHDL" --libghdl-library-path)" + if [ ! -f "$lib_path" ]; then + echo "no libghdl" + exit 0 + fi lib=${lib#lib} # strip "lib" prefix lib=${lib%.*} # strip .so/.dll suffix - lib_path="$("$GHDL" --libghdl-library-path)" libdir="$(dirname "$lib_path")" incdir="$("$GHDL" --libghdl-include-dir)" |