From 313c513ac128d554a1b4ca654cd40ae5885084ee Mon Sep 17 00:00:00 2001 From: Joseph Ferano Date: Sat, 12 Sep 2026 20:36:27 +0700 Subject: [PATCH] Count the spike's own files correctly --- DISCUSS.md | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/DISCUSS.md b/DISCUSS.md index da80d9a..f591e2e 100644 --- a/DISCUSS.md +++ b/DISCUSS.md @@ -565,7 +565,7 @@ browser, which is not a goal. Item 12's brief, run. **Feasible.** No obstacle was found that argues for porting the compiler, and the one expected to be sharpest — signals — turned out not to exist on the platform measured. -The apparatus is `spike/embed/`: three shell scripts and nine small sources, deliberately not a dune target, driving +The apparatus is `spike/embed/`: four shell scripts and sixteen small sources, deliberately not a dune target, driving `ocamlfind` and `clang` by hand against the `flan.cmxa` dune already builds. `bash spike/embed/run.sh` reproduces everything below; `sig.sh`, `symbols.sh` and `merged.sh` each answer a question on their own. Nothing under `spike/` is wired into the build, and `dune test --root .` is green either side of it.