Public | Automated Build

Last pushed: 2 years ago
Dockerfile
FROM ubuntu:14.04 MAINTAINER Robby <robby@santoslab.org> RUN apt-get update && \ apt-get install -y wget lib32stdc++6 lib32z1 && \ cd /usr/lib32 && \ ln -sf libstdc++.so.6 libc++.so && \ cd /opt && \ wget -q http://files.sireum.org/sireum-dev-linux64.tar.gz && \ tar xfz sireum-dev-linux64.tar.gz && \ rm sireum-dev-linux64.tar.gz && \ Sireum/sireum install "Sireum Amandroid Cli" ENV PATH /opt/Sireum:$PATH
Source Repository