Hi Sebastian, On Wed, Dec 06, 2017 at 07:08:52AM +0100, Sebastian Huber via cfarm-users wrote: > would someone mind installing gcc-gnat on gcc112 (CentOS 7). There is no gnat package for CentOS 7 unfortunately. You can use the compiler in /opt/cfarm/gcc7rc2 , it has gnat. Segher