From 6e1c0bd4757bb3f4f7b9f4fd37366efc3fc3bbf5 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Bj=C3=B6rn=20Persson?= <Bjorn@Rombobjörn.se>
Date: Sat, 7 Feb 2015 22:27:29 +0100
Subject: [PATCH] Override GNATFLAGS in make install like in make.

---
 anet.spec | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/anet.spec b/anet.spec
index 2b0829b..e0dcc10 100644
--- a/anet.spec
+++ b/anet.spec
@@ -60,7 +60,8 @@ make doc
 
 
 %install
-%{make_install} prefix=%{_prefix} libdir=%{_libdir} gprdir=%{_GNAT_project_dir}
+# Pass Gnatmake_optflags here too to ensure that Gnatmake won't recompile anything.
+%{make_install} GNATFLAGS='%{Gnatmake_optflags}' prefix=%{_prefix} libdir=%{_libdir} gprdir=%{_GNAT_project_dir}
 
 
 %check