diff options
Diffstat (limited to 'docker')
| -rw-r--r-- | docker/ubuntu20-ci/Dockerfile | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/docker/ubuntu20-ci/Dockerfile b/docker/ubuntu20-ci/Dockerfile index 8b7557db1d..47d5b81d3a 100644 --- a/docker/ubuntu20-ci/Dockerfile +++ b/docker/ubuntu20-ci/Dockerfile @@ -12,6 +12,7 @@ RUN apt update && \ libcap-dev python2 libelf-dev \ sudo gdb curl iputils-ping time \ libgrpc++-dev libgrpc-dev protobuf-compiler-grpc \ + lua5.3 liblua5.3-dev \ mininet iproute2 iperf && \ curl https://bootstrap.pypa.io/pip/2.7/get-pip.py --output /tmp/get-pip.py && \ python2 /tmp/get-pip.py && \ @@ -66,6 +67,7 @@ RUN cd ~/frr && \ --enable-group=frr \ --enable-vty-group=frrvty \ --enable-snmp=agentx \ + --enable-scripting \ --with-pkg-extra-version=-my-manual-build && \ make -j $(nproc) && \ sudo make install |