summaryrefslogtreecommitdiff
path: root/tiger-compiler/docker/Dockerfile
blob: cf5cfc6f7be8c3558afe0dbe0adc9ea8a1f4404e (plain)
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 alpine:3.21.3 AS build-havm
LABEL org.opencontainer.image.authors="Clément Metz <clement.metz@epita.fr>"

RUN apk add --no-cache \
    build-base \
    make \
    automake \
    autoconf \
    texinfo \
    ghc

RUN wget https://gitlab.lre.epita.fr/tiger/havm/-/archive/master/havm-master.tar.gz \
    && tar xvf havm-master.tar.gz \
    && cd havm-master \
    && ./bootstrap \
    && ./configure \
    && make -j install


FROM alpine:3.21.3 AS build-nolimips
LABEL org.opencontainer.image.authors="Clément Metz <clement.metz@epita.fr>"

RUN apk add --no-cache \
    build-base \
    make \
    automake \
    autoconf \
    autoconf-archive \
    texinfo \
    libtool \
    python3 \
    clang-extra-tools \
    flex \
    bison

RUN wget https://gitlab.lre.epita.fr/tiger/nolimips/-/archive/master/nolimips-master.tar.gz \
    && tar xvf nolimips-master.tar.gz \
    && cd nolimips-master \
    && ./bootstrap \
    && ./configure \
    && make -j install


FROM alpine:3.21.3 AS build-re-flex
LABEL org.opencontainer.image.authors="Clément Metz <clement.metz@epita.fr>"

RUN apk add --no-cache \
    build-base \
    make \
    automake \
    autoconf \
    && wget https://github.com/Genivia/RE-flex/archive/refs/tags/v3.2.12.zip \
    && unzip v3.2.12.zip \
    && cd RE-flex-3.2.12 \
    && autoreconf --install --force \
    && ./configure \
    && make -j install


FROM alpine:3.21.3 AS buildenv-slim
LABEL org.opencontainer.image.name="buildenv-slim" \
      org.opencontainer.image.authors="Clément Metz <clement.metz@epita.fr>" \
      org.opencontainer.image.version="1.1.0" \
      org.opencontainer.image.comment="il n'y avait pas à nous filer une image de 9Go aussi :c"

COPY --from=build-havm \
    /havm-master/src/havm \
    /usr/local/bin/

COPY --from=build-nolimips \
     --chmod=644 \
     /usr/local/lib/libnolimips.a \
     /usr/local/lib/
COPY --from=build-nolimips \
     /usr/local/lib/libnolimips.la /usr/local/lib/libnolimips.so.0.0.0 \
     /usr/local/lib/
COPY --from=build-nolimips \
     /nolimips-master/src/.libs/nolimips \
     /usr/local/bin/

COPY --from=build-re-flex \
     --chmod=644 \
     /usr/local/lib/libreflex.a \
     /usr/local/lib/libreflexmin.a \
     /usr/local/lib/
COPY --from=build-re-flex \
     /usr/local/include/reflex \
     /usr/local/include/reflex
COPY --from=build-re-flex \
     /usr/local/bin/reflex \
     /usr/local/bin/

RUN apk add --no-cache \
    build-base \
    make \
    autoconf \
    automake \
    libtool \
    flex \
    bison \
    boost-dev \
    llvm19-dev \
    clang19 \
    ghc

RUN ln -s /usr/local/lib/libnolimips.so.0.0.0 /usr/local/lib/libnolimips.so.0 \
    && ln -s /usr/local/lib/libnolimips.so.0 /usr/local/lib/libnolimips.so \
    && ranlib /usr/local/lib/libnolimips.a \
    && ranlib /usr/local/lib/libreflex.a \
    && PATH="/usr/local/sbin:/usr/local/bin:/usr/sbin:/usr/bin:/sbin:/bin:/sbin" ldconfig -n /usr/local/lib