Merge branch 'devel' into future

.dockers/ubuntu-18.04/Dockerfile

@@ -53,6 +53,7 @@ RUN apt-get update -y && apt-get install -y \
       openscenegraph \
       libpcre3-dev \
       wget \
+      libcdd-dev \
       sudo \
  && apt-get remove -y texlive-latex-base texlive-binaries ghostscript \
  && apt-get autoremove -y \

doc/instructions.md

@@ -77,7 +77,8 @@ To install all the packages on ubuntu 18.04 LTS 64 bit, you should do the follow
       libopenscenegraph-dev \
       openscenegraph \
       libpcre3-dev \
-      wget
+      wget \
+      libcdd-dev
     ```
 
   4. Choose a directory on your file system and define the environment

scripts/auto-install-hpp.sh

@@ -29,7 +29,7 @@ case $HOST_DIST in
        omniidl omniidl-python libltdl-dev python-matplotlib libxml2 \
        libtinyxml2-dev qt4-dev-tools libqt4-opengl-dev libqtgui4 \
        libqtwebkit-dev oxygen-icon-theme libopenscenegraph-dev \
-       openscenegraph libpcre3-dev wget"
+       openscenegraph libpcre3-dev libcdd-dev wget"
     APT_BUILD_DEP=""
     CONFIG_FILE="ubuntu-18.04-melodic.sh"
     ;;