diff --git a/tools/docker/Dockerfile.centos7.5 b/tools/docker/Dockerfile.centos7.5 index 47dc8a35..145a7988 100644 --- a/tools/docker/Dockerfile.centos7.5 +++ b/tools/docker/Dockerfile.centos7.5 @@ -32,6 +32,7 @@ RUN yum install -y \ libmpc-devel \ libxml2-devel \ libtool \ + nano \ pkgconfig \ python \ kmod \ diff --git a/tools/docker/Dockerfile.centos8.1 b/tools/docker/Dockerfile.centos8.1 index adadfe13..e033ac19 100644 --- a/tools/docker/Dockerfile.centos8.1 +++ b/tools/docker/Dockerfile.centos8.1 @@ -29,6 +29,7 @@ RUN yum install epel-release -y && \ libxml2-devel \ mod_ssl \ mpfr-devel \ + nano \ ocaml \ ocaml-ocamlbuild \ openssl \ diff --git a/tools/docker/Dockerfile.centos8.2 b/tools/docker/Dockerfile.centos8.2 index 69f160a7..680f3d09 100644 --- a/tools/docker/Dockerfile.centos8.2 +++ b/tools/docker/Dockerfile.centos8.2 @@ -29,6 +29,7 @@ RUN yum install epel-release -y && \ libxml2-devel \ mod_ssl \ mpfr-devel \ + nano \ ocaml \ ocaml-ocamlbuild \ openssl \ diff --git a/tools/docker/Dockerfile.ubuntu18.04 b/tools/docker/Dockerfile.ubuntu18.04 index 1dfe1b48..1c3bafee 100644 --- a/tools/docker/Dockerfile.ubuntu18.04 +++ b/tools/docker/Dockerfile.ubuntu18.04 @@ -40,6 +40,7 @@ RUN apt-get update && DEBIAN_FRONTEND="noninteractive" apt-get install -y --no-i libssl-dev \ libtool \ libxml2-dev \ + nano \ ocaml \ ocamlbuild \ pkg-config \