Require Vala unless --disable-vala is passed

diff --git a/README b/README
index e58c5b08d55e4d8682aa27383c5c656bfe12af96..7f46fc860713034487e16d0976427d940fa2a93d 100644 (file)
--- a/README
+++ b/README
@@ -13,7 +13,7 @@ Midori is a lightweight web browser.
 
 Requirements: GTK+ 2.10, WebkitGTK+ 1.1.1, libXML2, libsoup 2.25.2, sqlite 3.0
 
-Optional: Unique 0.9, libidn, docutils, libnotify
+Optional: Unique 0.9, libidn, docutils, libnotify, Vala
 
 For installation instructions read INSTALL.
 

diff --git a/wscript b/wscript
index 952f5820c57406bc616bf9ed9badf3a005e875bb..e8cbf743a10a74fa77de7b4aad05d85770a97e7b 100644 (file)
--- a/wscript
+++ b/wscript
@@ -87,11 +87,14 @@ def configure (conf):
         return dirvalue
 
     conf.check_tool ('compiler_cc')
-    # Circumvent mandatory check for valac
-    if find_program_impl (conf.env, 'valac'):
-        conf.check_tool ('vala')
-    else:
-         conf.check_message ('program', 'valac', False, False)
+    if option_enabled ('vala'):
+        if find_program_impl (conf.env, 'valac'):
+            conf.check_tool ('vala')
+        else:
+            conf.check_message ('program', 'valac', False, False)
+            Utils.pprint ('RED', 'Vala is required for some extensions.')
+            Utils.pprint ('RED', 'Pass --disable-vala to not build with Vala.')
+            sys.exit (1)
     conf.check_tool ('glib2')
 
     if option_enabled ('userdocs'):
@@ -367,6 +370,7 @@ def set_options (opt):
 
     group = opt.add_option_group ('Optional features', '')
     add_enable_option ('unique', 'single instance support', group)
+    add_enable_option ('vala', 'Vala support', group)
     add_enable_option ('libidn', 'international domain name support', group)
     add_enable_option ('libnotify', 'notification support', group)
     add_enable_option ('addons', 'building of extensions', group)