[gambit-list] Steps to bootstrap Git master from Gambit 4.9.3

Lassi Kortela lassi at lassi.io
Sun Apr 19 11:57:15 EDT 2020


It seems the current HEAD still can't be bootstrapped using 4.9.3 
release. The Docker container (docker run -it schemers/gambit:head) is 
now built with the following commands to first try release gsc, and if 
that fails, bootstrap from scratch:

ln -s /usr/local/bin/gsc gsc-boot
make || (rm -rf boot/ gsc-boot && make)

That approach would seem to work fine, and saves a lot of time in case 
the build works with the release compiler (Docker Hub builds are really 
slow - you get what you pay for...)




More information about the Gambit-list mailing list