Mercurial > hg > CbC > old > akasha

changeset 41:6bf95d172d46

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 Thu, 16 Jun 2016 14:11:55 +0900
parents 81717f43ea00
children 9240d7ca8b5d
files cbmc/Dockerfile
diffstat 1 files changed, 4 insertions(+), 1 deletions(-) [+]
line wrap: on
line diff
--- a/cbmc/Dockerfile	Mon Jun 13 16:30:30 2016 +0900
+++ b/cbmc/Dockerfile	Thu Jun 16 14:11:55 2016 +0900
@@ -2,8 +2,11 @@
 
 RUN dnf update -y && dnf install -y man clang clang-devel gcc lldb wget zsh git mercurial tar vim && dnf clean all
 
+WORKDIR /root
+RUN hg clone http://firefly.cr.ie.u-ryukyu.ac.jp/hg/CbC/akasha
+
 # Install cbmc
-RUN mkdir /root/cbmc
+RUN mkdir -p /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