#! /bin/sh
-# From configure.in Revision: 1.741 .
+# From configure.in Revision: 1.742 .
# Guess values for system-dependent variables and create Makefiles.
# Generated by Autoconf 2.52.20210509.
#
if test "x$enable_warnings" = "xyes"; then
- ADAFLAGS="$ADAFLAGS -gnatg"
+ ADAFLAGS="$ADAFLAGS -gnatwa -gnatyg"
if test "x$cf_with_cxx" = xyes ; then