wingo pushed a commit to branch wip-whippet
in repository guile.
commit fd7b5d2d0c3f3e6b30b4944645af051be1207dbe
Merge: 7126bd19b e4f9b1d8f
Author: Andy Wingo <wi...@pobox.com>
AuthorDate: Wed Apr 16 13:42:18 2025 +0200
Merge remote-tracking branch 'whippet/main' into wip-whippet
libguile/whippet/Makefile | 34 ++++---
libguile/whippet/api/gc-attrs.h | 8 ++
libguile/whippet/embed.am | 159 ++++++++++++++-----------------
libguile/whippet/embed.mk | 56 ++++++-----
libguile/whippet/src/bdw.c | 3 +-
libguile/whippet/src/embedder-api-impl.h | 12 +++
libguile/whippet/src/gc-ephemeron.c | 2 +-
libguile/whippet/src/gc-finalizer.c | 2 +-
libguile/whippet/src/gc-internal.h | 1 +
9 files changed, 150 insertions(+), 127 deletions(-)
diff --cc libguile/whippet/src/embedder-api-impl.h
index 000000000,26ef61eaa..26ef61eaa
mode 000000,100644..100644
--- a/libguile/whippet/src/embedder-api-impl.h
+++ b/libguile/whippet/src/embedder-api-impl.h
