Project

General

Profile

Download (1.13 KB) Statistics
| Branch: | Tag: | Revision:
1 589ccf9f Corentin Lauverjat
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