mirrors/yosys
3
0
Fork 0
mirror of https://github.com/YosysHQ/yosys synced 2025-10-20 14:20:32 +00:00
Code Activity

Merge pull request #5427 from donn/plugin_search_paths

Browse source 
plugins: add search paths
This commit is contained in:
Miodrag Milanović 2025-10-15 20:02:05 +02:00 • committed by GitHub
commit 759996b968
No known key found for this signature in database
GPG key ID: B5690EEEBB952194
3 changed files with 49 additions and 20 deletions
Download patch file Download diff file Expand all files Collapse all files

1
tests/various/.gitignore vendored
View file

@ -2,6 +2,7 @@
/write_gzip.v
/write_gzip.v.gz
/plugin.so
/plugin_search
/plugin.so.dSYM
/temp
/smtlib2_module.smt2

4
tests/various/plugin.sh
View file

@ -1,8 +1,12 @@
set -e
rm -f plugin.so
rm -rf plugin_search
CXXFLAGS=$(../../yosys-config --cxxflags)
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!"
mkdir -p plugin_search
mv plugin.so plugin_search/plugin.so
YOSYS_PLUGIN_PATH=$PWD/plugin_search ../../yosys -m plugin.so -p "test" | grep -q "Plugin test passed!"