Project

General

Profile

Download (1.13 KB) Statistics
| Branch: | Tag: | Revision:
1
FROM alpine:3.12 
2
# AS builder
3

    
4
RUN apk add --no-cache make m4 patch git pkgconfig libc-dev gcc \ 
5
    ocaml ocaml-compiler-libs ocaml-ocamldoc opam ocaml-findlib mpfr-dev \ 
6
    gmp-dev autoconf
7

    
8
# Configuration de OPAM
9
RUN opam init --auto-setup -y --disable-sandboxing && \
10
    eval $(opam config env)
11

    
12
# Installation de Z3 avec les bindings OCaml
13
RUN apk add perl python2 g++ &&  \
14
    opam install -y z3 && \
15
    opam clean
16

    
17
# Installation des autres dépendences projet
18
RUN opam install -y ocamlbuild depext ocamlgraph mlmpfr num cmdliner \
19
    fmt logs yojson menhir && \
20
    opam clean
21

    
22
# Copie des sources
23
COPY . /var/lustrec
24

    
25
WORKDIR /var/lustrec 
26

    
27
# Build
28
RUN eval $(opam env) && \
29
    autoconf && \
30
    ./configure && \
31
    make lustrec lustret && \
32
    mkdir -p /usr/local/include/lustrec && \
33
    ln include/*.h /usr/local/include/lustrec
34

    
35

    
36
#FROM alpine:3.12 
37
#
38
## GMP linking is dynamic
39
#RUN apk add --no-cache gmp-dev
40
#
41
## Copy header files needed for running LustreC
42
#COPY --from=builder /var/lustrec/include/*.h /usr/local/include/lustrec/
43
## Copy Lustrec binaries
44
#COPY --from=builder /var/lustrec/bin /lustrec/
45
#
46
#
47
#WORKDIR /lustrec
(6-6/21)