diff options
Diffstat (limited to 'lang/erlang14/Makefile')
| -rw-r--r-- | lang/erlang14/Makefile | 7 |
1 files changed, 7 insertions, 0 deletions
diff --git a/lang/erlang14/Makefile b/lang/erlang14/Makefile index d76834a3f860..6a56891984c1 100644 --- a/lang/erlang14/Makefile +++ b/lang/erlang14/Makefile @@ -52,6 +52,10 @@ GNU_CONFIGURE= yes CONFIGURE_ARGS+= --enable-threads .endif +.if defined(WITH_ERLANG_HIPE) +CONFIGURE_ARGS+= --enable-hipe +.endif + .if !defined(WITHOUT_JAVA) # The Java applications that are part of the Erlang distribution are # not strictly necessary - it is included for completeness sake. A @@ -78,6 +82,9 @@ pre-extract: .if !defined(WITH_ERLANG_THREADS) @${ECHO_MSG} "You can enable support for threaded I/O by defining WITH_ERLANG_THREADS." .endif +.if !defined(WITH_ERLANG_HIPE) + @${ECHO_MSG} "You can enable HiPE support by defining WITH_ERLANG_HIPE." +.endif pre-configure: # Regenerate erts configuration script |