diff options
| author | Eddie Hung <eddie@fpgeh.com> | 2020-04-09 09:45:20 -0700 |
|---|---|---|
| committer | Eddie Hung <eddie@fpgeh.com> | 2020-04-09 09:45:20 -0700 |
| commit | f11dd6e20838bce1b1fa8e085570d2126484d10f (patch) | |
| tree | d09422f93752b15014d53ce79835816d24b2e505 /tests/various/plugin.sh | |
| parent | 60ffc21e648693ca13000f83a72dff351de4c998 (diff) | |
| download | yosys-f11dd6e20838bce1b1fa8e085570d2126484d10f.tar.gz yosys-f11dd6e20838bce1b1fa8e085570d2126484d10f.tar.bz2 yosys-f11dd6e20838bce1b1fa8e085570d2126484d10f.zip | |
tests: add a quick plugin test
Diffstat (limited to 'tests/various/plugin.sh')
| -rw-r--r-- | tests/various/plugin.sh | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/tests/various/plugin.sh b/tests/various/plugin.sh new file mode 100644 index 000000000..d6d4aee59 --- /dev/null +++ b/tests/various/plugin.sh @@ -0,0 +1,6 @@ +set -e +rm -f plugin.so +CXXFLAGS=$(../../yosys-config --cxxflags) +CXXFLAGS=${CXXFLAGS// -I\/usr\/local\/share\/yosys\/include/ -I..\/..\/share\/include} +../../yosys-config --exec --cxx ${CXXFLAGS} --ldflags -shared -o plugin.so plugin.cc +../../yosys -m ./plugin.so -p "test" | grep -q "Plugin test passed!" |