3 PATH=/system/bin:/system/xbin
6 dest_dir=/system/lib$1/arm$1
7 binfmt_misc_dir=/proc/sys/fs/binfmt_misc
11 url=http://goo.gl/v6c4Co
14 url=http://goo.gl/CtKjxx
17 if [ -s /system/lib$1/libhoudini.so ]; then
18 log -pi -thoudini "found /system/lib$1/libhoudini.so"
19 elif [ -e /system/etc/houdini$v.sfs ]; then
20 mount /system/etc/houdini$v.sfs $dest_dir
22 if mountpoint -q $dest_dir; then
23 kill -9 `fuser -m $dest_dir`
28 while ! mount houdini$v.sfs $dest_dir; do
29 while [ "$(getprop net.dns1)" = "" ]; do
32 wget $url -cO houdini$v.sfs && continue
38 [ -s /system/lib$1/libhoudini.so ] || mount --bind $dest_dir/libhoudini.so /system/lib$1/libhoudini.so
40 # this is to add the supported binary formats via binfmt_misc
42 if [ ! -e $binfmt_misc_dir/register ]; then
44 mount -t binfmt_misc none $binfmt_misc_dir
48 if [ -e register ]; then
49 [ -e /system/bin/houdini$1 ] && dest_dir=/system/bin
50 # register Houdini for arm binaries
52 echo ':arm_exe:M::\\x7f\\x45\\x4c\\x46\\x01\\x01\\x01\\x00\\x00\\x00\\x00\\x00\\x00\\x00\\x00\\x00\\x02\\x00\\x28::'"$dest_dir/houdini:P" > register
53 echo ':arm_dyn:M::\\x7f\\x45\\x4c\\x46\\x01\\x01\\x01\\x00\\x00\\x00\\x00\\x00\\x00\\x00\\x00\\x00\\x03\\x00\\x28::'"$dest_dir/houdini:P" > register
55 echo ':arm64_exe:M::\\x7f\\x45\\x4c\\x46\\x02\\x01\\x01\\x00\\x00\\x00\\x00\\x00\\x00\\x00\\x00\\x00\\x02\\x00\\xb7::'"$dest_dir/houdini64:P" > register
56 echo ':arm64_dyn:M::\\x7f\\x45\\x4c\\x46\\x02\\x01\\x01\\x00\\x00\\x00\\x00\\x00\\x00\\x00\\x00\\x00\\x03\\x00\\xb7::'"$dest_dir/houdini64:P" > register
58 if [ -e arm${1}_exe ]; then
62 log -pe -thoudini "No binfmt_misc support"
65 if [ $houdini_bin -eq 0 ]; then
66 log -pe -thoudini "houdini$1 enabling failed!"
68 log -pi -thoudini "houdini$1 enabled"