ubuntu/+source/yosys:applied/debian/stretch

Branch merges

Related source package recipes

No recipes using this branch. (?)

Create packaging recipe

Related snap packages

Related charm recipes

b1eb9d6... by Andreas Beckmann on 2019-02-10

0.7-2+deb9u1 (patches applied)

Imported using git-ubuntu import.

594c07d... by Andreas Beckmann on 2019-02-10

Fix adding of sys.path in yosys-smtbmc

Gbp-Pq: 0010-Fix-adding-of-sys.path-in-yosys-smtbmc.patch.

7860d54... by Andreas Beckmann on 2019-02-10

Change yosys to look for the #define constant "__unix__" instead of

Gbp-Pq: kfreebsd-support.patch.

ef34c28... by Andreas Beckmann on 2019-02-10

build the manual using the headers from the source tree,

Gbp-Pq: manual-build.patch.

f815981... by Andreas Beckmann on 2019-02-10

Switch the yosys manual font from luximono (non-free) to inconsolata

Gbp-Pq: switch-to-free-font.patch.

70c2b2a... by Andreas Beckmann on 2019-02-10

The dependency abc is built with the name yosys-abc upstream. Since

Gbp-Pq: 05_abc_executable.patch.

54fb3de... by Andreas Beckmann on 2019-02-10

Don't build abc when building yosys. It is built as a separate

Gbp-Pq: 02_removeabc.patch.

85ae511... by Andreas Beckmann on 2019-02-10

Compilation from the upstream code depends on being in the git

Gbp-Pq: 01_gitrevision.patch.

7a628eb... by Andreas Beckmann on 2019-02-10

0.7-2+deb9u1 (patches unapplied)

Imported using git-ubuntu import.

26f196b... by Ruben Undheim on 2016-11-06

0.7-2 (patches applied)

Imported using git-ubuntu import.