> 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.
> 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? upcff7e9. o' 'a.out.startup.s' upcff7e9. o' '/usr/lib/ ocaml/std_ exit.o' 'empty.o' '/usr/lib/ ocaml/stdlib. a' '/usr/lib/ ocaml/libasmrun .a' -lm -ldl GCC=/usr/ bin/gcc LTO_WRAPPER= /usr/lib/ arm-linux- gnueabi/ gcc/arm- linux-gnueabi/ 4.5.3/lto- wrapper 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 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/ 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/ GCC_OPTIONS= '-o' 'a.out' '-L/usr/lib/ocaml' '-v' '-march=armv7-a' '-mfloat- abi=softfp' '-mfpu=vfpv3-d16' '-mthumb' 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/camlstartu pcff7e9. 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
$ ocamlopt -ccopt -v -dstartup -S -verbose empty.ml
+ as -o 'empty.o' 'empty.s'
+ as -o '/tmp/camlstart
+ gcc -o 'a.out' '-L/usr/lib/ocaml' -v '/tmp/camlstart
Using built-in specs.
COLLECT_
COLLECT_
Target: arm-linux-gnueabi
Configured with: ../src/configure -v --with-
Thread model: posix
gcc version 4.5.3 (Ubuntu/Linaro 4.5.3-3ubuntu1)
COMPILER_
LIBRARY_
COLLECT_
/usr/lib/
empty.ml being an empty file, empty.s and a.out.startup.s being generated by ocamlopt.