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