aboutsummaryrefslogtreecommitdiffhomepage
diff options
context:
space:
mode:
-rwxr-xr-xtools/mirror-dev.sh34
1 files changed, 34 insertions, 0 deletions
diff --git a/tools/mirror-dev.sh b/tools/mirror-dev.sh
new file mode 100755
index 0000000000..0512a78ea3
--- /dev/null
+++ b/tools/mirror-dev.sh
@@ -0,0 +1,34 @@
+ # For each installed *-dev package DEV
+ for DEV in $(dpkg --list | grep '^ii [^ ]' | cut -d ' ' -f 3 | grep '\-dev$')
+ do
+ # For each multi-arch *.so SO installed by DEV
+ for DEV_64_SO in $(dpkg -L $DEV | grep '/lib/x86_64-linux-gnu/.*\.so$')
+ do
+ # Skip if DEV_64_SO is not a symlink
+ if ! test -L $DEV_64_SO
+ then
+ echo "$DEV installed $DEV_64_SO which is real."
+ continue
+ fi
+
+ DEV_64_TARGET=$(readlink $DEV_64_SO)
+ DEV_64_TARGET_FULL=$(readlink -f $DEV_64_SO)
+
+ DEV_32_SO=$(echo $DEV_64_SO | sed -e 's@/lib/x86_64-linux-gnu/@/lib/i386-linux-gnu/@')
+ DEV_32_TARGET=$(echo $DEV_64_TARGET | sed -e 's@/lib/x86_64-linux-gnu/@/lib/i386-linux-gnu/@')
+ DEV_32_TARGET_FULL=$(echo $DEV_64_TARGET_FULL | sed -e 's@/lib/x86_64-linux-gnu/@/lib/i386-linux-gnu/@')
+
+ # Error if DEV_32_TARGET does not exist.
+ if ! test -e $DEV_32_TARGET_FULL
+ then
+ DEV_64_TARGET_PKG=$(dpkg -S $DEV_64_TARGET_FULL | cut -d ':' -f 1)
+ echo "Could not find $DEV_32_TARGET_FULL, probably provided by $DEV_64_TARGET_PKG:i386."
+ #echo " $DEV_64_SO -> $DEV_64_TARGET ($DEV_64_TARGET_FULL)"
+ #echo " $DEV_32_SO -> $DEV_32_TARGET ($DEV_32_TARGET_FULL)"
+ continue
+ fi
+
+ # Create DEV_32_SO
+ sudo ln -s $DEV_32_TARGET $DEV_32_SO
+ done
+ done