view cbmc/Dockerfile @ 29:073de2e0c148

Add Dockerfile for cbmc
author Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp>
date Tue, 24 May 2016 14:48:43 +0900
parents
children 865c1b265e80
line wrap: on
line source

from fedora:23

RUN dnf update -y && dnf install -y man clang lldb wget zsh git mercurial tar vim && dnf clean all

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