[yosys] 06/15: teach debian to build the docs (manual and presentation)

[Sebastian Kuzminsky]

This is an automated email from the git hooks/post-receive script.

seb_kuzminsky-guest pushed a commit to branch doc-dev-debs
in repository yosys.

commit aa98fc915d2cca6fdac02c9c857ad901e7e8c6ce
Author: Sebastian Kuzminsky <seb at highlab.com>
Date:   Sun Feb 28 22:33:33 2016 -0700

    teach debian to build the docs (manual and presentation)
    
    Add build-dependencies needed to build the documentation.
    
    Call the upstream build system to build the documentation.
---
 debian/control | 13 +++++++++++++
 debian/rules   |  4 ++++
 2 files changed, 17 insertions(+)

diff --git a/debian/control b/debian/control
index f48a3f8..a340b72 100644
--- a/debian/control
+++ b/debian/control
@@ -14,6 +14,19 @@ Build-Depends: debhelper (>= 9),
                libffi-dev,
                pkg-config,
                txt2man,
+               texlive-base,
+               texlive-generic-recommended,
+               texlive-fonts-recommended,
+               texlive-fonts-extra,
+               texlive-latex-base,
+               texlive-latex-extra,
+               texlive-font-utils,
+               texlive-science,
+               texlive-publishers,
+               texlive-bibtex-extra,
+               lmodern,
+               graphviz,
+               berkeley-abc (>= 1.01),
                python3
 Standards-Version: 3.9.7
 Vcs-Browser: https://anonscm.debian.org/cgit/debian-science/packages/yosys.git
diff --git a/debian/rules b/debian/rules
index 0bcf21a..df50f15 100755
--- a/debian/rules
+++ b/debian/rules
@@ -22,3 +22,7 @@ override_dh_auto_configure:
 override_dh_installman:
 	cd debian/man ; CHANGELOG_DATE="$(CHANGELOG_DATE)" ./genmanpages.sh
 	dh_installman
+
+override_dh_auto_build:
+	$(MAKE) -j24
+	$(MAKE) manual

-- 
Alioth's /usr/local/bin/git-commit-notice on /srv/git.debian.org/git/debian-science/packages/yosys.git