[gambit-list] Faster docker builds of git master

Lassi Kortela lassi at lassi.io
Sun Apr 26 09:28:56 EDT 2020


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.




More information about the Gambit-list mailing list