pointhi/mx-jvmci-smt repository overview

FROM pointhi/mx-jvmci:latest

LABEL maintainer="Thomas Pointhuber"

# our smt solver dependencies
RUN pacman -Sy --noconfirm cvc4 && pacman -Scc --noconfirm

# z3 (precompiled with java binding)
COPY z3/z3-4.8.5-1-x86_64.pkg.tar.xz /tmp/z3-4.8.5-1-x86_64.pkg.tar.xz
COPY z3/java-z3-4.8.5-1-x86_64.pkg.tar.xz /tmp/java-z3-4.8.5-1-x86_64.pkg.tar.xz
RUN pacman -U --noconfirm /tmp/z3-4.8.5-1-x86_64.pkg.tar.xz /tmp/java-z3-4.8.5-1-x86_64.pkg.tar.xz

# boolector (precompiled)
COPY boolector/boolector-3.0.0-1-x86_64.pkg.tar /tmp/boolector-3.0.0-1-x86_64.pkg.tar
RUN pacman -U --noconfirm /tmp/boolector-3.0.0-1-x86_64.pkg.tar

# yices (precompiled)
COPY yices/yices-2.6.1-1-x86_64.pkg.tar /tmp/yices-2.6.1-1-x86_64.pkg.tar
RUN pacman -U --noconfirm /tmp/yices-2.6.1-1-x86_64.pkg.tar

# various dependencies required for graal and their tests
RUN pacman -Sy --noconfirm gcc gawk python2-pip && pacman -Scc --noconfirm
RUN pip2 install pylint==1.9.3

ENTRYPOINT /bin/bash