> 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. -- You received this bug notification because you are a member of Ubuntu Bugs, which is subscribed to Ubuntu. https://bugs.launchpad.net/bugs/810402 Title: all native ocaml programs segfault on armel To manage notifications about this bug go to: https://bugs.launchpad.net/ubuntu/+source/binutils/+bug/810402/+subscriptions -- ubuntu-bugs mailing list ubuntu-bugs@lists.ubuntu.com https://lists.ubuntu.com/mailman/listinfo/ubuntu-bugs
