changeset 93:4dfa04d14221

Add Dockerfile for gears
author Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp>
date Tue, 26 Jan 2016 17:06:56 +0900
parents 851da1107223
children 11e2a9eba9c1
files Dockerfile
diffstat 1 files changed, 19 insertions(+), 0 deletions(-) [+]
line wrap: on
line diff
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/Dockerfile	Tue Jan 26 17:06:56 2016 +0900
@@ -0,0 +1,19 @@
+# docker build -t gears .  # build container
+# docker run gears         # launch container and attach
+
+FROM fedora
+
+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