0001-Disable-symbiyosys-tests.patch
0003-Fix-libghdl-lib-search.patch
