diff options
author | Mohammad Akhlaghi <mohammad@akhlaghi.org> | 2019-01-21 01:14:31 +0000 |
---|---|---|
committer | Mohammad Akhlaghi <mohammad@akhlaghi.org> | 2019-01-21 01:14:31 +0000 |
commit | c5db8b0aaa3629d25b701a7ed80b87e2672f12c2 (patch) | |
tree | 2b326ebede6fb2c469c70511b918e4b535b521a4 /reproduce/config/pipeline/LOCAL.mk.in | |
parent | 54a5ce11a2b225e1bf92c4b25ab420726447344a (diff) |
Patchelf also built to manually set RPATH in Bash and AWK
With the current build system, Bash and AWK don't write RPATH into the
executables. This causes many problems in the pipeline (for example when
using the `$(shell)' function in Make which doesn't have
`LD_LIBRARY_PATH').
After consulting the Bash and Make mailing lists, so far, the best solution
was to use the Patchelf program to manually write RPATH in these
executables. With this commit, Patchelf is now installed in the pipeline
and used in Bash and AWK to fix this problem.
Diffstat (limited to 'reproduce/config/pipeline/LOCAL.mk.in')
0 files changed, 0 insertions, 0 deletions