Olivier Stasse authored Mar 15, 2018 and Joseph Mirabel committed Mar 15, 2018

Test if INSTALL_DIR is already set.

Change DEVEL_HPP_DIR and INSTALL_HPP_DIR everywhere.