view cbc_gcc.def @ 0:e90bb8bec611 default tip

init
author Ken Miyahira <e175733@ie.u-ryukyu.ac.jp>
date Fri, 25 Dec 2020 19:02:23 +0900
parents
children
line wrap: on
line source

BootStrap: docker
From: ubuntu:20.04

%post
    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 \
        zsh
    hg clone http://www.cr.ie.u-ryukyu.ac.jp/hg/CbC/CbC_gcc/
    mkdir -p /usr/local/cbc_gcc
    cd /usr/local/cbc_gcc
    sh /CbC_gcc/configure CFLAGS="-g3 -O0" --prefix=/usr/local/cbc_gcc \
        --disable-nls --disable-bootstrap --enable-languages=c \
        --enable-checking=tree,rtl,assert,types --disable-multilib
    make -j16
    make install

%environment
    export PATH=/usr/local/cbc_gcc/bin:$PATH
    export CBC_COMPILER=/usr/local/cbc_gcc/bin/gcc