view Dockerfile @ 181:78b28c8ffff2

Prove equivalence n-push/n-pop to empty stack
author atton
date Tue, 13 Dec 2016 02:12:49 +0000
parents c53f105a48c1
children 7d664be4efa5
line wrap: on
line source

# docker build -t gears .  # build container
# docker run gears         # launch container and attach

FROM fedora:23

WORKDIR /root
RUN dnf update -y
RUN dnf install -y gcc gcc-c++ mercurial git vim zsh tar findutils make gdb cmake
RUN hg clone http://firefly.cr.ie.u-ryukyu.ac.jp/hg/CbC/CbC_llvm
RUN mkdir /root/llvm_build
WORKDIR /root/llvm_build
RUN /root/CbC_llvm/configure --enable-assertions
RUN make -j 2
RUN make install

WORKDIR /root
RUN git clone https://github.com/choller/llcov

CMD zsh