Cannot incrementally build

[scarf005]

Summary

Exception: variable LibrariesC-45TextC-45Lexer-any is not bound

Reproduction

1. build idris2 from source, with opts = "--inc chez" in idris2.ipkg.
2. make install once more.
3. build fails:

Now compiling the executable: idris2
make -C libs/prelude IDRIS2=/home/scarf/repo/Idris2/build/exec/idris2 IDRIS2_INC_CGS=chez IDRIS2_PATH="/home/scarf/repo/Idris2/libs/prelude/build/ttc:/home/scarf/repo/Idris2/libs/base/build/ttc:/home/scarf/repo/Idris2/libs/linear/build/ttc:/home/scarf/repo/Idris2/libs/network/build/ttc:/home/scarf/repo/Idris2/libs/contrib/build/ttc:/home/scarf/repo/Idris2/libs/test/build/ttc:"
make: Entering directory '/home/scarf/repo/Idris2/libs/prelude'
/home/scarf/repo/Idris2/build/exec/idris2 --build prelude.ipkg
Exception: variable LibrariesC-45TextC-45Lexer-any is not bound
make: *** [Makefile:2: all] Error 255
make: Leaving directory '/home/scarf/repo/Idris2/libs/prelude'

[dunhamsteve]

Are on an M1 Mac with the racket Chez scheme? I hit a similar issue and tracked it down to that scheme needing the files loaded in order. We could try a topo sort, but there are circular references in the idris code base. It may still work if those are forward declared - I haven’t checked what the generated code looks like yet.

[scarf005]

oh, sorry, forgot to mention system info. running kubuntu 23.04, with chez scheme built from source.