diff options
Diffstat (limited to 'wscript_configure_embedded_heimdal')
| -rw-r--r-- | wscript_configure_embedded_heimdal | 8 |
1 files changed, 8 insertions, 0 deletions
diff --git a/wscript_configure_embedded_heimdal b/wscript_configure_embedded_heimdal new file mode 100644 index 0000000..6066f2b --- /dev/null +++ b/wscript_configure_embedded_heimdal @@ -0,0 +1,8 @@ +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') |