Override GNATFLAGS in make install like in make.
This commit is contained in:
parent
a2722059c6
commit
6e1c0bd475
1 changed files with 2 additions and 1 deletions
|
|
@ -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
|
||||
|
|
|
|||
Loading…
Add table
Add a link
Reference in a new issue