AdaCore / gprbuild

GPRbuild is an advanced build system designed to help automate the construction of multi-language systems.
Other
65 stars 21 forks source link

gprconfig kb not installed outside of bootstrap script #136

Open landgraf opened 1 year ago

landgraf commented 1 year ago

Since de15c785678e51ee586f643091f1fff303e3812d /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 commented 1 year ago

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 commented 1 year ago

Yes, support of

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

in the Makefile