From adfe88f900a4c5fe5b86c239340ee1012bf2600a Mon Sep 17 00:00:00 2001 From: Pierre Fenoll Date: Sun, 23 Dec 2018 17:47:55 +0100 Subject: [PATCH] package cuter as a docker image Signed-off-by: Pierre Fenoll --- Dockerfile | 17 +++++++++++++++++ 1 file changed, 17 insertions(+) create mode 100644 Dockerfile diff --git a/Dockerfile b/Dockerfile new file mode 100644 index 00000000..b9f163a5 --- /dev/null +++ b/Dockerfile @@ -0,0 +1,17 @@ +FROM erlang:21.2-alpine +MAINTAINER pierrefenoll@gmail.com +WORKDIR /app +RUN set -x \ + && apk update && apk upgrade \ + && apk add py2-pip make git g++ \ + && pip install protobuf==3.2.0 parsimonious==0.7.0 \ + && git clone -b z3-4.8.3 --depth 1 https://github.com/Z3Prover/z3.git \ + && cd z3 && python scripts/mk_make.py --python && cd build && make -j7 && make install && z3 --version && cd /app \ + && git clone --depth 1 https://github.com/aggelgian/cuter.git && cd cuter \ + && git submodule init && git submodule update \ + && git submodule foreach make -j7 \ + && apk add protobuf autoconf && autoconf && ./configure --with-protoc=/usr/bin/protoc \ + && apk add bash && make depend && make \ + && rm -r /var/cache/apk/* +ENTRYPOINT ["/app/cuter/cuter"] +CMD ["lists", "sum", "'[[1]]'"]