[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