Comment 3 for bug 810402

> is this seen on the armhf port too?
ocamlopt has not been ported to armhf and is not enabled there, so I cannot tell. Should I understand that Ubuntu armel = Debian armhf?

> what are the options and files passed to as/ld?
$ ocamlopt -ccopt -v -dstartup -S -verbose empty.ml
+ as -o 'empty.o' 'empty.s'
+ as -o '/tmp/camlstartupcff7e9.o' 'a.out.startup.s'
+ gcc -o 'a.out' '-L/usr/lib/ocaml' -v '/tmp/camlstartupcff7e9.o' '/usr/lib/ocaml/std_exit.o' 'empty.o' '/usr/lib/ocaml/stdlib.a' '/usr/lib/ocaml/libasmrun.a' -lm -ldl
Using built-in specs.
COLLECT_GCC=/usr/bin/gcc
COLLECT_LTO_WRAPPER=/usr/lib/arm-linux-gnueabi/gcc/arm-linux-gnueabi/4.5.3/lto-wrapper
Target: arm-linux-gnueabi
Configured with: ../src/configure -v --with-pkgversion='Ubuntu/Linaro 4.5.3-3ubuntu1' --with-bugurl=file:///usr/share/doc/gcc-4.5/README.Bugs --enable-languages=c,c++,fortran,objc,obj-c++ --prefix=/usr --program-suffix=-4.5 --enable-shared --enable-multiarch --with-multiarch-defaults=arm-linux-gnueabi --enable-linker-build-id --with-system-zlib --libexecdir=/usr/lib/arm-linux-gnueabi --without-included-gettext --enable-threads=posix --with-gxx-include-dir=/usr/include/c++/4.5 --libdir=/usr/lib/arm-linux-gnueabi --enable-nls --with-sysroot=/ --enable-clocale=gnu --enable-libstdcxx-debug --enable-libstdcxx-time=yes --enable-plugin --enable-gold --enable-ld=default --with-plugin-ld=ld.gold --enable-objc-gc --disable-sjlj-exceptions --with-arch=armv7-a --with-float=softfp --with-fpu=vfpv3-d16 --with-mode=thumb --disable-werror --enable-checking=release --build=arm-linux-gnueabi --host=arm-linux-gnueabi --target=arm-linux-gnueabi
Thread model: posix
gcc version 4.5.3 (Ubuntu/Linaro 4.5.3-3ubuntu1)
COMPILER_PATH=/usr/lib/arm-linux-gnueabi/gcc/arm-linux-gnueabi/4.5.3/:/usr/lib/arm-linux-gnueabi/gcc/arm-linux-gnueabi/4.5.3/:/usr/lib/arm-linux-gnueabi/gcc/arm-linux-gnueabi/:/usr/lib/arm-linux-gnueabi/gcc/arm-linux-gnueabi/4.5.3/:/usr/lib/arm-linux-gnueabi/gcc/arm-linux-gnueabi/
LIBRARY_PATH=/usr/lib/arm-linux-gnueabi/gcc/arm-linux-gnueabi/4.5.3/:/usr/lib/arm-linux-gnueabi/gcc/arm-linux-gnueabi/4.5.3/../../../:/lib/:/usr/lib/:/usr/lib/arm-linux-gnueabi/
COLLECT_GCC_OPTIONS='-o' 'a.out' '-L/usr/lib/ocaml' '-v' '-march=armv7-a' '-mfloat-abi=softfp' '-mfpu=vfpv3-d16' '-mthumb'
 /usr/lib/arm-linux-gnueabi/gcc/arm-linux-gnueabi/4.5.3/collect2 --build-id --no-add-needed --as-needed --eh-frame-hdr -dynamic-linker /lib/ld-linux.so.3 -X --hash-style=gnu -m armelf_linux_eabi -z relro -o a.out /usr/lib/arm-linux-gnueabi/gcc/arm-linux-gnueabi/4.5.3/../../../crt1.o /usr/lib/arm-linux-gnueabi/gcc/arm-linux-gnueabi/4.5.3/../../../crti.o /usr/lib/arm-linux-gnueabi/gcc/arm-linux-gnueabi/4.5.3/crtbegin.o -L/usr/lib/ocaml -L/usr/lib/arm-linux-gnueabi/gcc/arm-linux-gnueabi/4.5.3 -L/usr/lib/arm-linux-gnueabi/gcc/arm-linux-gnueabi/4.5.3/../../.. -L/usr/lib/arm-linux-gnueabi /tmp/camlstartupcff7e9.o /usr/lib/ocaml/std_exit.o empty.o /usr/lib/ocaml/stdlib.a /usr/lib/ocaml/libasmrun.a -lm -ldl -lgcc --as-needed -lgcc_s --no-as-needed -lc -lgcc --as-needed -lgcc_s --no-as-needed /usr/lib/arm-linux-gnueabi/gcc/arm-linux-gnueabi/4.5.3/crtend.o /usr/lib/arm-linux-gnueabi/gcc/arm-linux-gnueabi/4.5.3/../../../crtn.o

empty.ml being an empty file, empty.s and a.out.startup.s being generated by ocamlopt.