>> on a server, where I don't have root access Ouch.
> using RPATH at link time Debian has a package called chrpath, supplying an executable of the same name which lets you change the RPATH later. That might be easier than doing battle with the underlying bash package's build rules. The man page points out an unfortunate constraint: "The new path must be shorter or the same length as the current path." So it's probably no use, but I'll mention it just in case.
_______________________________________________ Bug-make mailing list Bug-make@gnu.org https://lists.gnu.org/mailman/listinfo/bug-make