elang/Dockerfile at master · Logiraptor/elang · GitHub

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
FROM ubuntu:xenial

# add add-apt-repository
RUN apt-get update && \
    apt-get install -y software-properties-common

RUN apt-get install -y opam

RUN opam init

RUN opam update

RUN apt-get install -y pkg-config
RUN apt-get install -y m4
RUN apt-get install -y make

RUN opam install -y core

RUN opam install -y menhir

RUN opam install -y OUnit

RUN apt-get install -y llvm-3.8-dev libllvm-3.8-ocaml-dev llvm-3.8

RUN apt-get install -y python g++

RUN opam install -y ctypes-foreign

RUN opam install -y llvm.3.8

RUN opam pin add llvm 3.8

RUN opam install -y qcheck

RUN opam install -y sexplib

RUN opam install -y ppx_sexp_conv

RUN opam install -y ppx_driver

RUN opam install -y merlin

RUN opam install -y ocp-indent

RUN opam install -y ANSITerminal

RUN opam install -y bisect_ppx

RUN opam install -y ocveralls

RUN apt-get install -y curl

RUN opam install -y core_extended

RUN opam install reason.3.0.0