local bin_progs="gprbuild gprconfig gprclean gprinstall gprname gprls" &&
local lib_progs="gprlib gprbind" &&

install -m755 -o root -g root ${bin_progs} "$INSTALL_ROOT/usr/bin" &&

mkdir -p "$INSTALL_ROOT/usr/libexec/gprbuild"                      &&
install -m755 -o root -g root ${lib_progs} "$INSTALL_ROOT/usr/libexec/gprbuild" &&

mkdir -p "$INSTALL_ROOT/usr/share/gprconfig" &&
install -m644 -o root -g root share/gprconfig/* "$INSTALL_ROOT/usr/share/gprconfig" &&

mkdir -p "$INSTALL_ROOT/usr/share/gpr" &&
install -m644 -o root -g root share/_default.gpr "$INSTALL_ROOT/usr/share/gpr"

