ARG version=15.5
FROM opensuse/leap:$version
ARG project=minsky
ARG version
ADD . /root
RUN zypper addrepo https://download.opensuse.org/repositories/home:hpcoder1/${version}/home:hpcoder1.repo
RUN zypper --gpg-auto-import-keys refresh
RUN zypper --non-interactive install python3 $project
RUN useradd -m minsky
RUN su - minsky -c "minsky --version --no-sandbox"
RUN python3 -c "import pyminsky"
