cmake HAVE_SELINUX_SELINUX_H examples

klee/klee CMakeLists.txt :369 

check_include_file("selinux/selinux.h" HAVE_SELINUX_SELINUX_H)