0001-Support-installing-into-DESTDIR.patch
0002-Allow-overriding-plugin-installation-directory.patch
0003-Fix-libghdl-lib-search.patch
0004-Fix-to-block-RAM-handling-as-per-https-github.com-Yo.patch
