ZJIT: Add --enable-zjit=dev_nodebug (#13456)

This commit is contained in:
Takashi Kokubun 2025-05-28 17:20:10 -04:00 committed by GitHub
parent 9a1d6cc799
commit cce89a6f69
No known key found for this signature in database
GPG Key ID: B5690EEEBB952194
Notes: git 2025-05-28 21:20:23 +00:00
Merged-By: k0kubun <takashikkbn@gmail.com>

View File

@ -3963,7 +3963,7 @@ AS_CASE(["${YJIT_SUPPORT}"],
ZJIT_LIBS=
AS_CASE(["${ZJIT_SUPPORT}"],
[yes|dev], [
[yes|dev|dev_nodebug], [
AS_IF([test x"$RUSTC" = "xno"],
AC_MSG_ERROR([rustc is required. Installation instructions available at https://www.rust-lang.org/tools/install])
)
@ -3975,6 +3975,10 @@ AS_CASE(["${ZJIT_SUPPORT}"],
rb_cargo_features="$rb_cargo_features,disasm"
JIT_CARGO_SUPPORT=dev
AC_DEFINE(RUBY_DEBUG, 1)
],
[dev_nodebug], [
rb_cargo_features="$rb_cargo_features,disasm"
JIT_CARGO_SUPPORT=dev_nodebug
])
ZJIT_LIBS="target/release/libzjit.a"