Can the build system be scripted without using the REPL?
Yes. The build system is fully scriptable. For instance, without entering the build system’s interactive REPL, you can configure and build Jazz and Jedi like this: % gsc configure -safety release % gsc make make kernel make core make jazz % gsc make jedi make kernel make core make jazz make platform make jedi …