JosephFerano/flan
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

Count the spike's own files correctly

Browse Source
This commit is contained in:
Joseph Ferano 2026-09-12 20:36:27 +07:00
parent 3f92d420dd
commit 313c513ac1
1 changed files with 1 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
DISCUSS.md
View File

@ -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.