updates
ober
dc2f1ebc8e66063ab0cb446dd3d5a53961096bc0
--- a/AGENTS.md +++ b/AGENTS.md @@ -371,7 +371,6 @@ improved versions of the above. When working in a Jerboa project, **ONLY modify files in the current repo** unless the user explicitly names another path. Common sibling repos that exist but must NOT be touched without explicit instruction: -- `~/mine/jerboa-emacs` — **NEVER touch**. Another model owns it. - `~/mine/jerboa-mcp` — Legacy node MCP, superseded. The active MCP server now lives in THIS repo at `mcp/` + `data/`. Don't modify the legacy repo unless told. - `~/mine/jerboa-shell` — Only modify when user explicitly says to work there. - `~/mine/gerbil-mcp` — **NEVER touch**. Deprecated. --- a/Makefile +++ b/Makefile @@ -2,7 +2,7 @@ # only `jerbuild` + a C compiler — no jerboa source checkout and no separately # built Chez. If no jerbuild is found, `make binary` downloads the Jerboa # release toolchain for this os/arch into .jerboa/bin (support/ensure-jerboa.sh). -JERBOA_VERSION ?= v0.2.3 +JERBOA_VERSION ?= v0.2.8 JERBOA_TOOL_DIR ?= $(CURDIR)/.jerboa/bin JERBUILD ?= $(shell if [ -x ./jerbuild ]; then echo ./jerbuild; \ elif [ -x "$(JERBOA_TOOL_DIR)/jerbuild" ]; then echo "$(JERBOA_TOOL_DIR)/jerbuild"; \