I've been building Gambit's git master for Docker hub a few times now: https://hub.docker.com/r/schemers/gambit/builds.
The builds consistently take 60-70 minutes. I assume that means the full bootstrap is done each time. For comparison, 4.9.3 release is built from its source archive in about 20 minutes on the same infrastructure.
The build steps are:
WORKDIR /build RUN git clone https://github.com/gambit/gambit.git WORKDIR /build/gambit RUN ./configure --prefix=/usr/local \ --enable-single-host \ --enable-multiple-threaded-vms RUN ln -s /usr/local/bin/gsc gsc-boot RUN make || (rm -rf boot/ gsc-boot && make) RUN make modules RUN make check RUN make install
When the build starts, /usr/local/bin/gsc is the one from Gambit 4.9.3.
Are those build steps right, and is there something simple that could be done to reduce the bootstrap time?
IIRC a Docker Hub build is limited to one CPU core, so `make -j` isn't used here.