summaryrefslogtreecommitdiff
Commit message (Collapse)AuthorAge
* Set path to berkeley-abc instead of relative path to yosys-abcarchive/debian/0.9-1_bpo10+1Ruben Undheim2019-10-20
| | | Gbp-Pq: Name 0014-Set-path-to-berkeley-abc-instead-of-relative-path-to.patch
* Let dpkg-buildpackage handle stripping of binariesRuben Undheim2019-10-20
| | | Gbp-Pq: Name 0013-Let-dpkg-buildpackage-handle-stripping-of-binaries.patch
* Skip non-deterministic test causing random FTBFS on some architecturesRuben Undheim2019-10-20
| | | Gbp-Pq: Name 0012-Skip-non-deterministic-test-causing-random-FTBFS-on-.patch
* Do not show g++ build flags in Version stringRuben Undheim2019-10-20
| | | Gbp-Pq: Name 0011-Do-not-show-g-build-flags-in-Version-string.patch
* Fix adding of sys.path in yosys-smtbmcRuben Undheim2019-10-20
| | | Gbp-Pq: Name 0010-Fix-adding-of-sys.path-in-yosys-smtbmc.patch
* Fix reproducibility of PDF documents in yosys-docRuben Undheim2019-10-20
| | | Gbp-Pq: Name 0010-Fix-reproducibility-of-PDF-documents-in-yosys-doc.patch
* Some spelling errors fixedRuben Undheim2019-10-20
| | | Gbp-Pq: Name 0009-Some-spelling-errors-fixed.patch
* Disable pretty buildRuben Undheim2019-10-20
| | | Gbp-Pq: Name 0007-Disable-pretty-build.patch
* Change yosys to look for the #define constant "__unix__" instead of ↵Sebastian Kuzminsky2019-10-20
| | | | | "__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-20
| | | | | =================================================================== Gbp-Pq: Name manual-build.patch
* Switch the yosys manual font from luximono (non-free) to inconsolata (free)Sebastian Kuzminsky2019-10-20
| | | | | =================================================================== 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-20
| | | | | | | 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-20
| | | | | 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-20
| | | | | | | 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
* Rebuild for buster-backportsdebian/0.9-1_bpo10+1Ruben Undheim2019-10-20
|
* 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
| |
* | UNRELEASED->unstabledebian/0.8-1Ruben Undheim2018-10-17
| |
* | Changelog entryRuben Undheim2018-10-17
| |
* | Merge branch 'next'Ruben Undheim2018-10-17
|\ \
| * | Updated man pageRuben Undheim2018-10-17
| | |
| * | Refreshed patches for 0.8 etcRuben Undheim2018-10-17
| | |
| * | Update upstream source from tag 'upstream/0.8'Ruben Undheim2018-10-17
| |\| | | | | | | | | | Update to upstream version '0.8' with Debian dir 4a7fe556baf879cd6ced3cf7a80d0aa6297767d6
| | * New upstream version 0.8Ruben Undheim2018-10-17
| | |
| * | Let dpkg-buildpackage handle stripping of binariesRuben Undheim2018-10-17
| | |
| * | Copyright updatedRuben Undheim2018-10-17
| | |
| * | Fix lintiansRuben Undheim2018-10-17
| | |
| * | README renamed to README.mdRuben Undheim2018-10-17
| | |
| * | ChangelogRuben Undheim2018-10-16
| | |
| * | Merge branch 'next' of /home/ruben/devel/maintaining/deb_yosys/yosys into nextRuben Undheim2018-10-16
| |\ \
| | * | Add files reported by 'dh_missing --fail-missing'Ruben Undheim2018-10-16
| | | |
| * | | Refreshed patchesRuben Undheim2018-10-16
| | | |
| * | | Merge tag 'upstream/0.7+20181007git9850de4' into nextRuben Undheim2018-10-15
| |\ \ \ | | |/ / | |/| / | | |/