Mercurial > hg > CbC > old > akasha

changeset 29:073de2e0c148

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Add Dockerfile for cbmc
author Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp>
date Tue, 24 May 2016 14:48:43 +0900
parents 04283ef8f3ca
children 865c1b265e80
files cbmc/Dockerfile cbmc/README
diffstat 2 files changed, 15 insertions(+), 0 deletions(-) [+]
line wrap: on
line diff
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/cbmc/Dockerfile	Tue May 24 14:48:43 2016 +0900
@@ -0,0 +1,8 @@
+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
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/cbmc/README	Tue May 24 14:48:43 2016 +0900
@@ -0,0 +1,7 @@
+# Dockerfile for cbmc
+
+CBMC is a Bounded Model Checker for C. (http://www.cprover.org/cbmc/)
+We will compare with cbmc and akasha.
+
+$ docker build -t cbmc .
+$ docker run -it cbmc zsh