aboutsummaryrefslogtreecommitdiff
path: root/reproduce/config
diff options
context:
space:
mode:
authorMohammad Akhlaghi <mohammad@akhlaghi.org>2019-01-21 01:14:31 +0000
committerMohammad Akhlaghi <mohammad@akhlaghi.org>2019-01-21 01:14:31 +0000
commitc5db8b0aaa3629d25b701a7ed80b87e2672f12c2 (patch)
tree2b326ebede6fb2c469c70511b918e4b535b521a4 /reproduce/config
parent54a5ce11a2b225e1bf92c4b25ab420726447344a (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')
-rw-r--r--reproduce/config/pipeline/dependency-versions.mk1
1 files changed, 1 insertions, 0 deletions
diff --git a/reproduce/config/pipeline/dependency-versions.mk b/reproduce/config/pipeline/dependency-versions.mk
index 7cd6fc9..9f9306f 100644
--- a/reproduce/config/pipeline/dependency-versions.mk
+++ b/reproduce/config/pipeline/dependency-versions.mk
@@ -25,6 +25,7 @@ mpfr-version = 4.0.1
mpc-version = 1.1.0
ncurses-version = 6.1
openssl-version = 1.1.1a
+patchelf-version = 0.9
pkgconfig-version = 0.29.2
readline-version = 8.0
sed-version = 4.7