Project

General

Profile

Download (1.08 KB) Statistics
| Branch: | Tag: | Revision:
1
FROM alpine:3.12 
2

    
3
RUN apk add --no-cache \ 
4
    make \
5
    rsync \
6
    git \ 
7
    m4 \ 
8
    patch \
9
    pkgconfig \ 
10
    libc-dev \
11
    gcc \ 
12
    ocaml ocaml-compiler-libs ocaml-ocamldoc opam ocaml-findlib \ 
13
    mpfr-dev=4.0.2-r4
14

    
15
# Configuration de OPAM
16
RUN opam init --auto-setup -y --disable-sandboxing && opam clean
17

    
18
ENV PATH "$PATH:/root/.opam/default/bin"
19

    
20
COPY . /lustrec
21

    
22
WORKDIR /lustrec
23

    
24
RUN eval $(opam env) && \ 
25
    opam update && \
26
    opam pin -n mlmpfr 4.0.2+dune && \
27
    opam pin -y -n . && \
28
    opam install -y depext && \
29
    opam depext --yes lustrec && \
30
    opam install -y lustrec && \
31
    #
32
    # To enable Zustre plugin, uncomment the lines below : 
33
    # opam depext --yes lustrec-enable-zustre && \
34
    # # z3 install requires a C++ compiler (g++ or clang)
35
    # apk add --no-cache g++ && \ 
36
    # opam install -y lustrec-enable-zustre && \ 
37
    # ----
38
    # To enable Tiny plugin, uncomment the lines below :
39
    # opam pin -y -n https://cavale.enseeiht.fr/git/ikocos.tiny#master && \
40
    # opam depext --yes tiny && \
41
    # opam install -y tiny && \
42
    # ---- 
43
    opam clean
(5-5/17)