Stephen Leake writes: > gprbuild installs two "extra" executables; gprbind and gprlib. > > It used to install them in /usr/lib; I think now it should be > /usr/lib/$(DEB_HOST_MULTIARCH)?
The multiarch specification says nothing about executables; for now it deals only with libraries. So you can keep these files in /usr/lib, just like your keep the gprbuild executable in /usr/bin. -- Ludovic Brenta. -- To UNSUBSCRIBE, email to [email protected] with a subject of "unsubscribe". Trouble? Contact [email protected] Archive: http://lists.debian.org/[email protected]
