summaryrefslogtreecommitdiff
path: root/debian/control
diff options
context:
space:
mode:
authorSebastian Kuzminsky <seb@highlab.com>2016-02-28 22:33:33 -0700
committerSebastian Kuzminsky <seb@highlab.com>2016-03-28 21:55:19 -0600
commit48afb5dab1492a3f283522e469faeaa9cb1d7623 (patch)
tree5039a6071650e8e308701dab734741cafccbb760 /debian/control
parentc3bbf19315067dc4dbc4aaf132a2b20d63f87da0 (diff)
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.
Diffstat (limited to 'debian/control')
-rw-r--r--debian/control13
1 files changed, 13 insertions, 0 deletions
diff --git a/debian/control b/debian/control
index f48a3f80..a340b723 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