Require GTK+3 for granite, but only if enabled

diff --git a/wscript b/wscript
index b1d8107b60b197da615052d9f140bbc28653a34b..cb6d7d338effb3f4b6c4096db3f1ac6e4d2dd1da 100644 (file)
--- a/wscript
+++ b/wscript
@@ -211,9 +211,14 @@ def configure (conf):
 
     if option_enabled ('granite'):
         if not option_enabled ('gtk3'):
-            option_checkfatal ('granite', 'granite requires --enable-gtk3')
-        check_pkg ('granite', '0.1', False)
-        granite = ['N/A', 'yes'][conf.env['HAVE_GRANITE'] == 1]
+            if getattr (Options.options, 'enable_granite'):
+                Utils.pprint ('RED', 'Granite requires --enable-gtk3')
+                sys.exit (1)
+            else:
+                granite = 'no (requires --enable-gtk3)'
+        else:
+            check_pkg ('granite', '0.1', False)
+            granite = ['N/A', 'yes'][conf.env['HAVE_GRANITE'] == 1]
         if granite != 'yes':
             option_checkfatal ('granite', 'new notebook, pop-overs')
             conf.define ('GRANITE_VERSION', 'No')