-
Notifications
You must be signed in to change notification settings - Fork 0
/
Dockerfile.alpine.draft
111 lines (73 loc) · 2.18 KB
/
Dockerfile.alpine.draft
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
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
FROM node:14-alpine3.11 as prereq
RUN apk upgrade --no-cache && \
apk add --no-cache curl musl-dev libc-dev gcc make vim gmp-dev linux-headers # binutils-gold gnupg libstdc++
RUN echo "@testing http://nl.alpinelinux.org/alpine/edge/testing" >> /etc/apk/repositories
RUN apk add --no-cache chez-scheme@testing
# ----------------------------------------------------
FROM prereq as idris-022
WORKDIR /build/
RUN curl -L -o 022.tar.gz https://github.com/idris-lang/Idris2/archive/refs/tags/v0.2.2.tar.gz && \
tar -xzf 022.tar.gz && \
cd Idris2-0.2.2 && \
SCHEME=chez make bootstrap && \
make install
WORKDIR /build/Idris2-0.2.2/
RUN ln -s /root/.idris2/bin/idris2 /usr/local/bin/idris2
RUN make clean && \
make && \
make install
RUN cd ../.. && \
rm -rf ./build
WORKDIR /root/
CMD idris2 -p contrib -p network
# ----------------------------------------------------
FROM idris-022 as idris-030
WORKDIR /build/
RUN curl -L -o 030.tar.gz https://github.com/idris-lang/Idris2/archive/refs/tags/v0.3.0.tar.gz && \
tar -xzf 030.tar.gz && \
cd Idris2-0.3.0 && \
make && \
rm -rf ~/.idris2 && \
make install
WORKDIR /build/Idris2-0.3.0/
RUN make clean && \
make && \
make install
RUN cd ../.. && \
rm -rf ./build
WORKDIR /root/
CMD idris2 -p contrib -p network
# ----------------------------------------------------
FROM idris-030 as idris-040
WORKDIR /build/
RUN curl -L -o 040.tar.gz https://github.com/idris-lang/Idris2/archive/refs/tags/v0.4.0.tar.gz && \
tar -xzf 040.tar.gz && \
cd Idris2-0.4.0 && \
make && \
rm -rf ~/.idris2 && \
make install
WORKDIR /build/Idris2-0.4.0/
RUN make clean && \
make && \
make install
RUN cd ../.. && \
rm -rf ./build
WORKDIR /root/
CMD idris2 -p contrib -p network -p test
# ----------------------------------------------------
FROM idris-040 as idris-nightly
WORKDIR /build/
RUN curl -L -o nightly.tar.gz https://github.com/idris-lang/Idris2/archive/refs/heads/main.tar.gz && \
tar -xzf nightly.tar.gz && \
cd Idris2-main && \
make && \
rm -rf ~/.idris2 && \
make install
WORKDIR /build/Idris2-main/
RUN make clean && \
make && \
make install
RUN cd ../.. && \
rm -rf ./build
WORKDIR /root/
CMD idris2 -p contrib -p network -p test