This is the mail archive of the
gcc-help@gcc.gnu.org
mailing list for the GCC project.
Enable Pragma assert for all adb-files
- From: Jan Sommer <soja-lists at aries dot uberspace dot de>
- To: gcc-help at gcc dot gnu dot org
- Date: Tue, 23 Jun 2015 17:05:11 +0200
- Subject: Enable Pragma assert for all adb-files
- Authentication-results: sourceware.org; auth=none
Hello,
I want to compile a gcc cross compiler with Ada support for arm and with
assert checking enabled. Compilation and installation works fine, but it seems
that not all source files for gnat are compiled with the -gnata option (which
enables the assert pragma as I understand).
More specifically the compilation of the file s-taprob.adb in which I am
interested in is compiled without -gnata. I use --enable-checking=yes in my
configuration (for the full configure options see below).
Do I need to add another option to enable these runtime checks for said file?
Best regards,
Jan
../gcc-4.9.2/configure --enable-threads -with-gnu-as \
--with-gnu-ld --with-newlib --verbose \
--with-system-zlib --disable-nls \
--enable-version-specific-runtime-libs \
--enable-languages=c,c++,ada \
--target=arm-rtems4.11 \
--prefix=$INSTALL_DIR \
--enable-checking=yes \
--with-gmp=$INSTALL_DIR --with-mpfr=$INSTALL_DIR --with-mpc=$INSTALL_DIR