Mercurial > hg > Gears > GearsAgda
view Dockerfile @ 450:d3d7a7d6a117
Delete USE_CUDA_MAIN_THREAD
author | Tatsuki IHA <innparusu@cr.ie.u-ryukyu.ac.jp> |
---|---|
date | Mon, 04 Dec 2017 04:24:30 +0900 |
parents | 7d664be4efa5 |
children |
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 ENV CBC_COMPILER /usr/local/bin/clang WORKDIR /root RUN git clone https://github.com/choller/llcov CMD zsh