Ubuntu
yosys package

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

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

Recent commits

75b1b67... by Dimitri John Ledkov

0.9-1build4 (patches applied)

Imported using git-ubuntu import.

ce51da4... by Dimitri John Ledkov

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.

a4ffb41... by Dimitri John Ledkov

Let dpkg-buildpackage handle stripping of binaries

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

9f46244... by Dimitri John Ledkov

Skip non-deterministic test causing random FTBFS on some

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

5d5452c... by Dimitri John Ledkov

Do not show g++ build flags in Version string

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

ad42d2f... by Dimitri John Ledkov

Fix adding of sys.path in yosys-smtbmc

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

1508008... by Dimitri John Ledkov

Fix reproducibility of PDF documents in yosys-doc

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

ce7a1e4... by Dimitri John Ledkov

Some spelling errors fixed

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

81dacdd... by Dimitri John Ledkov

Disable pretty build

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

fc51230... by Dimitri John Ledkov

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

Gbp-Pq: kfreebsd-support.patch.