Mercurial > hg > Gears > GearsAgda

comparison Dockerfile @ 96:0ff35d4c6480

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
merge
author Shohei KOKUBO <e105744@ie.u-ryukyu.ac.jp>
date Fri, 29 Jan 2016 05:37:11 +0900
parents 4dfa04d14221
children c53f105a48c1
comparison
equal deleted inserted replaced
95:3e28ee215c0e 96:0ff35d4c6480
1 # docker build -t gears . # build container
2 # docker run gears # launch container and attach
3
4 FROM fedora
5
6 WORKDIR /root
7 RUN dnf update -y
8 RUN dnf install -y gcc gcc-c++ mercurial git vim zsh tar findutils make gdb cmake
9 RUN hg clone http://firefly.cr.ie.u-ryukyu.ac.jp/hg/CbC/CbC_llvm
10 RUN mkdir /root/llvm_build
11 WORKDIR /root/llvm_build
12 RUN /root/CbC_llvm/configure --enable-assertions
13 RUN make -j 2
14 RUN make install
15
16 WORKDIR /root
17 RUN git clone https://github.com/choller/llcov
18
19 CMD zsh