Mercurial > hg > GearsTemplate
annotate Dockerfile @ 590:9146d6017f18 default tip
hg mv parallel_execution/* ..
author | anatofuz <anatofuz@cr.ie.u-ryukyu.ac.jp> |
---|---|
date | Thu, 16 Jan 2020 15:12:06 +0900 |
parents | 7d664be4efa5 |
children |
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 |
115
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 |
325
7d664be4efa5
Run docker container
Tatsuki IHA <e125716@ie.u-ryukyu.ac.jp>
parents:
115
diff
changeset
|
15 ENV CBC_COMPILER /usr/local/bin/clang |
93
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 |