Ubuntu
yosys package

ubuntu/+source/yosys:applied/ubuntu/focal-devel

  1. Git
  2. lp:ubuntu/+source/yosys
  3. applied/ubuntu/focal-devel
Last commit made on 2020-02-08
Get this branch:
git clone -b applied/ubuntu/focal-devel 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/focal-devel
Repository:
lp:ubuntu/+source/yosys

Recent commits

efeab00... by Matthias Klose

0.9-1build2 (patches applied)

Imported using git-ubuntu import.

f4ca7b1... by Matthias Klose

Set path to berkeley-abc instead of relative path to yosys-abc

Gbp-Pq: 0014-Set-path-to-berkeley-abc-instead-of-relative-path-to.patch.

fb8d4c7... by Matthias Klose

Let dpkg-buildpackage handle stripping of binaries

Gbp-Pq: 0013-Let-dpkg-buildpackage-handle-stripping-of-binaries.patch.

25148d4... by Matthias Klose

Skip non-deterministic test causing random FTBFS on some

Gbp-Pq: 0012-Skip-non-deterministic-test-causing-random-FTBFS-on-.patch.

0dc9a41... by Matthias Klose

Do not show g++ build flags in Version string

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

bd50bce... by Matthias Klose

Fix adding of sys.path in yosys-smtbmc

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

18a1243... by Matthias Klose

Fix reproducibility of PDF documents in yosys-doc

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

93db1ba... by Matthias Klose

Some spelling errors fixed

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

af2b194... by Matthias Klose

Disable pretty build

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

c12b112... by Matthias Klose

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

Gbp-Pq: kfreebsd-support.patch.