Project

General

Profile

Statistics
| Branch: | Tag: | Revision:

lustrec / Dockerfile.ubuntu @ 9b0432bc

History | View | Annotate | Download (979 Bytes)

1
FROM ubuntu:20.04
2

    
3

    
4
RUN apt-get update && apt-get install -y --no-install-recommends \
5
    opam \
6
    ca-certificates \
7
    m4 \
8
    rsync \
9
    git \
10
    && rm -rf /var/lib/apt/lists/*
11

    
12

    
13
RUN opam init --auto-setup -y --disable-sandboxing 
14
ENV PATH "$PATH:/root/.opam/default/bin"
15

    
16
COPY . /lustrec
17

    
18
WORKDIR /lustrec
19

    
20
RUN eval $(opam config env) && \ 
21
    apt-get update && \
22
    opam pin -n mlmpfr 4.0.2+dune && \
23
    opam pin -y -n . && \
24
    opam install -y depext && \
25
    opam depext --yes lustrec && \
26
    opam install -y lustrec && \
27
    #
28
    # To enable Zustre plugin, uncomment the lines below : 
29
    # opam depext --yes lustrec-enable-zustre && \
30
    # opam install -y lustrec-enable-zustre && \ 
31
    # ----
32
    # To enable Tiny plugin, uncomment the lines below :
33
    # opam pin -y -n https://cavale.enseeiht.fr/git/ikocos.tiny#master && \
34
    # opam depext --yes tiny && \
35
    # opam install -y tiny && \
36
    # ----
37
    opam clean && \
38
    rm -rf /var/lib/apt/lists/*