summaryrefslogtreecommitdiff
Commit message (Collapse)AuthorAge
* Make fast forward from 0.8-1HEADarchive/debian/0.9-1masterRuben Undheim2019-10-18
|\ | | | | | | [dgit --quilt=gbp]
| * Make fast forward from 0.7-8archive/debian/0.8-1Ruben Undheim2018-10-17
| |\ | | | | | | | | | [dgit --quilt=gbp]
| | * Declare fast forward from 0.7-7archive/debian/0.7-8Ruben Undheim2018-09-04
| | |\ | | | | | | | | | | | | [dgit --quilt=gbp --overwrite]
| | | * Record yosys (0.7-7) in archive suite sidRuben Undheim2018-08-22
| | | |\
| | | | * Do not show g++ build flags in Version stringRuben Undheim2018-08-22
| | | | | | | | | | | | | | | Gbp-Pq: Name 0011-Do-not-show-g-build-flags-in-Version-string.patch
| | | | * Fix adding of sys.path in yosys-smtbmcRuben Undheim2018-08-22
| | | | | | | | | | | | | | | Gbp-Pq: Name 0010-Fix-adding-of-sys.path-in-yosys-smtbmc.patch
| | | | * Fix reproducibility of PDF documents in yosys-docRuben Undheim2018-08-22
| | | | | | | | | | | | | | | Gbp-Pq: Name 0010-Fix-reproducibility-of-PDF-documents-in-yosys-doc.patch
| | | | * Some spelling errors fixedRuben Undheim2018-08-22
| | | | | | | | | | | | | | | Gbp-Pq: Name 0009-Some-spelling-errors-fixed.patch
| | | | * Disable pretty buildRuben Undheim2018-08-22
| | | | | | | | | | | | | | | Gbp-Pq: Name 0007-Disable-pretty-build.patch
| | | | * Change yosys to look for the #define constant "__unix__" instead of ↵Sebastian Kuzminsky2018-08-22
| | | | | | | | | | | | | | | | | | | | | | | | | "__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-08-22
| | | | | | | | | | | | | | | | | | | | | | | | | =================================================================== Gbp-Pq: Name manual-build.patch
| | | | * Switch the yosys manual font from luximono (non-free) to inconsolata (free)Sebastian Kuzminsky2018-08-22
| | | | | | | | | | | | | | | | | | | | | | | | | =================================================================== Gbp-Pq: Name switch-to-free-font.patch
| | | | * The dependency abc is built with the name yosys-abc upstream. Since it is ↵Ruben Undheim2018-08-22
| | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | 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-08-22
| | | | | | | | | | | | | | | | | | | | | | | | | 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-08-22
| | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | 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
| | | | * yosys (0.7-7) unstable; urgency=mediumRuben Undheim2018-08-22
| | | | |\ | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | * debian/patches/0011-Do-not-show-g-build-flags-in-Version-string.patch: - Do not quote CXXFLAGS_FOR_YOSYS_CONFIG (fixes build on all) [dgit import unpatched yosys 0.7-7]
| | | | | * Import yosys_0.7-7.debian.tar.xzRuben Undheim2018-08-22
| | | | | | | | | | | | | | | | | | | | [dgit import tarball yosys 0.7-7 yosys_0.7-7.debian.tar.xz]
| | | * | Declare fast forward from 0.7-5archive/debian/0.7-6Ruben Undheim2018-08-21
| | | |\ \ | | | | | | | | | | | | | | | | | | [dgit --quilt=gbp --overwrite]
| | | | * | Fix adding of sys.path in yosys-smtbmcRuben Undheim2018-07-27
| | | | | | | | | | | | | | | | | | Gbp-Pq: Name 0010-Fix-adding-of-sys.path-in-yosys-smtbmc.patch
| | | | * | Fix reproducibility of PDF documents in yosys-docRuben Undheim2018-07-27
| | | | | | | | | | | | | | | | | | Gbp-Pq: Name 0010-Fix-reproducibility-of-PDF-documents-in-yosys-doc.patch
| | | | * | Some spelling errors fixedRuben Undheim2018-07-27
| | | | | | | | | | | | | | | | | | Gbp-Pq: Name 0009-Some-spelling-errors-fixed.patch
| | | | * | Disable pretty buildRuben Undheim2018-07-27
| | | | | | | | | | | | | | | | | | Gbp-Pq: Name 0007-Disable-pretty-build.patch
| | | | * | Change yosys to look for the #define constant "__unix__" instead of ↵Sebastian Kuzminsky2018-07-27
| | | | | | | | | | | | | | | | | | | | | | | | | | | | | | "__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-07-27
| | | | | | | | | | | | | | | | | | | | | | | | | | | | | | =================================================================== Gbp-Pq: Name manual-build.patch
| | | | * | Switch the yosys manual font from luximono (non-free) to inconsolata (free)Sebastian Kuzminsky2018-07-27
| | | | | | | | | | | | | | | | | | | | | | | | | | | | | | =================================================================== Gbp-Pq: Name switch-to-free-font.patch
| | | | * | The dependency abc is built with the name yosys-abc upstream. Since it is ↵Ruben Undheim2018-07-27
| | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | 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-07-27
| | | | | | | | | | | | | | | | | | | | | | | | | | | | | | 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-07-27
| | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | 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
| | | | * | yosys (0.7-5) unstable; urgency=mediumRuben Undheim2018-07-27
| | | | |\ \ | | | | | |/ | | | | |/| | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | * debian/patches/0010-Fix-adding-of-sys.path-in-yosys-smtbmc.patch - Fix "ModuleNotFoundError: No module named 'smtio'" (Closes: #904752) * debian/tests/smtbc: - Added CI test to check that 'yosys-smtbmc' can be started with no import errors [dgit import unpatched yosys 0.7-5]
| | | | | * Import yosys_0.7-5.debian.tar.xzRuben Undheim2018-07-27
| | | | | | | | | | | | | | | | | | | | [dgit import tarball yosys 0.7-5 yosys_0.7-5.debian.tar.xz]
| | | | * Import yosys_0.7.orig.tar.gzRuben Undheim2016-11-06
| | | | | | | | | | | | | | | | [dgit import orig yosys_0.7.orig.tar.gz]
| | | * Do not show g++ build flags in Version stringRuben Undheim2018-08-21
| | | | | | | | | | | | Gbp-Pq: Name 0011-Do-not-show-g-build-flags-in-Version-string.patch
| | | * Fix adding of sys.path in yosys-smtbmcRuben Undheim2018-08-21
| | | | | | | | | | | | Gbp-Pq: Name 0010-Fix-adding-of-sys.path-in-yosys-smtbmc.patch
| | | * Fix reproducibility of PDF documents in yosys-docRuben Undheim2018-08-21
| | | | | | | | | | | | Gbp-Pq: Name 0010-Fix-reproducibility-of-PDF-documents-in-yosys-doc.patch
| | | * Some spelling errors fixedRuben Undheim2018-08-21
| | | | | | | | | | | | Gbp-Pq: Name 0009-Some-spelling-errors-fixed.patch
| | | * Disable pretty buildRuben Undheim2018-08-21
| | | | | | | | | | | | Gbp-Pq: Name 0007-Disable-pretty-build.patch
| | | * Change yosys to look for the #define constant "__unix__" instead of ↵Sebastian Kuzminsky2018-08-21
| | | | | | | | | | | | | | | | | | | | "__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-08-21
| | | | | | | | | | | | | | | | | | | | =================================================================== Gbp-Pq: Name manual-build.patch
| | | * Switch the yosys manual font from luximono (non-free) to inconsolata (free)Sebastian Kuzminsky2018-08-21
| | | | | | | | | | | | | | | | | | | | =================================================================== Gbp-Pq: Name switch-to-free-font.patch
| | | * The dependency abc is built with the name yosys-abc upstream. Since it is ↵Ruben Undheim2018-08-21
| | | | | | | | | | | | | | | | | | | | | | | | | | | | 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-08-21
| | | | | | | | | | | | | | | | | | | | 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-08-21
| | | | | | | | | | | | | | | | | | | | | | | | | | | | 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
| | * | Skip non-deterministic test causing random FTBFS on some architecturesRuben Undheim2018-09-04
| | | | | | | | | | | | Gbp-Pq: Name 0012-Skip-non-deterministic-test-causing-random-FTBFS-on-.patch
| | * | Do not show g++ build flags in Version stringRuben Undheim2018-09-04
| | | | | | | | | | | | Gbp-Pq: Name 0011-Do-not-show-g-build-flags-in-Version-string.patch
| | * | Fix adding of sys.path in yosys-smtbmcRuben Undheim2018-09-04
| | | | | | | | | | | | Gbp-Pq: Name 0010-Fix-adding-of-sys.path-in-yosys-smtbmc.patch
| | * | Fix reproducibility of PDF documents in yosys-docRuben Undheim2018-09-04
| | | | | | | | | | | | Gbp-Pq: Name 0010-Fix-reproducibility-of-PDF-documents-in-yosys-doc.patch
| | * | Some spelling errors fixedRuben Undheim2018-09-04
| | | | | | | | | | | | Gbp-Pq: Name 0009-Some-spelling-errors-fixed.patch
| | * | Disable pretty buildRuben Undheim2018-09-04
| | | | | | | | | | | | Gbp-Pq: Name 0007-Disable-pretty-build.patch
| | * | Change yosys to look for the #define constant "__unix__" instead of ↵Sebastian Kuzminsky2018-09-04
| | | | | | | | | | | | | | | | | | | | "__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-09-04
| | | | | | | | | | | | | | | | | | | | =================================================================== Gbp-Pq: Name manual-build.patch
generated by cgit v1.2.3 (git 2.25.1) at 2024-04-25 01:05:55 +0000