From 821514aa788a4db3fb39865cd549ce97377f2eaa Mon Sep 17 00:00:00 2001
From: Jacob Sparre Andersen <jacob@jacob-sparre.dk>
Date: Mon, 16 Jan 2017 13:19:08 +0100
Subject: [PATCH] Make GNAT work as a proper Ada compiler

Without the added flags `gnatmake` is not a proper Ada compiler (specifically are stack and integer overflows not checked).
---
 arun.gpr | 7 +++++--
 1 file changed, 5 insertions(+), 2 deletions(-)

diff --git a/arun.gpr b/arun.gpr
index 84a23bf..6cfb572 100644
--- a/arun.gpr
+++ b/arun.gpr
@@ -15,9 +15,12 @@ project Arun is
       for Executable ("main.adb") use "arun";
    end Builder;
 
-   --  Enable Ada 2005.
+   --  Enable Ada 2012.
    package Compiler is
-      for Switches ("Ada") use ("-gnat2012");
+      for Switches ("Ada") use ("-gnat2012",
+                                "-fstack-check",
+                                "-gnata",
+                                "-gnato");
    end Compiler;
 
 end Arun;