* make guile/gtk/webkit dep optional (i.e., --disable-guile, --disable-webkit,

--with-gui=none); bump version to 0.9.8.5-dev4
This commit is contained in:
djcb
2012-06-13 10:22:54 +03:00
parent 4dadca3a8d
commit 245de14b1d
3 changed files with 72 additions and 67 deletions

View File

@ -23,7 +23,7 @@ else
widgets=
endif
if HAVE_GUILE
if BUILD_GUILE
guile=guile
else
guile=