Skip to content
Permalink
Browse files

Dockerfile: install Haskell stack

  • Loading branch information...
Everett Hildenbrandt authored and denis-bogdanas committed Feb 1, 2019
1 parent 1b389f1 commit 09565bdcad5ef77b3517cc1556777747f37a3a20
Showing with 2 additions and 0 deletions.
  1. +2 −0 Dockerfile
@@ -16,6 +16,8 @@ RUN apt update \

RUN update-alternatives --set java /usr/lib/jvm/java-8-openjdk-amd64/jre/bin/java

RUN curl -sSL https://get.haskellstack.org/ | sh

RUN git clone 'https://github.com/z3prover/z3' --branch=z3-4.6.0 \
&& cd z3 \
&& python scripts/mk_make.py \

0 comments on commit 09565bd

Please sign in to comment.
You can’t perform that action at this time.