b44cf5b8a4
GPRBuild needs to be built with GNAT sources, so it now depends on the new library lang/gnat_util. It installs two new programs: gprinstall and gprslave. This is the latest version published by Adacore. |
||
|---|---|---|
| .. | ||
| patch-gprbuild.gpr | ||
| patch-Makefile.in | ||
| patch-share_gprconfig_compilers.xml | ||
| patch-share_gprconfig_gnat.xml | ||
| patch-share_gprconfig_linker.xml | ||
| patch-share_gprconfig_targetset.xml | ||
| patch-src_gpr__version.adb | ||
| patch-src_gprlib.adb | ||