diff options
| author | David Robillard <d@drobilla.net> | 2014-03-16 00:55:18 +0000 |
|---|---|---|
| committer | David Robillard <d@drobilla.net> | 2014-03-16 00:55:18 +0000 |
| commit | 612186c6dd6549bfd3a44ba61181ce1b6ac49733 (patch) | |
| tree | c4d6ab490bc77a920acec8f1a86da1c1c0ac449d /wscript | |
| parent | ddbce4eab17e23636e2ce9ffee5b4f1c16f3722a (diff) | |
| download | ingen-612186c6dd6549bfd3a44ba61181ce1b6ac49733.tar.gz ingen-612186c6dd6549bfd3a44ba61181ce1b6ac49733.tar.bz2 ingen-612186c6dd6549bfd3a44ba61181ce1b6ac49733.zip | |
Allow user to enable or disable sprung layout.
This setting is saved with the patch so sprung patches remain sprung when
loaded again, but manually arranged patches won't be mangled.
git-svn-id: http://svn.drobilla.net/lad/trunk/ingen@5340 a436a847-0d15-0410-975c-d299462d15a1
Diffstat (limited to 'wscript')
| -rw-r--r-- | wscript | 2 |
1 files changed, 1 insertions, 1 deletions
@@ -75,7 +75,7 @@ def configure(conf): autowaf.check_pkg(conf, 'gtkmm-2.4', uselib_store='NEW_GTKMM', atleast_version='2.14.0', mandatory=False) autowaf.check_pkg(conf, 'ganv-1', uselib_store='GANV', - atleast_version='1.2.1', mandatory=False) + atleast_version='1.2.3', mandatory=False) if not Options.options.no_webkit: autowaf.check_pkg(conf, 'webkit-1.0', uselib_store='WEBKIT', atleast_version='1.4.0', mandatory=False) |