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

plugins: add search path

Browse source 
This uses the environment variable `YOSYS_PLUGIN_PATH` to provide multiple colon-delimited search paths for native plugins in a similar manner to `PATH` for executables and `PYTHONPATH` for Python modules.

This addresses https://github.com/YosysHQ/yosys/issues/2545, allowing Yosys to be better packaged in non-FHS environments such as Nix.
This commit is contained in:
Mohamed Gaber 2025-10-15 14:13:25 +03:00
parent 4970ad5a18
commit e86797f029
No known key found for this signature in database
3 changed files with 46 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!"