gprconfig kb not installed outside of bootstrap script

[landgraf]

Since de15c78 /usr/share/gprconfig is populated from within bootstrap.sh script only.
This is a problem for packaging/distributions because bootstrap.sh is not used for update between releases but only for bootstrapping on new architecture.

[t-14]

Just to be sure... you would like to see Makefile support a variable that would do the equivalent of --with-kb in bootstrap.sh - correct?

[landgraf]

Yes, support of

%__install -m 0755 -d %{buildroot}%{_datadir}/gprconfig
%__install -m 0644 ../gprconfig_kb-%{gprconfig_db_ver}/db/.xml %{buildroot}%{_datadir}/gprconfig
%__install -m 0644 ../gprconfig_kb-%{gprconfig_db_ver}/db/.ent %{buildroot}%{_datadir}/gprconfig
%__install -m 0644 ../gprconfig_kb-%{gprconfig_db_ver}/db/gprconfig.xsd %{buildroot}%{_datadir}/gprconfig

in the Makefile