In the meantime I have continued to experiment and did traces with
strace and
LD_DEBUG=all. The dynamic loader tries to load the library
libscmssc.so needed by
rastertospl but does not accept the provided one, i.e. it continues to search even tough it tried it.
To me it looks like the current version of the CUPS filter binaries and the accompanying library in the directory
arm of the archive
ULD_Linux_V1.00.06.tar.gz were build for ARM soft-float.
Obviously this is not going to work on my hard-float build of Rasbian. I am not going to switch to the soft-float build just because of the printer driver.
The output of
ldconfig -p | grep libscmmsc lacks the
hard-float indication:
libscmssc.so (libc6) => /usr/lib/libscmssc.so
The output of
readelf -A /opt/smfp-common/printer/bin/rastertospl and
readelf -A /opt/smfp-common/printer/lib/libscmssc.so are both missing the line
Tag_ABI_VFP_args: VFP registers, which would indicate a hard-float compatible binary:
root@raspberrypi:~# readelf -A /opt/smfp-common/printer/bin/rastertospl
Attribute Section: aeabi
File Attributes
Tag_CPU_name: "ARM9TDMI
Tag_CPU_arch: v4T
Tag_ARM_ISA_use: Yes
Tag_THUMB_ISA_use: Thumb-1
Tag_ABI_PCS_wchar_t: 4
Tag_ABI_FP_denormal: Needed
Tag_ABI_FP_exceptions: Needed
Tag_ABI_FP_number_model: IEEE 754
Tag_ABI_align_needed: 8-byte
Tag_ABI_align_preserved: 8-byte, except leaf SP
Tag_ABI_enum_size: int
root@raspberrypi:~# readelf -A /opt/smfp-common/printer/lib/libscmssc.so
Attribute Section: aeabi
File Attributes
Tag_CPU_name: "ARM9TDMI"
Tag_CPU_arch: v4T
Tag_ARM_ISA_use: Yes
Tag_THUMB_ISA_use: Thumb-1
Tag_ABI_PCS_wchar_t: 4
Tag_ABI_FP_denormal: Needed
Tag_ABI_FP_exceptions: Needed
Tag_ABI_FP_number_model: IEEE 754
Tag_ABI_align_needed: 8-byte
Tag_ABI_align_preserved: 8-byte, except leaf SP
Tag_ABI_enum_size: int
Tag_ABI_optimization_goals: Aggressive Speed
I have asked Samsung support if they can provide an ARM hard-float version of the driver. They replied that they would look into this and would get back to me.
I'll report here if I get further feedback from Samsung support.