--- autodeps/linux.req
+++ autodeps/linux.req
@@ -39,7 +39,8 @@
 # --- Alpha does not mark 64bit dependencies
 case `uname -m` in
   alpha*)	mark64="" ;;
-  *)		mark64="()(64bit)" ;;
+  arm*) 	markhf=true ;;
+  *)		mark64="()(64bit)" markhf= ;;
 esac
 
 if [ "$needed" -eq 0 ]; then
@@ -49,6 +50,9 @@
     [ -r "$f" -a -x "$f" ] || continue
     lib64=`if file -L "$f" 2>/dev/null | \
 	grep "ELF 64-bit" >/dev/null; then echo "$mark64"; fi`
+    if $markhf && readelf -A "$f" 2>/dev/null | grep "Tag_ABI_VFP_args: VFP registers" >/dev/null; then
+        lib64="()(hf)$lib64"
+    fi
     ldd "$f" | awk '/=>/ {
 	if ($1 !~ /libNoVersion.so/ && $1 !~ /4[um]lib.so/ && $1 !~ /linux-gate.so/) {
 	    gsub(/'\''"/,"\\&",$1);
@@ -63,6 +67,9 @@
     [ -r "$f" ] || continue
     lib64=`if file -L "$f" 2>/dev/null | \
 	grep "ELF 64-bit" >/dev/null; then echo "$mark64"; fi`
+    if $markhf && readelf -A "$f" 2>/dev/null | grep "Tag_ABI_VFP_args: VFP registers" >/dev/null; then
+        lib64="()(hf)$lib64"
+    fi
     ldd "$f" | awk '/=>/ {
 	if ($1 !~ /libNoVersion.so/ && $1 !~ /4[um]lib.so/ && $1 !~ /linux-gate.so/) {
 	    gsub(/'\''"/,"\\&",$1);
@@ -97,6 +104,9 @@
     [ -r "$f" ] || continue
     lib64=`if file -L "$f" 2>/dev/null | \
 	grep "ELF 64-bit" >/dev/null; then echo "$mark64"; fi`
+    if $markhf && readelf -A "$f" 2>/dev/null | grep "Tag_ABI_VFP_args: VFP registers" >/dev/null; then
+        lib64="()(hf)$lib64"
+    fi
     objdump -p "$f" | awk 'BEGIN { START=0; LIBNAME=""; needed='$needed'; }
 	/^$/ { START=0; }
 	/^Dynamic Section:$/ { START=1; }
--- autodeps/linux.prov
+++ autodeps/linux.prov
@@ -22,7 +22,8 @@
 # --- Alpha does not mark 64bit dependencies
 case `uname -m` in
   alpha*)	mark64=false ;;
-  *)		mark64=true ;;
+  arm*)	        markhf=true ;;
+  *)		mark64=true markhf=false ;;
 esac
 
 #
@@ -37,6 +38,9 @@
     else
 	lib64= slib64=
     fi
+    if $markhf && readelf -A "$f" 2>/dev/null | grep "Tag_ABI_VFP_args: VFP registers" >/dev/null; then
+	lib64="()(hf)$lib64" slib64="(hf)$slib64"
+    fi
     echo "$soname$lib64"
     objdump -p "$f" | awk '
 	BEGIN { START=0 ; }