Skip to content

Instantly share code, notes, and snippets.

Created Jul 22, 2022
What would you like to do?
FROM fedora:latest
RUN dnf install -y gcc git diffutils texinfo
WORKDIR gambit_install
COPY . .
RUN make clean && ./configure --enable-single-host && make -j$(nproc) && make check && make modules && make doc && make install
RUN ln -s /gambit_install/gsi/gsi /bin/gsi && ln -s /gambit_install/gsc/gsc /bin/gsc
WORKDIR /workdir
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment