Mercurial > hg > CbC > old > akasha

changeset 30:865c1b265e80

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Update Dockerfile
author Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp>
date Tue, 24 May 2016 17:07:21 +0900
parents 073de2e0c148
children d2073e23f206
files cbmc/Dockerfile cbmc/README
diffstat 2 files changed, 8 insertions(+), 2 deletions(-) [+]
line wrap: on
line diff
--- a/cbmc/Dockerfile	Tue May 24 14:48:43 2016 +0900
+++ b/cbmc/Dockerfile	Tue May 24 17:07:21 2016 +0900
@@ -1,8 +1,10 @@
-from fedora:23
+from gears
 
-RUN dnf update -y && dnf install -y man clang lldb wget zsh git mercurial tar vim && dnf clean all
+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
+
--- a/cbmc/README	Tue May 24 14:48:43 2016 +0900
+++ b/cbmc/README	Tue May 24 17:07:21 2016 +0900
@@ -3,5 +3,9 @@
 CBMC is a Bounded Model Checker for C. (http://www.cprover.org/cbmc/)
 We will compare with cbmc and akasha.
 
+Dockerfile adds cbmc in gears contaier.
+So it needs gears container in http://firefly.cr.ie.u-ryukyu.ac.jp/hg/Gears .
+
+$ docker build -t gears <path/to/gears-Dockerfile>
 $ docker build -t cbmc .
 $ docker run -it cbmc zsh