Should be as easy as adding a $(DESTDIR) to https://github.com/SymbiFlow/yosys-symbiflow-plugins/blob/2894db22d21c055606612be35b78fe87746dc161/Makefile_plugin.common#L43

I came here to file the same issue.

https://www.gnu.org/prep/standards/html_node/DESTDIR.html

The thing with Yosys plugins is that they have to be installed in a specific directory in order for Yosys to find them later. This happens automatically because the build system relies on Yosys binaries (namely yosys-config). Why do you need to insall them to a different directory?

If you want to build and install plugins for Yosys that resides under a specific path you may set the YOSYS_PATH variable accordingly while invoking make

Why do you need to insall them to a different directory?

In order to create a package. All files are make installed to a staging directory ($DESTDIR), which is then tared up by the packaging scripts.

If you want to build and install plugins for Yosys that resides under a specific path you may set the YOSYS_PATH variable accordingly while invoking make

No, yosys and yosys-config are installed in their proper place (/usr/bin/) in the build environment, nothing needs to be changed there.

@mkurc-ant It is possible to build plugins with yosys at a non-default location. For example, if yosys is to be installed in /foo/bin, first build yosys with make PREFIX=/foo. This creates a yosys-config with the correct paths (i.e to /foo/bin, /foo/share etc).

Then, as recommended by @Xiretza, build yosys plugins, with YOSYS_PATH=/foo make.

See https://github.com/google/CFU-Playground/blob/main/scripts/install_oxide#L73

@alanvgreen Yes, that's definitely possible but as I understand @Xiretza wants to override those paths anyways. Let me work on adding that to the makefile.

I've created a PR which enables specifying DESTDIR: #306

Fixed with #306

Later amended by #323.