diff options
Diffstat (limited to 'src')
| -rw-r--r-- | src/Makefile.in | 4 | ||||
| -rw-r--r-- | src/configure.ac | 9 |
2 files changed, 13 insertions, 0 deletions
diff --git a/src/Makefile.in b/src/Makefile.in index 23dfa2e47..9ab219c0d 100644 --- a/src/Makefile.in +++ b/src/Makefile.in @@ -22,6 +22,10 @@ ifdef ejabberd_debug ERLC_FLAGS+=-Dejabberd_debug endif +ifeq (@hipe@, true) + ERLC_FLAGS+=+native +endif + ifeq (@roster_gateway_workaround@, true) ERLC_FLAGS+=-DROSTER_GATEWAY_WORKAROUND endif diff --git a/src/configure.ac b/src/configure.ac index 0924f21a2..a3e8894e9 100644 --- a/src/configure.ac +++ b/src/configure.ac @@ -44,6 +44,15 @@ AC_MOD_ENABLE(tls, yes) AC_MOD_ENABLE(odbc, no) AC_MOD_ENABLE(ejabberd_zlib, yes) +AC_ARG_ENABLE(hipe, +[ --enable-hipe Compile natively with HiPE, not recommended (default: no)], +[case "${enableval}" in + yes) hipe=true ;; + no) hipe=false ;; + *) AC_MSG_ERROR(bad value ${enableval} for --enable-hipe) ;; +esac],[hipe=false]) +AC_SUBST(hipe) + AC_ARG_ENABLE(roster_gateway_workaround, [ --enable-roster-gateway-workaround Turn on workaround for processing gateway subscriptions (default: no)], [case "${enableval}" in |