$OpenBSD: patch-gnattools_Makefile_in,v 1.1.1.1 2012/04/23 15:56:42 pascal Exp $
--- gnattools/Makefile.in.orig	Sun Apr 15 14:00:07 2012
+++ gnattools/Makefile.in	Sun Apr 15 14:00:20 2012
@@ -50,7 +50,7 @@ WARN_CFLAGS = @warn_cflags@
 ADA_CFLAGS=@ADA_CFLAGS@
 
 # Variables for gnattools.
-ADAFLAGS= -gnatpg -gnata
+ADAFLAGS= -gnatpg -gnata -ftrampolines -Wtrampolines
 
 # For finding the GCC build dir, which is used far too much
 GCC_DIR=../gcc
