| Patch | Description | Author | Forwarded | Bugs | Origin | Last update |
|---|---|---|---|---|---|---|
| 01_gitrevision.patch | Compilation from the upstream code depends on being in the git repository to get the correct git-revision to be shown when running the program. This patch puts in the git revision from the correct upstream. It must be updated every time upstream changes! |
Ruben Undheim <ruben.undheim@gmail.com> | invalid | 2016-05-14 | ||
| 02_removeabc.patch | Don't build abc when building yosys. It is built as a separate source package. | Ruben Undheim <ruben.undheim@gmail.com> | invalid | 2016-05-14 | ||
| 05_abc_executable.patch | The dependency abc is built with the name yosys-abc upstream. Since it is available as a separate package independently of yosys, it is not called yosys-abc in debian. This patch changes the name of the command that yosys looks for. |
Ruben Undheim <ruben.undheim@gmail.com> | invalid | 2016-05-14 | ||
| switch-to-free-font.patch | Switch the yosys manual font from luximono (non-free) to inconsolata (free) =================================================================== |
Sebastian Kuzminsky <seb@highlab.com> | no | 2016-05-14 | ||
| manual-build.patch | build the manual using the headers from the source tree, not the installed ones. =================================================================== |
Sebastian Kuzminsky <seb@highlab.com> | no | 2016-05-14 | ||
| kfreebsd-support.patch | Change yosys to look for the #define constant "__unix__" instead of "__linux__", to select code appropriate for Unix-like systems. This has been tested with Clang 3.5 and GCC 4.6, 4.8, and 4.9 on Linux, and Clang 3.5 and GCC 4.9 on kFreeBSD. |
Sebastian Kuzminsky <seb@highlab.com> | no | 2016-05-14 | ||
| 0007-Disable-pretty-build.patch | Disable pretty build | Ruben Undheim <ruben.undheim@gmail.com> | no | 2017-04-05 | ||
| 0009-Some-spelling-errors-fixed.patch | Some spelling errors fixed | Ruben Undheim <ruben.undheim@gmail.com> | no | 2018-07-12 | ||
| 0010-Fix-reproducibility-of-PDF-documents-in-yosys-doc.patch | Fix reproducibility of PDF documents in yosys-doc | Ruben Undheim <ruben.undheim@gmail.com> | no | 2018-07-12 | ||
| 0010-Fix-adding-of-sys.path-in-yosys-smtbmc.patch | Fix adding of sys.path in yosys-smtbmc | Ruben Undheim <ruben.undheim@gmail.com> | no | 2018-07-27 | ||
| 0011-Do-not-show-g-build-flags-in-Version-string.patch | Do not show g++ build flags in Version string | Ruben Undheim <ruben.undheim@gmail.com> | no | 2018-08-19 | ||
| 0012-Skip-non-deterministic-test-causing-random-FTBFS-on-.patch | Skip non-deterministic test causing random FTBFS on some architectures | Ruben Undheim <ruben.undheim@gmail.com> | no | 2018-09-04 | ||
| 0013-Let-dpkg-buildpackage-handle-stripping-of-binaries.patch | Let dpkg-buildpackage handle stripping of binaries | Ruben Undheim <ruben.undheim@gmail.com> | no | 2018-10-17 | ||
| 0014-Set-path-to-berkeley-abc-instead-of-relative-path-to.patch | Set path to berkeley-abc instead of relative path to yosys-abc | Ruben Undheim <ruben.undheim@gmail.com> | no | 2019-10-18 |