Adding a __FreeBSD_kernel__ in common/tty/terminals.c fix the bug but the build encounter another problem :
cd kernel/src_info/sn/snsrc/db-2.7.7/build_unix && ../dist/configure --enable-compat185 creating cache ./config.cache checking if building in the top-level directory... checking for a BSD compatible install... /usr/bin/install -c checking host system type... configure: error: can not guess host type; you must specify one make: *** [kernel/src_info/sn/snsrc/db-2.7.7/build_unix/libdb.a] Erreur 1 The revision 59a6f5f243a55c555f108084dccf63eeafc36a93 of org.debian.gnat-gps contains the patch for bug 567668.
--- a/common/tty/terminals.c +++ b/common/tty/terminals.c @@ -31,7 +31,7 @@ #ifndef WIN32 /* First defined some macro to identify easily some systems */ -#if defined (__FreeBSD__) || defined (__NetBSD__) +#if defined (__FreeBSD__) || defined (__NetBSD__) || defined (__FreeBSD_kernel__) # define FREEBSD #endif #if defined (__alpha__) && defined (__osf__)