Revision e37630ca configure

b/configure
191 191
blobs="yes"
192 192
fdt="yes"
193 193
sdl_x11="no"
194
xen="yes"
194 195
pkgversion=""
195 196

  
196 197
# OS specific
......
421 422
  ;;
422 423
  --disable-kqemu) kqemu="no"
423 424
  ;;
425
  --disable-xen) xen="no"
426
  ;;
424 427
  --disable-brlapi) brlapi="no"
425 428
  ;;
426 429
  --disable-bluez) bluez="no"
......
586 589
echo "  --audio-card-list=LIST   set list of emulated audio cards [$audio_card_list]"
587 590
echo "                           Available cards: $audio_possible_cards"
588 591
echo "  --enable-mixemu          enable mixer emulation"
592
echo "  --disable-xen            disable xen backend driver support"
589 593
echo "  --disable-brlapi         disable BrlAPI"
590 594
echo "  --disable-vnc-tls        disable TLS encryption for VNC server"
591 595
echo "  --disable-vnc-sasl       disable SASL encryption for VNC server"
......
802 806
fi
803 807

  
804 808
##########################################
809
# xen probe
810

  
811
if test "$xen" = "yes" ; then
812
cat > $TMPC <<EOF
813
#include <xenctrl.h>
814
#include <xs.h>
815
int main(void) { xs_daemon_open; xc_interface_open; }
816
EOF
817
   if $cc $ARCH_CFLAGS -c -o $TMPO $TMPC -lxenstore -lxenctrl 2> /dev/null ; then
818
      :
819
   else
820
      xen="no"
821
   fi
822
fi
823

  
824
##########################################
805 825
# SDL probe
806 826

  
807 827
sdl_too_old=no
......
1296 1316
    echo "Target Sparc Arch $sparc_cpu"
1297 1317
fi
1298 1318
echo "kqemu support     $kqemu"
1319
echo "xen support       $xen"
1299 1320
echo "brlapi support    $brlapi"
1300 1321
echo "Documentation     $build_docs"
1301 1322
[ ! -z "$uname_release" ] && \
......
1612 1633
  echo "CONFIG_BLUEZ_LIBS=$bluez_libs" >> $config_mak
1613 1634
  echo "#define CONFIG_BLUEZ 1" >> $config_h
1614 1635
fi
1636
if test "$xen" = "yes" ; then
1637
  echo "XEN_LIBS=-lxenstore -lxenctrl" >> $config_mak
1638
fi
1615 1639
if test "$aio" = "yes" ; then
1616 1640
  echo "#define CONFIG_AIO 1" >> $config_h
1617 1641
  echo "CONFIG_AIO=yes" >> $config_mak
......
1777 1801
      echo "KVM_CFLAGS=$kvm_cflags" >> $config_mak
1778 1802
      echo "#define CONFIG_KVM 1" >> $config_h
1779 1803
    fi
1804
    if test "$xen" = "yes" -a "$target_softmmu" = "yes";
1805
    then
1806
      echo "CONFIG_XEN=yes" >> $config_mak
1807
      echo "#define CONFIG_XEN 1" >> $config_h
1808
    fi
1780 1809
  ;;
1781 1810
  x86_64)
1782 1811
    echo "TARGET_ARCH=x86_64" >> $config_mak
......
1793 1822
      echo "KVM_CFLAGS=$kvm_cflags" >> $config_mak
1794 1823
      echo "#define CONFIG_KVM 1" >> $config_h
1795 1824
    fi
1825
    if test "$xen" = "yes" -a "$target_softmmu" = "yes"
1826
    then
1827
      echo "CONFIG_XEN=yes" >> $config_mak
1828
      echo "#define CONFIG_XEN 1" >> $config_h
1829
    fi
1796 1830
  ;;
1797 1831
  alpha)
1798 1832
    echo "TARGET_ARCH=alpha" >> $config_mak

Also available in: Unified diff