Add fakeroot to Ubuntu Docker images

diff --git a/ci/ubuntu-18.04/Dockerfile b/ci/ubuntu-18.04/Dockerfile
index 13abd26d8b453f2465e2efb565769844b6e7ce73..d7316b84eb0abb8f66c3a4daa7b4051f18e57b8a 100644 (file)
--- a/ci/ubuntu-18.04/Dockerfile
+++ b/ci/ubuntu-18.04/Dockerfile
@@ -17,6 +17,7 @@ RUN apt-get update && apt-get install --no-install-recommends -y flex
 RUN apt-get update && apt-get install --no-install-recommends -y quilt
 RUN apt-get update && apt-get install --no-install-recommends -y d-shlibs
 RUN apt-get update && apt-get install --no-install-recommends -y debhelper
+RUN apt-get update && apt-get install --no-install-recommends -y fakeroot
 
 # Option glut
 RUN apt-get update && apt-get install --no-install-recommends -y freeglut3-dev

diff --git a/ci/ubuntu-19.04/Dockerfile b/ci/ubuntu-19.04/Dockerfile
index 3f038348d91397adb94e2eba9435a17898dffe51..bdae865288c5fc833129307649bff5de953f191f 100644 (file)
--- a/ci/ubuntu-19.04/Dockerfile
+++ b/ci/ubuntu-19.04/Dockerfile
@@ -17,6 +17,7 @@ RUN apt-get update && apt-get install --no-install-recommends -y flex
 RUN apt-get update && apt-get install --no-install-recommends -y quilt
 RUN apt-get update && apt-get install --no-install-recommends -y d-shlibs
 RUN apt-get update && apt-get install --no-install-recommends -y debhelper
+RUN apt-get update && apt-get install --no-install-recommends -y fakeroot
 
 # Option glut
 RUN apt-get update && apt-get install --no-install-recommends -y freeglut3-dev

diff --git a/ci/ubuntu-19.10/Dockerfile b/ci/ubuntu-19.10/Dockerfile
index e292c8eeb811c945ec5916e740374e0531f59240..e5c396184dc32841dc2ad1bd13b898f27800c317 100644 (file)
--- a/ci/ubuntu-19.10/Dockerfile
+++ b/ci/ubuntu-19.10/Dockerfile
@@ -17,6 +17,7 @@ RUN apt-get update && apt-get install --no-install-recommends -y flex
 RUN apt-get update && apt-get install --no-install-recommends -y quilt
 RUN apt-get update && apt-get install --no-install-recommends -y d-shlibs
 RUN apt-get update && apt-get install --no-install-recommends -y debhelper
+RUN apt-get update && apt-get install --no-install-recommends -y fakeroot
 
 # Option glut
 RUN apt-get update && apt-get install --no-install-recommends -y freeglut3-dev

diff --git a/ci/ubuntu-20.04/Dockerfile b/ci/ubuntu-20.04/Dockerfile
index d768613007dec7f48894ce808f7dd682c0e5f7be..a31a52e2205df8ef0db9ee5adfe3d53d078fc8d6 100644 (file)
--- a/ci/ubuntu-20.04/Dockerfile
+++ b/ci/ubuntu-20.04/Dockerfile
@@ -18,6 +18,7 @@ RUN apt-get update && apt-get install --no-install-recommends -y ksh
 RUN apt-get update && apt-get install --no-install-recommends -y quilt
 RUN apt-get update && apt-get install --no-install-recommends -y d-shlibs
 RUN apt-get update && apt-get install --no-install-recommends -y debhelper
+RUN apt-get update && apt-get install --no-install-recommends -y fakeroot
 
 # Option glut
 RUN apt-get update && apt-get install --no-install-recommends -y freeglut3-dev