-
Notifications
You must be signed in to change notification settings - Fork 1
/
Dockerfile
28 lines (21 loc) · 826 Bytes
/
Dockerfile
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
FROM ghcr.io/atp-lptp/automated-theorem-proving-for-prolog-verification:base
LABEL maintainer="Thierry Marianne <thierry.marianne@univ-reunion.fr>"
LABEL org.opencontainers.image.source="https://github.com/atp-lptp/automated-theorem-proving-for-prolog-verification"
COPY --chown=1000:1000 \
./ \
/usr/local/atp-prolog-verification
USER root
RUN apt update \
--assume-yes && \
apt-get install \
build-essential \
curl \
jq \
gcc \
git \
make \
--assume-yes \
--no-install-recommends && \
/bin/bash -c 'cd /usr/local/atp-prolog-verification && make help'
USER 1000:1000
WORKDIR /usr/local/atp-prolog-verification