Debian Patches
Status for yosys/0.64-5
| Patch | Description | Author | Forwarded | Bugs | Origin | Last update |
|---|---|---|---|---|---|---|
| abc/remove_bzlib_convenience.patch | The library bzlib is included in the source and built as a convenience library. This patch prevents this from being built and links berkeley-abc with debian's bzlib library instead. =================================================================== |
Ruben Undheim <ruben.undheim@gmail.com> | invalid | 2018-08-04 | ||
| abc/remove_zlib_convenience.patch | The library zlib is included in the source and built as a convenience library. This patch prevents this from being built and links berkeley-abc with debian's zlib library instead. =================================================================== |
Ruben Undheim <ruben.undheim@gmail.com> | invalid | 2018-08-04 | ||
| abc/cflags_ldflags.patch | Using LDFLAGS and CPPFLAGSpassed down from dpkg-buildflags such that hardening gets enabled. | Ruben Undheim <ruben.undheim@gmail.com> | yes | 2018-08-04 | ||
| abc/writepla.patch | soften an overzealous assert Otherwise the abc will refuse to output trivial functions(constant 1 or 0). | Johann Klammer <klammerj@a1.net> | yes | debian | https://salsa.debian.org/science-team/berkeley-abc/-/blob/master/debian/patches/writepla.patch?ref_type=heads | 2018-08-04 |
| abc/0007-Fix-repro-on-armhf-vs-aarch64.patch | Fix-repro-on-armhf-vs-aarch64 | Debian Science Maintainers | no | 2023-06-13 | ||
| abc/0007-Remove-build-date-time-reproducibility-hazard.patch | Remove build-date/time reproducibility hazard | Daniel Gröber <dxld@darkboxed.org> | no | 2023-06-13 | ||
| abc/1010-mach-only-apple.patch | Corrected #ifdef for mach based Apple builds in cadical_file.cpp. Bring test in line with all other tests for mach based MacOS builds, and ensure the code in question is not enabled with mach on GNU Hurd. |
Petter Reinholdtsen <pere@debian.org> | yes | 2026-04-18 | ||
| abc/1030-missing-path-max.patch | Provide random replacement value for PATH_MAX on platforms without such limit. The buffer length is used in a static array returned from Extra_FileNameGenericAppend(), used many places in the code, and a more dynamic approach would require a huge refactoring. There is no guarantee that the 4096 value picked is large enough, but it matches common values found on Linux. |
Petter Reinholdtsen <pere@debian.org> | yes | 2026-04-19 | ||
| abc/1050-no-128-bit-archs.patch | <Only use __int128 on architectures where it is present. With GCC and Clang, look for the __SIZEOF_INT128__ define only defined when __int128 is present before trying to use it. This fixes build problem on all 32 bit Linux architectures. =================================================================== |
Petter Reinholdtsen <pere@debian.org> | invalid | 2026-04-20 | ||
| 0001-Make-tests-runnable-standalone.patch | Made tests runnable standalone. This fixes autopkgtest. =================================================================== |
Daniel Gröber <dxld@darkboxed.org> | no | 2025-03-17 | ||
| 0007-Disable-pretty-build.patch | Disable pretty build to get compiler flags into build logs. | Ruben Undheim <ruben.undheim@gmail.com> | no | debian | 2017-04-05 | |
| 0009-Some-spelling-errors-fixed.patch | Some spelling errors fixed | Ruben Undheim <ruben.undheim@gmail.com> | yes | |||
| 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 | ||
| 0018-Fix-autotest-compliation.patch | Fixed text file busy race in tools autotest.sh run | Daniel Gröber <dxld@darkboxed.org> | yes | 2026-04-19 | ||
| 0020-autotest-Print-log-on-error.patch | autotest: Print log on error | Daniel Gröber <dxld@darkboxed.org> | no | 2022-12-03 | ||
| 0027-Use-system-libcxxopts.patch | Use system libcxxopts. =================================================================== |
Scott Ashcroft <scott.ashcroft@hotmail.com> | no | 2025-01-27 | ||
| 0031-Set-pythonpath-for-usage-docs.patch | Fixed docs build errors =================================================================== |
Scott Ashcroft <scott.ashcroft@hotmail.com> | no | 2025-03-15 | ||
| 0032-proc-no-path-max.patch | Rewrote Linux edition of proc_self_dirname() to handle any symlink length. This make sure the method work also when the program is located in deep or long file paths, longer than both PATH_MAX and "getconf PATH_MAX .". Use the same code on GNU Hurd, where it now work. =================================================================== |
Petter Reinholdtsen <pere@debian.org> | yes | 2026-04-19 | ||
| 0040-port-i386-floating-point-miscalculation.patch | Make sure co-simulation only uses integer arithmetic. This fixes build problem on i386. Patch was fetched from a upstream developer. |
Scott Ashcroft <scott.ashcroft@hotmail.com> | not-needed | upstream | https://github.com/YosysHQ/yosys/pull/5831 | 2026-04-23 |
| 1000-dot-resolution.patch | Avoid pdflatex rejecting input due to too high resolution. Set randomly picked size when generating dot graphs, to avoid error from pdflatex when building documentation. I am not sure which size make sense, nor how to decide which value are best. |
Petter Reinholdtsen <pere@debian.org> | yes | debian | 2026-04-16 | |
| 1040-sphinx-accept-warnings.patch | Allow warnings when building documentation to get build to complete. This ensure the following warning do not break the entire package build: reading sources... [ 99%] yosys_internals/index reading sources... [100%] yosys_internals/techmap WARNING: Found commands assigned to group unknown: ['u', 'abc'] [cmdref] looking for now-outdated files... none found pickling environment... done [...] Writing evaluated template result to /home/pere/src/yosys-salsa/docs/build/latex/sphinxmessages.sty build finished with problems, 1 warning (with warnings treated as errors). I was unable to figure out what triggered the warning and decided to ignore it to get the package building. I assume upstream should fix issues with their documentation builing, and the patch is thus not suitable for upstreaming. |
Petter Reinholdtsen <pere@debian.org> | not-needed | 2026-04-20 |