3 CXXFLAGS
=$
(..
/..
/yosys-config
--cxxflags)
4 DATDIR
=$
(..
/..
/yosys-config
--datdir)
5 DATDIR
=${DATDIR//\//\\\/}
6 CXXFLAGS
=${CXXFLAGS//$DATDIR/..\/..\/share}
7 ..
/..
/yosys-config
--exec --cxx ${CXXFLAGS} --ldflags -shared -o plugin.so plugin.cc
8 ..
/..
/yosys
-m .
/plugin.so
-p "test" |
grep -q "Plugin test passed!"