diff options
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 () { |