FROM fedora:31
ARG project=minsky
ADD . /root
RUN dnf install -y 'dnf-command(config-manager)'
RUN dnf config-manager --add-repo https://download.opensuse.org/repositories/home:hpcoder1/Fedora_31/home:hpcoder1.repo
RUN dnf install -y $project
RUN minsky /root/smoke.tcl
