From c5db8b0aaa3629d25b701a7ed80b87e2672f12c2 Mon Sep 17 00:00:00 2001 From: Mohammad Akhlaghi Date: Mon, 21 Jan 2019 01:14:31 +0000 Subject: 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. --- reproduce/config/pipeline/dependency-versions.mk | 1 + 1 file changed, 1 insertion(+) (limited to 'reproduce/config/pipeline') 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 -- cgit v1.2.1