CbC on GCC
code:Dockerfile
FROM ubuntu:20.04
RUN apt-get update && \
apt-get upgrade -y && \
DEBIAN_FRONTEND=noninteractive \
apt-get install -y \
mercurial \
libmpc-dev \
libgmp-dev \
libmpfr-dev \
build-essential \
flex \
gdb \
lldb \
vim
mkdir -p /opt/cbc_on_gcc && \
cd /opt/cbc_on_gcc && \
sh /CbC_gcc/configure CFLAGS="-g3 -O0" --prefix=/opt/cbc_on_gcc \
-disable-nls --disable-bootstrap --enable-languages=c \
-enable-checking=tree,rtl,assert,types --disable-multilib && \
make -j$(nproc) && \
make install
ENV PATH="/opt/cbc_on_gcc/bin:$PATH"
ENV CBC_COMPILER=/opt/cbc_on_gcc/bin/gcc
実行方法
$ singularity pull docker://localhost:5000/cbc_gcc:v10.0.1
$ singularity run cbc_gcc_v10.0.1.sif
$ cd CbC_examples
$ make