annotate Dockerfile @ 118:c53f105a48c1

Set fedora version
author Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp>
date Thu, 14 Jul 2016 20:29:06 +0900
parents 4dfa04d14221
children
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source
93
4dfa04d14221 Add Dockerfile for gears
Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp>
parents:
diff changeset
1 # docker build -t gears . # build container
4dfa04d14221 Add Dockerfile for gears
Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp>
parents:
diff changeset
2 # docker run gears # launch container and attach
4dfa04d14221 Add Dockerfile for gears
Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp>
parents:
diff changeset
3
118
c53f105a48c1 Set fedora version
Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp>
parents: 93
diff changeset
4 FROM fedora:23
93
4dfa04d14221 Add Dockerfile for gears
Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp>
parents:
diff changeset
5
4dfa04d14221 Add Dockerfile for gears
Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp>
parents:
diff changeset
6 WORKDIR /root
4dfa04d14221 Add Dockerfile for gears
Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp>
parents:
diff changeset
7 RUN dnf update -y
4dfa04d14221 Add Dockerfile for gears
Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp>
parents:
diff changeset
8 RUN dnf install -y gcc gcc-c++ mercurial git vim zsh tar findutils make gdb cmake
4dfa04d14221 Add Dockerfile for gears
Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp>
parents:
diff changeset
9 RUN hg clone http://firefly.cr.ie.u-ryukyu.ac.jp/hg/CbC/CbC_llvm
4dfa04d14221 Add Dockerfile for gears
Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp>
parents:
diff changeset
10 RUN mkdir /root/llvm_build
4dfa04d14221 Add Dockerfile for gears
Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp>
parents:
diff changeset
11 WORKDIR /root/llvm_build
4dfa04d14221 Add Dockerfile for gears
Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp>
parents:
diff changeset
12 RUN /root/CbC_llvm/configure --enable-assertions
4dfa04d14221 Add Dockerfile for gears
Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp>
parents:
diff changeset
13 RUN make -j 2
4dfa04d14221 Add Dockerfile for gears
Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp>
parents:
diff changeset
14 RUN make install
4dfa04d14221 Add Dockerfile for gears
Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp>
parents:
diff changeset
15
4dfa04d14221 Add Dockerfile for gears
Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp>
parents:
diff changeset
16 WORKDIR /root
4dfa04d14221 Add Dockerfile for gears
Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp>
parents:
diff changeset
17 RUN git clone https://github.com/choller/llcov
4dfa04d14221 Add Dockerfile for gears
Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp>
parents:
diff changeset
18
4dfa04d14221 Add Dockerfile for gears
Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp>
parents:
diff changeset
19 CMD zsh