Ubuntu
yosys package

ubuntu/+source/yosys:applied/ubuntu/cosmic-proposed

  1. Git
  2. lp:ubuntu/+source/yosys
  3. applied/ubuntu/cosmic-proposed
Last commit made on 2018-08-22
Get this branch:
git clone -b applied/ubuntu/cosmic-proposed https://git.launchpad.net/ubuntu/+source/yosys
Members of git-ubuntu import can upload to this branch. Log in for directions.

Branch merges

Branch information

Name:
applied/ubuntu/cosmic-proposed
Repository:
lp:ubuntu/+source/yosys

Recent commits

63e86cf... by Ruben Undheim

0.7-7 (patches applied)

Imported using git-ubuntu import.

5b47621... by Ruben Undheim

Do not show g++ build flags in Version string

Gbp-Pq: 0011-Do-not-show-g-build-flags-in-Version-string.patch.

4437781... by Ruben Undheim

Fix adding of sys.path in yosys-smtbmc

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

610cc03... by Ruben Undheim

Fix reproducibility of PDF documents in yosys-doc

Gbp-Pq: 0010-Fix-reproducibility-of-PDF-documents-in-yosys-doc.patch.

143bd08... by Ruben Undheim

Some spelling errors fixed

Gbp-Pq: 0009-Some-spelling-errors-fixed.patch.

6544fbd... by Ruben Undheim

Disable pretty build

Gbp-Pq: 0007-Disable-pretty-build.patch.

30d4274... by Ruben Undheim

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

Gbp-Pq: kfreebsd-support.patch.

f90a7b6... by Ruben Undheim

build the manual using the headers from the source tree,

Gbp-Pq: manual-build.patch.

c9ee4d6... by Ruben Undheim

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

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

b7b6a27... by Ruben Undheim

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

Gbp-Pq: 05_abc_executable.patch.