diff options
author | Daniel De Graaf <dgdegra@tycho.nsa.gov> | 2013-02-13 16:06:57 +0000 |
---|---|---|
committer | Ian Jackson <Ian.Jackson@eu.citrix.com> | 2013-02-22 17:16:35 +0000 |
commit | 13dd8043cda1efeb683a05b995cb134e9662b87b (patch) | |
tree | 9e2150774f6eff6e80d422d9226034a91e54ff2a /m4 | |
parent | 2393441e5808b5ac4d76510560b3200c91f67409 (diff) | |
download | xen-13dd8043cda1efeb683a05b995cb134e9662b87b.tar.gz xen-13dd8043cda1efeb683a05b995cb134e9662b87b.tar.bz2 xen-13dd8043cda1efeb683a05b995cb134e9662b87b.zip |
tools/flask: add FLASK policy to build
This patch enables the compilation of the FLASK policy as part of the
tools build if the needed prerequisites are present.
Signed-off-by: Daniel De Graaf <dgdegra@tycho.nsa.gov>
Signed-off-by: Ian Jackson <ian.jackson@eu.citrix.com>
Diffstat (limited to 'm4')
-rw-r--r-- | m4/checkpolicy.m4 | 12 |
1 files changed, 12 insertions, 0 deletions
diff --git a/m4/checkpolicy.m4 b/m4/checkpolicy.m4 new file mode 100644 index 0000000000..f727a7d31a --- /dev/null +++ b/m4/checkpolicy.m4 @@ -0,0 +1,12 @@ +AC_DEFUN([AC_PROG_CHECKPOLICY], +[dnl + # check for a checkpolicy binary with support for -t xen + AC_CHECK_TOOL([CHECKPOLICY],[checkpolicy],[no]) + + if test "$CHECKPOLICY" != "no"; then + CHECKPOLICYHELP=`$CHECKPOLICY -h | grep xen` + if test "$CHECKPOLICYHELP" = ""; then + CHECKPOLICY=no + fi + fi +]) |