1
Fork 0
mirror of https://git.savannah.gnu.org/git/guile.git synced 2025-04-29 19:30:36 +02:00

Merge remote-tracking branch 'whippet/main' into wip-whippet

This commit is contained in:
Andy Wingo 2025-04-15 11:05:53 +02:00
commit 556a3ae671

View file

@ -85,8 +85,17 @@ AC_DEFUN([WHIPPET_PKG_TRACING],
AC_SUBST(WHIPPET_LTTNG_CFLAGS)
AC_SUBST(WHIPPET_LTTNG_LIBS)])
AC_DEFUN([WHIPPET_PKG_BDW],
[AC_MSG_CHECKING(for which bdw-gc pkg-config file to use)
AC_ARG_WITH(bdw-gc,
AS_HELP_STRING([--with-bdw-gc], [Name of BDW-GC pkg-config file]),
[bdw_gc="$withval"], [bdw_gc=bdw-gc])
AC_MSG_RESULT($bdw_gc)
WHIPPET_BDW_GC=$bdw_gc])
AC_DEFUN([WHIPPET_PKG_COLLECTOR],
[PKG_CHECK_MODULES(WHIPPET_BDW, bdw-gc,
[AC_REQUIRE([WHIPPET_PKG_BDW])
PKG_CHECK_MODULES(WHIPPET_BDW, $WHIPPET_BDW_GC,
[whippet_have_bdw=yes], [whippet_have_bdw=no])
AC_SUBST(WHIPPET_BDW_CFLAGS)
AC_SUBST(WHIPPET_BDW_LIBS)