[yosys] branch master updated (9e6e875 -> 6c89e52)
Sebastian Kuzminsky
seb_kuzminsky-guest at moszumanska.debian.org
Mon Apr 4 17:52:21 UTC 2016
This is an automated email from the git hooks/post-receive script.
seb_kuzminsky-guest pushed a change to branch master
in repository yosys.
from 9e6e875 dch: switch from UNRELEASED to unstable
adds ee6d4ad dch: new UNRELEASED version
adds 9ab64c6 look for berkeley-abc in the PATH
adds a973706 comment the yosys-abc link so I don't remove it again
adds 1d78eba switch to a free font for the manual
adds c3bbf19 build the manual using headers from the source tree, not installed
adds 48afb5d teach debian to build the docs (manual and presentation)
new 5f5881b add yosys-doc
new 7e86531 yosys: add .install file
new 0f4a555 add yosys-dev
new 3760de8 yosys-dev: add .install and .manpages, move yosys-config from yosys to yosys-dev
new 803d912 fail the deb build if any files didn't get installed
new 9081b17 include ast.h in yosys-dev
new 6c89e52 dch: update changelog
The 7 revisions listed above as "new" are entirely new to this
repository and will be described in separate emails. The revisions
listed as "adds" were already present in the repository and have only
been added to this reference.
Summary of changes:
debian/changelog | 12 ++++++
debian/control | 45 +++++++++++++++++++++
debian/patches/05_abc_executable.patch | 2 +-
debian/patches/add-missing-headers.patch | 14 +++++++
debian/patches/manual-build.patch | 16 ++++++++
debian/patches/series | 3 ++
debian/patches/switch-to-free-font.patch | 67 ++++++++++++++++++++++++++++++++
debian/rules | 9 +++++
debian/yosys-dev.install | 3 ++
debian/yosys-dev.manpages | 1 +
debian/yosys-doc.doc-base | 9 +++++
debian/yosys-doc.docs | 2 +
debian/yosys.install | 15 +++++++
debian/yosys.links | 3 ++
debian/yosys.manpages | 1 -
15 files changed, 200 insertions(+), 2 deletions(-)
create mode 100644 debian/patches/add-missing-headers.patch
create mode 100644 debian/patches/manual-build.patch
create mode 100644 debian/patches/switch-to-free-font.patch
create mode 100644 debian/yosys-dev.install
create mode 100644 debian/yosys-dev.manpages
create mode 100644 debian/yosys-doc.doc-base
create mode 100644 debian/yosys-doc.docs
create mode 100644 debian/yosys.install
--
Alioth's /usr/local/bin/git-commit-notice on /srv/git.debian.org/git/debian-science/packages/yosys.git
More information about the debian-science-commits
mailing list