vde=""
vnc_tls=""
vnc_sasl=""
+xen=""
gprof="no"
debug_tcg="no"
kerneldir=""
aix="no"
blobs="yes"
-xen="yes"
pkgversion=""
# OS specific
;;
--disable-xen) xen="no"
;;
+ --enable-xen) xen="yes"
+ ;;
--disable-brlapi) brlapi="no"
;;
--enable-brlapi) brlapi="yes"
echo " Available cards: $audio_possible_cards"
echo " --enable-mixemu enable mixer emulation"
echo " --disable-xen disable xen backend driver support"
+echo " --enable-xen enable xen backend driver support"
echo " --disable-brlapi disable BrlAPI"
echo " --enable-brlapi enable BrlAPI"
echo " --disable-vnc-tls disable TLS encryption for VNC server"
##########################################
# xen probe
-if test "$xen" = "yes" ; then
+if test "$xen" != "no" ; then
xen_libs="-lxenstore -lxenctrl -lxenguest"
cat > $TMPC <<EOF
#include <xenctrl.h>
int main(void) { xs_daemon_open(); xc_interface_open(); return 0; }
EOF
if compile_prog "" "$xen_libs" ; then
+ xen=yes
libs_softmmu="$xen_libs $libs_softmmu"
else
- xen="no"
+ if test "$xen" = "yes" ; then
+ feature_not_found "xen"
+ fi
+ xen=no
fi
fi