diff options
| author | Juan Quintela <quintela@redhat.com> | 2009-08-12 18:29:55 +0200 |
|---|---|---|
| committer | Anthony Liguori <aliguori@us.ibm.com> | 2009-08-27 19:33:15 -0500 |
| commit | fc321b4b3753702dccc591bd01d38c74ef2e7d8b (patch) | |
| tree | 676bd61c7ffb59730c62e811cfadc2ae8a13e215 /configure | |
| parent | 2df87df749463139afa1881b1b24fb2e5ff403d9 (diff) | |
Add xen to new feature convention
Signed-off-by: Juan Quintela <quintela@redhat.com>
Signed-off-by: Anthony Liguori <aliguori@us.ibm.com>
Diffstat (limited to 'configure')
| -rwxr-xr-x | configure | 13 |
1 files changed, 10 insertions, 3 deletions
@@ -188,6 +188,7 @@ sdl="" vde="" vnc_tls="" vnc_sasl="" +xen="" gprof="no" debug_tcg="no" @@ -218,7 +219,6 @@ kvm="no" kerneldir="" aix="no" blobs="yes" -xen="yes" pkgversion="" # OS specific @@ -451,6 +451,8 @@ for opt do ;; --disable-xen) xen="no" ;; + --enable-xen) xen="yes" + ;; --disable-brlapi) brlapi="no" ;; --enable-brlapi) brlapi="yes" @@ -632,6 +634,7 @@ echo " --audio-card-list=LIST set list of emulated audio cards [$audio_card_l 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" @@ -869,7 +872,7 @@ fi ########################################## # xen probe -if test "$xen" = "yes" ; then +if test "$xen" != "no" ; then xen_libs="-lxenstore -lxenctrl -lxenguest" cat > $TMPC <<EOF #include <xenctrl.h> @@ -877,9 +880,13 @@ if test "$xen" = "yes" ; then 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 |