Mercurial > hg > CbC > old > akasha
view cbmc/Dockerfile @ 30:865c1b265e80
Update Dockerfile
author | Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> |
---|---|
date | Tue, 24 May 2016 17:07:21 +0900 |
parents | 073de2e0c148 |
children | 6bf95d172d46 |
line wrap: on
line source
from gears RUN dnf update -y && dnf install -y man clang clang-devel gcc lldb wget zsh git mercurial tar vim && dnf clean all # Install cbmc RUN mkdir /root/cbmc WORKDIR /root/cbmc RUN wget http://www.cprover.org/cbmc/download/cbmc-5-4-linux-64.tgz RUN tar xzf cbmc-5-4-linux-64.tgz -C /usr/local/bin