[wasm] configure.ac: disable mjit on wasi by default
This commit is contained in:
parent
dd99ee1f7d
commit
bb2228817f
Notes:
git
2022-01-19 11:19:37 +09:00
13
configure.ac
13
configure.ac
@ -3732,12 +3732,15 @@ AC_SUBST(INSTALLDOC)
|
|||||||
|
|
||||||
AC_ARG_ENABLE(jit-support,
|
AC_ARG_ENABLE(jit-support,
|
||||||
AS_HELP_STRING([--disable-jit-support], [disable JIT features]),
|
AS_HELP_STRING([--disable-jit-support], [disable JIT features]),
|
||||||
[MJIT_SUPPORT=$enableval
|
[MJIT_SUPPORT=$enableval],
|
||||||
AS_IF([test x"$enable_jit_support" = "xyes"],
|
# Enable mjit by default except for WASI
|
||||||
|
[AS_IF([test x"$target_os" != "xwasi"],
|
||||||
|
[MJIT_SUPPORT=yes],
|
||||||
|
[MJIT_SUPPORT=no ])])
|
||||||
|
|
||||||
|
AS_IF([test x"$MJIT_SUPPORT" = "xyes"],
|
||||||
[AC_DEFINE(USE_MJIT, 1)],
|
[AC_DEFINE(USE_MJIT, 1)],
|
||||||
[AC_DEFINE(USE_MJIT, 0)])],
|
[AC_DEFINE(USE_MJIT, 0)])
|
||||||
[MJIT_SUPPORT=yes
|
|
||||||
AC_DEFINE(USE_MJIT, 1)])
|
|
||||||
|
|
||||||
AC_SUBST(MJIT_SUPPORT)
|
AC_SUBST(MJIT_SUPPORT)
|
||||||
|
|
||||||
|
Loading…
x
Reference in New Issue
Block a user