summaryrefslogtreecommitdiff
Commit message (Collapse)AuthorAge
...
| | * | Switch the yosys manual font from luximono (non-free) to inconsolata (free)Sebastian Kuzminsky2018-09-04
| | | | | | | | | | | | | | | | | | | | =================================================================== Gbp-Pq: Name switch-to-free-font.patch
| | * | The dependency abc is built with the name yosys-abc upstream. Since it is ↵Ruben Undheim2018-09-04
| | | | | | | | | | | | | | | | | | | | | | | | | | | | 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. Forwarded: doesn't make sense upstream Gbp-Pq: Name 05_abc_executable.patch
| | * | Don't build abc when building yosys. It is built as a separate source package.Ruben Undheim2018-09-04
| | | | | | | | | | | | | | | | | | | | Forwarded: doesn't make sense upstream Gbp-Pq: Name 02_removeabc.patch
| | * | Compilation from the upstream code depends on being in the git repository to ↵Ruben Undheim2018-09-04
| | | | | | | | | | | | | | | | | | | | | | | | | | | | 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! Forwarded: doesn't make sense upstream Gbp-Pq: Name 01_gitrevision.patch
| * | | Let dpkg-buildpackage handle stripping of binariesRuben Undheim2018-10-17
| | | | | | | | | | | | Gbp-Pq: Name 0013-Let-dpkg-buildpackage-handle-stripping-of-binaries.patch
| * | | Skip non-deterministic test causing random FTBFS on some architecturesRuben Undheim2018-10-17
| | | | | | | | | | | | Gbp-Pq: Name 0012-Skip-non-deterministic-test-causing-random-FTBFS-on-.patch
| * | | Do not show g++ build flags in Version stringRuben Undheim2018-10-17
| | | | | | | | | | | | Gbp-Pq: Name 0011-Do-not-show-g-build-flags-in-Version-string.patch
| * | | Fix adding of sys.path in yosys-smtbmcRuben Undheim2018-10-17
| | | | | | | | | | | | Gbp-Pq: Name 0010-Fix-adding-of-sys.path-in-yosys-smtbmc.patch
| * | | Fix reproducibility of PDF documents in yosys-docRuben Undheim2018-10-17
| | | | | | | | | | | | Gbp-Pq: Name 0010-Fix-reproducibility-of-PDF-documents-in-yosys-doc.patch
| * | | Some spelling errors fixedRuben Undheim2018-10-17
| | | | | | | | | | | | Gbp-Pq: Name 0009-Some-spelling-errors-fixed.patch
| * | | Disable pretty buildRuben Undheim2018-10-17
| | | | | | | | | | | | Gbp-Pq: Name 0007-Disable-pretty-build.patch
| * | | Change yosys to look for the #define constant "__unix__" instead of ↵Sebastian Kuzminsky2018-10-17
| | | | | | | | | | | | | | | | | | | | "__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. Gbp-Pq: Name kfreebsd-support.patch
| * | | build the manual using the headers from the source tree, not the installed ones.Sebastian Kuzminsky2018-10-17
| | | | | | | | | | | | | | | | | | | | =================================================================== Gbp-Pq: Name manual-build.patch
| * | | Switch the yosys manual font from luximono (non-free) to inconsolata (free)Sebastian Kuzminsky2018-10-17
| | | | | | | | | | | | | | | | | | | | =================================================================== Gbp-Pq: Name switch-to-free-font.patch
| * | | The dependency abc is built with the name yosys-abc upstream. Since it is ↵Ruben Undheim2018-10-17
| | | | | | | | | | | | | | | | | | | | | | | | | | | | 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. Forwarded: doesn't make sense upstream Gbp-Pq: Name 05_abc_executable.patch
| * | | Don't build abc when building yosys. It is built as a separate source package.Ruben Undheim2018-10-17
| | | | | | | | | | | | | | | | | | | | Forwarded: doesn't make sense upstream Gbp-Pq: Name 02_removeabc.patch
| * | | Compilation from the upstream code depends on being in the git repository to ↵Ruben Undheim2018-10-17
| | | | | | | | | | | | | | | | | | | | | | | | | | | | 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! Forwarded: doesn't make sense upstream Gbp-Pq: Name 01_gitrevision.patch
* | | | Set path to berkeley-abc instead of relative path to yosys-abcRuben Undheim2019-10-18
| | | | | | | | | | | | Gbp-Pq: Name 0014-Set-path-to-berkeley-abc-instead-of-relative-path-to.patch
* | | | Let dpkg-buildpackage handle stripping of binariesRuben Undheim2019-10-18
| | | | | | | | | | | | Gbp-Pq: Name 0013-Let-dpkg-buildpackage-handle-stripping-of-binaries.patch
* | | | Skip non-deterministic test causing random FTBFS on some architecturesRuben Undheim2019-10-18
| | | | | | | | | | | | Gbp-Pq: Name 0012-Skip-non-deterministic-test-causing-random-FTBFS-on-.patch
* | | | Do not show g++ build flags in Version stringRuben Undheim2019-10-18
| | | | | | | | | | | | Gbp-Pq: Name 0011-Do-not-show-g-build-flags-in-Version-string.patch
* | | | Fix adding of sys.path in yosys-smtbmcRuben Undheim2019-10-18
| | | | | | | | | | | | Gbp-Pq: Name 0010-Fix-adding-of-sys.path-in-yosys-smtbmc.patch
* | | | Fix reproducibility of PDF documents in yosys-docRuben Undheim2019-10-18
| | | | | | | | | | | | Gbp-Pq: Name 0010-Fix-reproducibility-of-PDF-documents-in-yosys-doc.patch
* | | | Some spelling errors fixedRuben Undheim2019-10-18
| | | | | | | | | | | | Gbp-Pq: Name 0009-Some-spelling-errors-fixed.patch
* | | | Disable pretty buildRuben Undheim2019-10-18
| | | | | | | | | | | | Gbp-Pq: Name 0007-Disable-pretty-build.patch
* | | | Change yosys to look for the #define constant "__unix__" instead of ↵Sebastian Kuzminsky2019-10-18
| | | | | | | | | | | | | | | | | | | | "__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. Gbp-Pq: Name kfreebsd-support.patch
* | | | build the manual using the headers from the source tree, not the installed ones.Sebastian Kuzminsky2019-10-18
| | | | | | | | | | | | | | | | | | | | =================================================================== Gbp-Pq: Name manual-build.patch
* | | | Switch the yosys manual font from luximono (non-free) to inconsolata (free)Sebastian Kuzminsky2019-10-18
| | | | | | | | | | | | | | | | | | | | =================================================================== Gbp-Pq: Name switch-to-free-font.patch
* | | | The dependency abc is built with the name yosys-abc upstream. Since it is ↵Ruben Undheim2019-10-18
| | | | | | | | | | | | | | | | | | | | | | | | | | | | 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. Forwarded: doesn't make sense upstream Gbp-Pq: Name 05_abc_executable.patch
* | | | Don't build abc when building yosys. It is built as a separate source package.Ruben Undheim2019-10-18
| | | | | | | | | | | | | | | | | | | | Forwarded: doesn't make sense upstream Gbp-Pq: Name 02_removeabc.patch
* | | | Compilation from the upstream code depends on being in the git repository to ↵Ruben Undheim2019-10-18
| | | | | | | | | | | | | | | | | | | | | | | | | | | | 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! Forwarded: doesn't make sense upstream Gbp-Pq: Name 01_gitrevision.patch
* | | | UNRELEASED -> unstabledebian/0.9-1Ruben Undheim2019-10-18
| | | |
* | | | Don't override with fail-missingRuben Undheim2019-10-18
| | | |
* | | | Delete debian/compatRuben Undheim2019-10-18
| | | |
* | | | Set path to berkeley-abc instead of relative path to yosys-abcRuben Undheim2019-10-18
| | | |
* | | | Accept patchRuben Undheim2019-10-18
| | | |
* | | | std version, DH level, and more in changelog entryRuben Undheim2019-10-18
| | | |
* | | | Fix version in changelog entryRuben Undheim2019-10-18
| | | |
* | | | Changelog entry and refresh patchesRuben Undheim2019-10-18
| | | |
* | | | Update upstream source from tag 'upstream/0.9'Ruben Undheim2019-10-18
|\ \ \ \ | | | | | | | | | | | | | | | Update to upstream version '0.9' with Debian dir df447efe4e1efaece1d926cd037de4a7c3c1bebe
| * | | | New upstream version 0.9Ruben Undheim2019-10-18
| | | | |
* | | | | Changelog entry updateddebian/0.8+20190328git32bd0f2-1_exp1Ruben Undheim2019-03-31
| | | | |
* | | | | Added more to copyrightRuben Undheim2019-03-30
| | | | |
* | | | | More spelling errors fixedRuben Undheim2019-03-29
| | | | |
* | | | | Bump standards versionRuben Undheim2019-03-29
| | | | |
* | | | | Add more to yosys.install after seeing --fail-missing resultRuben Undheim2019-03-28
| | | | |
* | | | | New changelog entryRuben Undheim2019-03-28
| | | | |
* | | | | Refreshed patchesRuben Undheim2019-03-28
| | | | |
* | | | | Merge tag 'upstream/0.8+20190328git32bd0f2'Ruben Undheim2019-03-28
|\| | | | | |/ / / |/| | |
| * | | Imported GIT HEAD: 0.8+20190328git32bd0f2Ruben Undheim2019-03-28
| | | |
generated by cgit v1.2.3 (git 2.25.1) at 2024-04-19 20:24:31 +0000