diff options
author | Daniel Gröber <dxld@darkboxed.org> | 2022-01-08 06:17:06 +0100 |
---|---|---|
committer | Daniel Gröber <dxld@darkboxed.org> | 2022-01-08 07:59:58 +0100 |
commit | f6fdc36d556173bc18f5e3c34f1ad18c925f72bc (patch) | |
tree | 48d7d135e4187a44834d59608a90abb3caf1cee0 /examples/docker.mk | |
parent | 09a32cd13c3335e3231d6ccd32c033826c6a3798 (diff) | |
download | ghdl-yosys-plugin-f6fdc36d556173bc18f5e3c34f1ad18c925f72bc.tar.gz ghdl-yosys-plugin-f6fdc36d556173bc18f5e3c34f1ad18c925f72bc.tar.bz2 ghdl-yosys-plugin-f6fdc36d556173bc18f5e3c34f1ad18c925f72bc.zip |
Support installing into $DESTDIR
This makes packaging easier for distributions as installation is usually
staged in a temporary directory when building intallable packages.
Diffstat (limited to 'examples/docker.mk')
0 files changed, 0 insertions, 0 deletions