From: Christian Dywan <christian@twotoasts.de>
Date: Sat, 3 Jul 2010 21:30:21 +0000 (+0200)
Subject: Require Vala unless --disable-vala is passed
X-Git-Url: https://spindle.queued.net/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=67f4f7d9772914cc7868c20df1ca95d49c3273e9;p=midori

Require Vala unless --disable-vala is passed
---

diff --git a/README b/README
index e58c5b08..7f46fc86 100644
--- 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 952f5820..e8cbf743 100644
--- 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)