-
Notifications
You must be signed in to change notification settings - Fork 0
/
Copy pathDockerfile
51 lines (40 loc) · 1.65 KB
/
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
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
FROM ghcr.io/void-linux/void-linux:latest-thin-x86_64
RUN set -x \
# The following line solves https://github.com/cinerion/sbcl-voidlinux-docker/issues/1
&& echo noextract=/etc/hosts > /etc/xbps.d/test.conf \
&& xbps-install -Sy \
&& xbps-install -yu xbps \
&& xbps-install -Syu \
&& xbps-install -y bash sbcl curl wget gnupg libzstd-devel file-devel libmagic gcc libinotify-tools gzip make git tar \
&& sbcl --version
# /usr/bin/sh links to /usr/bin/dash in Void Linux
# but dash crashes when the docker image is loaded
# into Gitlab's CI pipeline. So we're linking to
# /usr/bin/bash instead.
RUN set -x \
&& rm /usr/bin/sh \
&& ln -sf /usr/bin/bash /usr/bin/sh
# Add the Quicklisp installer.
WORKDIR /usr/local/share/common-lisp/source/quicklisp/
ENV QUICKLISP_SIGNING_KEY D7A3489DDEFE32B7D0E7CC61307965AB028B5FF7
RUN set -x \
&& curl -fsSL "https://beta.quicklisp.org/quicklisp.lisp" > quicklisp.lisp \
&& curl -fsSL "https://beta.quicklisp.org/quicklisp.lisp.asc" > quicklisp.lisp.asc \
&& GNUPGHOME="$(mktemp -d)" \
&& export GNUPGHOME \
&& gpg --batch --keyserver keyserver.ubuntu.com --recv-keys "${QUICKLISP_SIGNING_KEY}" \
&& gpg --batch --verify "quicklisp.lisp.asc" "quicklisp.lisp" \
&& rm quicklisp.lisp.asc \
&& rm -rf "$GNUPGHOME"
# Clean a little bit
RUN set -x \
&& xbps-remove -y gnupg \
&& xbps-remove -yo \
&& rm -r /var/cache/xbps
# Add the script to trivially install Quicklisp
COPY install-quicklisp /usr/local/bin/install-quicklisp
# Add the entrypoint
WORKDIR /
COPY docker-entrypoint.sh /usr/local/bin/docker-entrypoint.sh
ENTRYPOINT ["docker-entrypoint.sh"]
CMD ["sbcl"]