$OpenBSD: patch-gnattools_Makefile_in,v 1.2 2014/05/25 21:45:39 pascal Exp $
--- gnattools/Makefile.in.orig	Thu Dec 12 23:53:43 2013
+++ gnattools/Makefile.in	Thu May 22 20:04:20 2014
@@ -52,7 +52,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
