Adds a flag "use_instrumented_libraries" and corresponding target with 2 simple libs

third_party/instrumented_libraries/fix_rpaths

+#!/bin/bash
+#
+# Changes all RPATHs from XORIGIN to $ORIGIN 

[Alexander Potapenko, 2013/10/29 13:36:11]

"all RPATHs in a given directory"

[alextaran1, 2013/10/30 11:16:29]

Done.

+
+# Fixes rpath from XORIGIN to $ORIGIN in a single file $1

[Alexander Potapenko, 2013/10/29 13:36:11]

Period at the end of the comment here and everywhere else.

[alextaran1, 2013/10/30 11:16:29]

Done.

+function fix_rpath {
+  chrpath -r $(chrpath $1 | cut -d " " -f 2 | sed s/XORIGIN/\$ORIGIN/g \
+    | sed s/RPATH=//g) $1
+}
+
+for i in $(find $1 | grep "\.so$"); do
+  fix_rpath $i > /dev/null

[Alexander Potapenko, 2013/10/29 13:36:11]

Why suppress the output? Does chrpath print too much?

[alextaran1, 2013/10/30 11:16:29]

It prints 2 lines for each file: old rpath and new rpath.
And it doesn't have command-line option for silence.

+done
+
+# Mark that rpaths are fixed
+touch $1/rpaths.fixed.txt