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

The alias hands the sweep the js spike too, and an empty glob is a smaller sweep

Browse Source
This commit is contained in:
Joseph Ferano 2026-09-18 08:00:32 +07:00
parent 8e5798fa1c
commit c22c896f83
2 changed files with 8 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

3
spike/x86/survey.sh
View File

@ -82,6 +82,9 @@ declare -a match=() differ=() refused=() nox86=() skip=()
for src in "$corpus"/test/programs/*.flan "$corpus"/spike/x86/*.flan \ for src in "$corpus"/test/programs/*.flan "$corpus"/spike/x86/*.flan \
"$corpus"/spike/js/*.flan; do "$corpus"/spike/js/*.flan; do
# An unmatched glob comes through as its own pattern; a corpus that is
# missing one of these directories is a smaller sweep, not an error.
[ -e "$src" ] || continue
name=$(basename "$src" .flan) name=$(basename "$src" .flan)
if [ $# -gt 0 ]; then if [ $# -gt 0 ]; then
want=0 want=0

5
test/dune
View File

@ -196,6 +196,11 @@
(deps (deps
(file %{workspace_root}/spike/x86/survey.sh) (file %{workspace_root}/spike/x86/survey.sh)
(glob_files %{workspace_root}/spike/x86/*.flan) (glob_files %{workspace_root}/spike/x86/*.flan)
; The js spike's programs are plain flan programs and the sweep reads them
; now, so they have to be in the build tree the sweep runs from -- otherwise
; the glob matches nothing, and nothing is exactly what it was reporting
; while p1-int-semantics.flan sat there with a wrong shift in it.
(glob_files %{workspace_root}/spike/js/*.flan)
(file %{workspace_root}/bin/main.exe) (file %{workspace_root}/bin/main.exe)
(file %{workspace_root}/calc-me.flan) (file %{workspace_root}/calc-me.flan)
(file %{workspace_root}/sand.flan) (file %{workspace_root}/sand.flan)