simple samba-gpoupdate => only via samba-tool gpo cse register

[metze/samba/wip.git] / wscript_configure_embedded_heimdal

diff --git a/wscript_configure_embedded_heimdal b/wscript_configure_embedded_heimdal
index 8c55ae2a938d467a252971c089126f47c76bce5d..6066f2b39d79d78ba8a10599fc5b14026073c590 100644 (file)
--- a/wscript_configure_embedded_heimdal
+++ b/wscript_configure_embedded_heimdal
@@ -1 +1,8 @@
-conf.RECURSE('source4/heimdal_build')
+if not conf.env['FLEX']:
+    conf.fatal("Embedded Heimdal build requires flex but it was not found.  Install flex or use --with-system-mitkrb5 or --with-system-heimdalkrb5")
+
+if not conf.env['BISON']:
+    conf.fatal("Embedded Heimdal build requires bison but it was not found.  Install bison or use --with-system-mitkrb5 or --with-system-heimdalkrb5")
+
+conf.define('USING_EMBEDDED_HEIMDAL', 1)
+conf.RECURSE('third_party/heimdal_build')