diff options
author | Eddie Hung <eddie@fpgeh.com> | 2020-04-22 08:29:45 -0700 |
---|---|---|
committer | Eddie Hung <eddie@fpgeh.com> | 2020-04-22 08:29:45 -0700 |
commit | 634b5e2d9fd8d2e7a40816cf117bb9e072619b69 (patch) | |
tree | b97106fe2f1594620a26584afbaae1357d170484 | |
parent | ae115fa3aac9acf7534b3f7c08afaa1b86bfc4ad (diff) | |
download | yosys-634b5e2d9fd8d2e7a40816cf117bb9e072619b69.tar.gz yosys-634b5e2d9fd8d2e7a40816cf117bb9e072619b69.tar.bz2 yosys-634b5e2d9fd8d2e7a40816cf117bb9e072619b69.zip |
tests: use `yosys-config --datdir` instead of hard-coded
-rw-r--r-- | tests/various/plugin.sh | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/tests/various/plugin.sh b/tests/various/plugin.sh index d6d4aee59..2880c8c06 100644 --- a/tests/various/plugin.sh +++ b/tests/various/plugin.sh @@ -1,6 +1,8 @@ set -e rm -f plugin.so CXXFLAGS=$(../../yosys-config --cxxflags) -CXXFLAGS=${CXXFLAGS// -I\/usr\/local\/share\/yosys\/include/ -I..\/..\/share\/include} +DATDIR=$(../../yosys-config --datdir) +DATDIR=${DATDIR//\//\\\/} +CXXFLAGS=${CXXFLAGS//$DATDIR/..\/..\/share} ../../yosys-config --exec --cxx ${CXXFLAGS} --ldflags -shared -o plugin.so plugin.cc ../../yosys -m ./plugin.so -p "test" | grep -q "Plugin test passed!" |