diff options
author | Tristan Gingold <tgingold@free.fr> | 2020-04-24 06:10:46 +0200 |
---|---|---|
committer | Tristan Gingold <tgingold@free.fr> | 2020-04-24 06:10:46 +0200 |
commit | 8836b83f3878d93d19aa716ac65e30a591178c27 (patch) | |
tree | 99783e30b2a5c98d33e6a40000501fec3a44d054 /testsuite/testenv.sh | |
parent | 4198d9f7a3b56129f862a219ad9becaa2c684486 (diff) | |
download | ghdl-8836b83f3878d93d19aa716ac65e30a591178c27.tar.gz ghdl-8836b83f3878d93d19aa716ac65e30a591178c27.tar.bz2 ghdl-8836b83f3878d93d19aa716ac65e30a591178c27.zip |
testsuite: add add_vpi_path utility.
Diffstat (limited to 'testsuite/testenv.sh')
-rw-r--r-- | testsuite/testenv.sh | 11 |
1 files changed, 11 insertions, 0 deletions
diff --git a/testsuite/testenv.sh b/testsuite/testenv.sh index c3b6f6556..400a5e261 100644 --- a/testsuite/testenv.sh +++ b/testsuite/testenv.sh @@ -170,6 +170,17 @@ run_failure () fi } +# Be sure vpi can be used +add_vpi_path() +{ + if [ "$OS" = "Windows_NT" ]; then + # Need to put the directory containing libghdlvpi.dll in the path. + vpi_lib=`$GHDL --vpi-library-dir | sed -e 's!\\\\!/!g' -e 's!^C:!/C!g'` + echo vpi_lib: $vpi_lib + PATH="$PATH:$vpi_lib" + fi +} + # Clean the environment clean () { |