diff options
author | Gard Spreemann <gspreemann@gmail.com> | 2017-01-24 00:09:57 +0100 |
---|---|---|
committer | Gard Spreemann <gspreemann@gmail.com> | 2017-01-24 00:09:57 +0100 |
commit | 568eede438bf2677b9a509572bbedb94455bafff (patch) | |
tree | 1fa2fbf52481feb483c8b3a57c3bdd207fee8866 /debian/control | |
parent | e69a96b09526fb4924599915a705c4bfca30a114 (diff) |
- Disable parallel build (fails mysteriously on a bison error
otherwise).
- Additional cleaning rules.
- DH 10.
Diffstat (limited to 'debian/control')
-rw-r--r-- | debian/control | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/debian/control b/debian/control index 1fad44e..3371aa6 100644 --- a/debian/control +++ b/debian/control @@ -2,7 +2,7 @@ Source: tikzit Section: tex Priority: optional Maintainer: Gard Spreemann <gspreemann@gmail.com> -Build-Depends: debhelper (>= 9), dh-autoreconf, gobjc (>= 4.6), +Build-Depends: debhelper (>= 10), dh-autoreconf, gobjc (>= 4.6), libgnustep-gui-dev (>= 0.18.0), libgtk2.0-dev (>= 2.18.0), libpoppler-glib-dev, flex, bison, autoconf (>= 2.60), automake Standards-Version: 3.9.8 |