017a1bc8c4
Re-port the SCI compatibility stress test to joltc: host/chez/run-sci.ss loads borkdude/sci's own source (vendor/sci, re-vendored) through the spine and requires its forms to compile+eval. Floor-gated at 160/218 forms (the tail is genuine host gaps — set! on vars, some macro/def shapes); raise as they close. Wired into 'make test' (skips if the submodule isn't checked out). jolt-cf1q.6
47 lines
1.4 KiB
Makefile
47 lines
1.4 KiB
Makefile
# jolt — Clojure on Chez Scheme. Single substrate, no Janet.
|
|
#
|
|
# bin/joltc runs jolt directly off the checked-in seed (host/chez/seed/); there is no
|
|
# build step. `make test` is the full gate. `make remint` rebuilds the seed after a
|
|
# source change.
|
|
|
|
.PHONY: test values corpus unit smoke selfhost sci certify remint
|
|
|
|
# Full gate. Each step exits non-zero on failure, failing the target.
|
|
test: selfhost values corpus unit smoke sci certify
|
|
@echo "OK: all gates passed"
|
|
|
|
# Self-host fixpoint: bootstrap.ss rebuild == checked-in seed.
|
|
selfhost:
|
|
@sh host/chez/selfcheck.sh
|
|
|
|
# Value-model unit tests (nil/truthiness/collections on Chez).
|
|
values:
|
|
@chez --script test/chez/values-test.ss
|
|
|
|
# Corpus conformance vs JVM-sourced expecteds (allowlist + floor).
|
|
corpus:
|
|
@chez --script host/chez/run-corpus.ss
|
|
|
|
# Host-specific unit cases.
|
|
unit:
|
|
@chez --script host/chez/run-unit.ss
|
|
|
|
# Real-CLI smoke over bin/joltc.
|
|
smoke:
|
|
@sh host/chez/smoke.sh
|
|
|
|
# SCI conformance: load borkdude/sci's source through joltc (floor-gated).
|
|
sci:
|
|
@chez --script host/chez/run-sci.ss
|
|
|
|
# JVM oracle: certify the corpus against reference Clojure. Skips if clojure absent.
|
|
certify:
|
|
@if command -v clojure >/dev/null 2>&1; then \
|
|
clojure -M test/conformance/certify.clj; \
|
|
else \
|
|
echo "certify: clojure not on PATH — skipped"; \
|
|
fi
|
|
|
|
# Re-mint the seed after changing a seed source (reader/analyzer/backend/core).
|
|
remint:
|
|
@sh host/chez/remint.sh
|