##########################################
# Windows Hypervisor Platform accelerator (WHPX) check
if test "$whpx" != "no" ; then
- if check_include "WinHvPlatform.h" && check_include "WinHvEmulation.h"; then
- whpx="yes"
- else
- if test "$whpx" = "yes"; then
- feature_not_found "WinHvPlatform" "WinHvEmulation is not installed"
- fi
- whpx="no"
- fi
+ #if check_include "WinHvPlatform.h" && check_include "WinHvEmulation.h"; then
+ whpx="yes"
+ #else
+ # if test "$whpx" = "yes"; then
+ # feature_not_found "WinHvPlatform" "WinHvEmulation is not installed"
+ # fi
+ # whpx="no"
+ #fi
fi
##########################################
CONFIGURE_APPEND_WIN="
--audio-drv-list=dsound
- --enable-hax"
+ --enable-hax
+ --enable-whpx
+ --extra-cflags=-Wno-error=undef
+ --extra-cflags=-Wno-error=unknown-pragmas
+ --extra-cflags=-Wno-error=redundant-decls"
# append platform specific options
case $targetos in