-
Notifications
You must be signed in to change notification settings - Fork 2
/
Dockerfile
73 lines (69 loc) · 2.58 KB
/
Dockerfile
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
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
ARG PARENT_VERSION=latest
FROM p4lang/pi:${PARENT_VERSION}
LABEL maintainer="Antonin Bas <[email protected]>"
# Default to using 2 make jobs, which is a good default for CI. If you're
# building locally or you know there are more cores available, you may want to
# override this.
ARG MAKEFLAGS=-j2
# Select the type of image we're building. Use `build` for a normal build, which
# is optimized for image size. Use `test` if this image will be used for
# testing; in this case, the source code and build-only dependencies will not be
# removed from the image.
ARG IMAGE_TYPE=build
ARG CC=gcc
ARG CXX=g++
ARG GCOV=
ARG sswitch_grpc=yes
ENV BM_DEPS automake \
build-essential \
clang-3.8 \
clang-6.0 \
curl \
g++-7 \
git \
lcov \
libjudy-dev \
libgmp-dev \
libpcap-dev \
libboost-dev \
libboost-program-options-dev \
libboost-system-dev \
libboost-filesystem-dev \
libboost-thread-dev \
libtool \
pkg-config
ENV BM_RUNTIME_DEPS libboost-program-options1.58.0 \
libboost-system1.58.0 \
libboost-filesystem1.58.0 \
libboost-thread1.58.0 \
libgmp10 libjudydebian1 \
libpcap0.8 \
python
COPY . /behavioral-model/
WORKDIR /behavioral-model/
RUN apt-get update && \
apt-get install -y --no-install-recommends software-properties-common && \
add-apt-repository -y ppa:ubuntu-toolchain-r/test && \
apt-get update && \
apt-get install -y --no-install-recommends $BM_DEPS $BM_RUNTIME_DEPS && \
./autogen.sh && \
if [ "$GCOV" != "" ]; then ./configure --with-pdfixed --with-pi --with-stress-tests --enable-debugger --enable-coverage --enable-Werror; fi && \
if [ "$GCOV" = "" ]; then ./configure --with-pdfixed --with-pi --with-stress-tests --enable-debugger --enable-Werror; fi && \
make && \
make install-strip && \
(test "$sswitch_grpc" = "yes" && \
cd targets/simple_switch_grpc/ && \
./autogen.sh && \
./configure --enable-Werror && \
make && \
make install-strip && \
cd -) || \
(test "$sswitch_grpc" = "no") && \
ldconfig && \
(test "$IMAGE_TYPE" = "build" && \
apt-get purge -y $BM_DEPS && \
apt-get autoremove --purge -y && \
rm -rf /behavioral-model /var/cache/apt/* /var/lib/apt/lists/* && \
echo 'Build image ready') || \
(test "$IMAGE_TYPE" = "test" && \
echo 'Test image ready')