building on MacOS about opam-cross-android HOT 14 CLOSED

Could you post the complete stdout file?

from opam-cross-android.

—Mark

On Oct 3, 2015, at 2:28 PM, whitequark [email protected] wrote:

Could you post the complete stdout file?

—
Reply to this email directly or view it on GitHub https://github.com/whitequark/opam-android/issues/12#issuecomment-145280866.

from opam-cross-android.

There's nothing in your comment besides signature.

from opam-cross-android.

In the log you sent me, the build system runs sh ./runocamldoc, but the patch removes all traces of that.

from opam-cross-android.

To be honest, I don’t understand how the internals of this cross compilation environment with opam works. I didn’t make any changes that I’m aware of. I just ran the commands in the instructions. Are there some files I can provide that would explain this?

—Mark

On Oct 3, 2015, at 4:49 PM, whitequark [email protected] wrote:

In the log you sent me, the build system runs sh ./runocamldoc, but the patch https://github.com/whitequark/opam-android/blob/master/packages/ocaml-android32.4.02.3/files/patches/ocamldoc.patch removes all traces of that.

—
Reply to this email directly or view it on GitHub https://github.com/whitequark/opam-android/issues/12#issuecomment-145293263.

from opam-cross-android.

The full output of opam update android && opam install ocaml-android32 -v. The patch isn't being applied for some strange reason.

from opam-cross-android.

I’m also seeing strange behavior with OCaml .a files, such as libasmrun.a and libunix.a. The files in the archive all seem to end in ‘/‘

Do you have access to a MacOS development machine? I could set up a login on one of ours.

—Mark

From 'ar t libasmrun.a'

/
startup.o/
main.o/
fail.o/
roots.o/
globroots.o/
signals.o/
signals_asm.o/
misc.o/
freelist.o/
major_gc.o/
minor_gc.o/
memory.o/
alloc.o/
compare.o/
ints.o/
floats.o/
str.o/
array.o/
io.o/
extern.o/
intern.o/
hash.o/
sys.o/
parsing.o/
gc_ctrl.o/
terminfo.o/
md5.o/
obj.o/
lexing.o/
printexc.o/
callback.o/
weak.o/
compact.o/
finalise.o/
custom.o/
unix.o/
backtrace.o/
natdynlink.o/
debugger.o/
meta.o/
dynlink.o/
arm.o/

On Oct 3, 2015, at 5:07 PM, whitequark [email protected] wrote:

The full output of opam update android && opam install ocaml-android32 -v. The patch isn't being applied for some strange reason.

—
Reply to this email directly or view it on GitHub https://github.com/whitequark/opam-android/issues/12#issuecomment-145293930.

from opam-cross-android.

Yes, but I'm busy for the time being.

from opam-cross-android.

—Mark

On Oct 3, 2015, at 5:07 PM, whitequark [email protected] wrote:

The full output of opam update android && opam install ocaml-android32 -v. The patch isn't being applied for some strange reason.

—
Reply to this email directly or view it on GitHub https://github.com/whitequark/opam-android/issues/12#issuecomment-145293930.

% opam update android && opam install ocaml-android32 -v

=-=- Updating package repositories =-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=
[android] git://github.com/whitequark/opam-android already up-to-date

Updates available for 4.02.3+32bit, apply them with 'opam upgrade':
===== 1 to recompile =====
[NOTE] Package ocaml-android32 is already installed (current version is
4.02.3).
sakhalin% opam remove ocaml-android32
The following actions will be performed:

• remove ocaml-android32 4.02.3

=-=- Gathering sources =-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=

=-=- Processing actions -=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=
-> removed ocaml-android32.4.02.3
Done.
sakhalin% opam update android && opam install ocaml-android32 -v

=-=- Updating package repositories =-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=
[android] git://github.com/whitequark/opam-android already up-to-date
The following actions will be performed:

• install ocaml-android32 4.02.3

=-=- Gathering sources =-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=
[ocaml-android32.4.02.3] http://caml.inria.fr/pub/distrib/ocaml-4.02/ocaml-4.02.3.tar.gz downloaded

=-=- Processing actions -=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=
[ocaml-android32: sed] Command started

• sed "-i" "-e" "s/ANDROID_TOOLCHAIN/arm-linux-androideabi-4.8/g" "config/Makefile" (CWD=/Users/mhayden/.opam/4.02.3+32bit/build/ocaml-android32.4.02.3)
  [ocaml-android32: make world] Command started
• make "world" "opt" "install" (CWD=/Users/mhayden/.opam/4.02.3+32bit/build/ocaml-android32.4.02.3)
• make coldstart
• make[1]: Entering directory '/Users/mhayden/.opam/4.02.3+32bit/build/ocaml-android32.4.02.3'
• cd byterun; make all
• make[2]: Entering directory '/Users/mhayden/.opam/4.02.3+32bit/build/ocaml-android32.4.02.3/byterun'
• sed -n -e '/^ /s/ ([A-Z])/ &&lbl_\1/gp' \

•    -e '/^}/q' caml/instruct.h > caml/jumptbl.h
  

• /Users/mhayden/.opam/4.02.3+32bit/lib/android-ndk/toolchains/arm-linux-androideabi-4.8/prebuilt/darwin-x86/bin/arm-linux-androideabi-gcc --sysroot /Users/mhayden/.opam/4.02.3+32bit/lib/android-ndk/platforms/android-21/arch-arm -I /Users/mhayden/.opam/4.02.3+32bit/arm-linux-androideabi/include -L /Users/mhayden/.opam/4.02.3+32bit/arm-linux-androideabi/lib -O2 -DCAML_NAME_SPACE -fno-defer-pop -Wall -D_FILE_OFFSET_BITS=64 -D_REENTRANT -c -o interp.o interp.c
• /Users/mhayden/.opam/4.02.3+32bit/lib/android-ndk/toolchains/arm-linux-androideabi-4.8/prebuilt/darwin-x86/bin/arm-linux-androideabi-gcc --sysroot /Users/mhayden/.opam/4.02.3+32bit/lib/android-ndk/platforms/android-21/arch-arm -I /Users/mhayden/.opam/4.02.3+32bit/arm-linux-androideabi/include -L /Users/mhayden/.opam/4.02.3+32bit/arm-linux-androideabi/lib -O2 -DCAML_NAME_SPACE -fno-defer-pop -Wall -D_FILE_OFFSET_BITS=64 -D_REENTRANT -c -o misc.o misc.c
• /Users/mhayden/.opam/4.02.3+32bit/lib/android-ndk/toolchains/arm-linux-androideabi-4.8/prebuilt/darwin-x86/bin/arm-linux-androideabi-gcc --sysroot /Users/mhayden/.opam/4.02.3+32bit/lib/android-ndk/platforms/android-21/arch-arm -I /Users/mhayden/.opam/4.02.3+32bit/arm-linux-androideabi/include -L /Users/mhayden/.opam/4.02.3+32bit/arm-linux-androideabi/lib -O2 -DCAML_NAME_SPACE -fno-defer-pop -Wall -D_FILE_OFFSET_BITS=64 -D_REENTRANT -c -o stacks.o stacks.c
• /Users/mhayden/.opam/4.02.3+32bit/lib/android-ndk/toolchains/arm-linux-androideabi-4.8/prebuilt/darwin-x86/bin/arm-linux-androideabi-gcc --sysroot /Users/mhayden/.opam/4.02.3+32bit/lib/android-ndk/platforms/android-21/arch-arm -I /Users/mhayden/.opam/4.02.3+32bit/arm-linux-androideabi/include -L /Users/mhayden/.opam/4.02.3+32bit/arm-linux-androideabi/lib -O2 -DCAML_NAME_SPACE -fno-defer-pop -Wall -D_FILE_OFFSET_BITS=64 -D_REENTRANT -c -o fix_code.o fix_code.c
• ../tools/make-version-header.sh ../VERSION > caml/version.h
• /Users/mhayden/.opam/4.02.3+32bit/lib/android-ndk/toolchains/arm-linux-androideabi-4.8/prebuilt/darwin-x86/bin/arm-linux-androideabi-gcc --sysroot /Users/mhayden/.opam/4.02.3+32bit/lib/android-ndk/platforms/android-21/arch-arm -I /Users/mhayden/.opam/4.02.3+32bit/arm-linux-androideabi/include -L /Users/mhayden/.opam/4.02.3+32bit/arm-linux-androideabi/lib -O2 -DCAML_NAME_SPACE -fno-defer-pop -Wall -D_FILE_OFFSET_BITS=64 -D_REENTRANT -c -o startup.o startup.c
• /Users/mhayden/.opam/4.02.3+32bit/lib/android-ndk/toolchains/arm-linux-androideabi-4.8/prebuilt/darwin-x86/bin/arm-linux-androideabi-gcc --sysroot /Users/mhayden/.opam/4.02.3+32bit/lib/android-ndk/platforms/android-21/arch-arm -I /Users/mhayden/.opam/4.02.3+32bit/arm-linux-androideabi/include -L /Users/mhayden/.opam/4.02.3+32bit/arm-linux-androideabi/lib -O2 -DCAML_NAME_SPACE -fno-defer-pop -Wall -D_FILE_OFFSET_BITS=64 -D_REENTRANT -c -o freelist.o freelist.c
• /Users/mhayden/.opam/4.02.3+32bit/lib/android-ndk/toolchains/arm-linux-androideabi-4.8/prebuilt/darwin-x86/bin/arm-linux-androideabi-gcc --sysroot /Users/mhayden/.opam/4.02.3+32bit/lib/android-ndk/platforms/android-21/arch-arm -I /Users/mhayden/.opam/4.02.3+32bit/arm-linux-androideabi/include -L /Users/mhayden/.opam/4.02.3+32bit/arm-linux-androideabi/lib -O2 -DCAML_NAME_SPACE -fno-defer-pop -Wall -D_FILE_OFFSET_BITS=64 -D_REENTRANT -c -o major_gc.o major_gc.c
• freelist.c: In function 'caml_fl_reset':
• freelist.c:363:3: warning: dereferencing type-punned pointer will break strict-aliasing rules [-Wstrict-aliasing]
• Next (Fl_head) = NULL;
• ^
• /Users/mhayden/.opam/4.02.3+32bit/lib/android-ndk/toolchains/arm-linux-androideabi-4.8/prebuilt/darwin-x86/bin/arm-linux-androideabi-gcc --sysroot /Users/mhayden/.opam/4.02.3+32bit/lib/android-ndk/platforms/android-21/arch-arm -I /Users/mhayden/.opam/4.02.3+32bit/arm-linux-androideabi/include -L /Users/mhayden/.opam/4.02.3+32bit/arm-linux-androideabi/lib -O2 -DCAML_NAME_SPACE -fno-defer-pop -Wall -D_FILE_OFFSET_BITS=64 -D_REENTRANT -c -o minor_gc.o minor_gc.c
• /Users/mhayden/.opam/4.02.3+32bit/lib/android-ndk/toolchains/arm-linux-androideabi-4.8/prebuilt/darwin-x86/bin/arm-linux-androideabi-gcc --sysroot /Users/mhayden/.opam/4.02.3+32bit/lib/android-ndk/platforms/android-21/arch-arm -I /Users/mhayden/.opam/4.02.3+32bit/arm-linux-androideabi/include -L /Users/mhayden/.opam/4.02.3+32bit/arm-linux-androideabi/lib -O2 -DCAML_NAME_SPACE -fno-defer-pop -Wall -D_FILE_OFFSET_BITS=64 -D_REENTRANT -c -o memory.o memory.c
• /Users/mhayden/.opam/4.02.3+32bit/lib/android-ndk/toolchains/arm-linux-androideabi-4.8/prebuilt/darwin-x86/bin/arm-linux-androideabi-gcc --sysroot /Users/mhayden/.opam/4.02.3+32bit/lib/android-ndk/platforms/android-21/arch-arm -I /Users/mhayden/.opam/4.02.3+32bit/arm-linux-androideabi/include -L /Users/mhayden/.opam/4.02.3+32bit/arm-linux-androideabi/lib -O2 -DCAML_NAME_SPACE -fno-defer-pop -Wall -D_FILE_OFFSET_BITS=64 -D_REENTRANT -c -o alloc.o alloc.c
• /Users/mhayden/.opam/4.02.3+32bit/lib/android-ndk/toolchains/arm-linux-androideabi-4.8/prebuilt/darwin-x86/bin/arm-linux-androideabi-gcc --sysroot /Users/mhayden/.opam/4.02.3+32bit/lib/android-ndk/platforms/android-21/arch-arm -I /Users/mhayden/.opam/4.02.3+32bit/arm-linux-androideabi/include -L /Users/mhayden/.opam/4.02.3+32bit/arm-linux-androideabi/lib -O2 -DCAML_NAME_SPACE -fno-defer-pop -Wall -D_FILE_OFFSET_BITS=64 -D_REENTRANT -c -o roots.o roots.c
• /Users/mhayden/.opam/4.02.3+32bit/lib/android-ndk/toolchains/arm-linux-androideabi-4.8/prebuilt/darwin-x86/bin/arm-linux-androideabi-gcc --sysroot /Users/mhayden/.opam/4.02.3+32bit/lib/android-ndk/platforms/android-21/arch-arm -I /Users/mhayden/.opam/4.02.3+32bit/arm-linux-androideabi/include -L /Users/mhayden/.opam/4.02.3+32bit/arm-linux-androideabi/lib -O2 -DCAML_NAME_SPACE -fno-defer-pop -Wall -D_FILE_OFFSET_BITS=64 -D_REENTRANT -c -o globroots.o globroots.c
• /Users/mhayden/.opam/4.02.3+32bit/lib/android-ndk/toolchains/arm-linux-androideabi-4.8/prebuilt/darwin-x86/bin/arm-linux-androideabi-gcc --sysroot /Users/mhayden/.opam/4.02.3+32bit/lib/android-ndk/platforms/android-21/arch-arm -I /Users/mhayden/.opam/4.02.3+32bit/arm-linux-androideabi/include -L /Users/mhayden/.opam/4.02.3+32bit/arm-linux-androideabi/lib -O2 -DCAML_NAME_SPACE -fno-defer-pop -Wall -D_FILE_OFFSET_BITS=64 -D_REENTRANT -c -o fail.o fail.c
• /Users/mhayden/.opam/4.02.3+32bit/lib/android-ndk/toolchains/arm-linux-androideabi-4.8/prebuilt/darwin-x86/bin/arm-linux-androideabi-gcc --sysroot /Users/mhayden/.opam/4.02.3+32bit/lib/android-ndk/platforms/android-21/arch-arm -I /Users/mhayden/.opam/4.02.3+32bit/arm-linux-androideabi/include -L /Users/mhayden/.opam/4.02.3+32bit/arm-linux-androideabi/lib -O2 -DCAML_NAME_SPACE -fno-defer-pop -Wall -D_FILE_OFFSET_BITS=64 -D_REENTRANT -c -o signals.o signals.c
• /Users/mhayden/.opam/4.02.3+32bit/lib/android-ndk/toolchains/arm-linux-androideabi-4.8/prebuilt/darwin-x86/bin/arm-linux-androideabi-gcc --sysroot /Users/mhayden/.opam/4.02.3+32bit/lib/android-ndk/platforms/android-21/arch-arm -I /Users/mhayden/.opam/4.02.3+32bit/arm-linux-androideabi/include -L /Users/mhayden/.opam/4.02.3+32bit/arm-linux-androideabi/lib -O2 -DCAML_NAME_SPACE -fno-defer-pop -Wall -D_FILE_OFFSET_BITS=64 -D_REENTRANT -c -o signals_byt.o signals_byt.c
• /Users/mhayden/.opam/4.02.3+32bit/lib/android-ndk/toolchains/arm-linux-androideabi-4.8/prebuilt/darwin-x86/bin/arm-linux-androideabi-gcc --sysroot /Users/mhayden/.opam/4.02.3+32bit/lib/android-ndk/platforms/android-21/arch-arm -I /Users/mhayden/.opam/4.02.3+32bit/arm-linux-androideabi/include -L /Users/mhayden/.opam/4.02.3+32bit/arm-linux-androideabi/lib -O2 -DCAML_NAME_SPACE -fno-defer-pop -Wall -D_FILE_OFFSET_BITS=64 -D_REENTRANT -c -o printexc.o printexc.c
• /Users/mhayden/.opam/4.02.3+32bit/lib/android-ndk/toolchains/arm-linux-androideabi-4.8/prebuilt/darwin-x86/bin/arm-linux-androideabi-gcc --sysroot /Users/mhayden/.opam/4.02.3+32bit/lib/android-ndk/platforms/android-21/arch-arm -I /Users/mhayden/.opam/4.02.3+32bit/arm-linux-androideabi/include -L /Users/mhayden/.opam/4.02.3+32bit/arm-linux-androideabi/lib -O2 -DCAML_NAME_SPACE -fno-defer-pop -Wall -D_FILE_OFFSET_BITS=64 -D_REENTRANT -c -o backtrace.o backtrace.c
• /Users/mhayden/.opam/4.02.3+32bit/lib/android-ndk/toolchains/arm-linux-androideabi-4.8/prebuilt/darwin-x86/bin/arm-linux-androideabi-gcc --sysroot /Users/mhayden/.opam/4.02.3+32bit/lib/android-ndk/platforms/android-21/arch-arm -I /Users/mhayden/.opam/4.02.3+32bit/arm-linux-androideabi/include -L /Users/mhayden/.opam/4.02.3+32bit/arm-linux-androideabi/lib -O2 -DCAML_NAME_SPACE -fno-defer-pop -Wall -D_FILE_OFFSET_BITS=64 -D_REENTRANT -c -o compare.o compare.c
• /Users/mhayden/.opam/4.02.3+32bit/lib/android-ndk/toolchains/arm-linux-androideabi-4.8/prebuilt/darwin-x86/bin/arm-linux-androideabi-gcc --sysroot /Users/mhayden/.opam/4.02.3+32bit/lib/android-ndk/platforms/android-21/arch-arm -I /Users/mhayden/.opam/4.02.3+32bit/arm-linux-androideabi/include -L /Users/mhayden/.opam/4.02.3+32bit/arm-linux-androideabi/lib -O2 -DCAML_NAME_SPACE -fno-defer-pop -Wall -D_FILE_OFFSET_BITS=64 -D_REENTRANT -c -o ints.o ints.c
• /Users/mhayden/.opam/4.02.3+32bit/lib/android-ndk/toolchains/arm-linux-androideabi-4.8/prebuilt/darwin-x86/bin/arm-linux-androideabi-gcc --sysroot /Users/mhayden/.opam/4.02.3+32bit/lib/android-ndk/platforms/android-21/arch-arm -I /Users/mhayden/.opam/4.02.3+32bit/arm-linux-androideabi/include -L /Users/mhayden/.opam/4.02.3+32bit/arm-linux-androideabi/lib -O2 -DCAML_NAME_SPACE -fno-defer-pop -Wall -D_FILE_OFFSET_BITS=64 -D_REENTRANT -c -o floats.o floats.c
• /Users/mhayden/.opam/4.02.3+32bit/lib/android-ndk/toolchains/arm-linux-androideabi-4.8/prebuilt/darwin-x86/bin/arm-linux-androideabi-gcc --sysroot /Users/mhayden/.opam/4.02.3+32bit/lib/android-ndk/platforms/android-21/arch-arm -I /Users/mhayden/.opam/4.02.3+32bit/arm-linux-androideabi/include -L /Users/mhayden/.opam/4.02.3+32bit/arm-linux-androideabi/lib -O2 -DCAML_NAME_SPACE -fno-defer-pop -Wall -D_FILE_OFFSET_BITS=64 -D_REENTRANT -c -o str.o str.c
• /Users/mhayden/.opam/4.02.3+32bit/lib/android-ndk/toolchains/arm-linux-androideabi-4.8/prebuilt/darwin-x86/bin/arm-linux-androideabi-gcc --sysroot /Users/mhayden/.opam/4.02.3+32bit/lib/android-ndk/platforms/android-21/arch-arm -I /Users/mhayden/.opam/4.02.3+32bit/arm-linux-androideabi/include -L /Users/mhayden/.opam/4.02.3+32bit/arm-linux-androideabi/lib -O2 -DCAML_NAME_SPACE -fno-defer-pop -Wall -D_FILE_OFFSET_BITS=64 -D_REENTRANT -c -o array.o array.c
• /Users/mhayden/.opam/4.02.3+32bit/lib/android-ndk/toolchains/arm-linux-androideabi-4.8/prebuilt/darwin-x86/bin/arm-linux-androideabi-gcc --sysroot /Users/mhayden/.opam/4.02.3+32bit/lib/android-ndk/platforms/android-21/arch-arm -I /Users/mhayden/.opam/4.02.3+32bit/arm-linux-androideabi/include -L /Users/mhayden/.opam/4.02.3+32bit/arm-linux-androideabi/lib -O2 -DCAML_NAME_SPACE -fno-defer-pop -Wall -D_FILE_OFFSET_BITS=64 -D_REENTRANT -c -o io.o io.c
• /Users/mhayden/.opam/4.02.3+32bit/lib/android-ndk/toolchains/arm-linux-androideabi-4.8/prebuilt/darwin-x86/bin/arm-linux-androideabi-gcc --sysroot /Users/mhayden/.opam/4.02.3+32bit/lib/android-ndk/platforms/android-21/arch-arm -I /Users/mhayden/.opam/4.02.3+32bit/arm-linux-androideabi/include -L /Users/mhayden/.opam/4.02.3+32bit/arm-linux-androideabi/lib -O2 -DCAML_NAME_SPACE -fno-defer-pop -Wall -D_FILE_OFFSET_BITS=64 -D_REENTRANT -c -o extern.o extern.c
• /Users/mhayden/.opam/4.02.3+32bit/lib/android-ndk/toolchains/arm-linux-androideabi-4.8/prebuilt/darwin-x86/bin/arm-linux-androideabi-gcc --sysroot /Users/mhayden/.opam/4.02.3+32bit/lib/android-ndk/platforms/android-21/arch-arm -I /Users/mhayden/.opam/4.02.3+32bit/arm-linux-androideabi/include -L /Users/mhayden/.opam/4.02.3+32bit/arm-linux-androideabi/lib -O2 -DCAML_NAME_SPACE -fno-defer-pop -Wall -D_FILE_OFFSET_BITS=64 -D_REENTRANT -c -o intern.o intern.c
• /Users/mhayden/.opam/4.02.3+32bit/lib/android-ndk/toolchains/arm-linux-androideabi-4.8/prebuilt/darwin-x86/bin/arm-linux-androideabi-gcc --sysroot /Users/mhayden/.opam/4.02.3+32bit/lib/android-ndk/platforms/android-21/arch-arm -I /Users/mhayden/.opam/4.02.3+32bit/arm-linux-androideabi/include -L /Users/mhayden/.opam/4.02.3+32bit/arm-linux-androideabi/lib -O2 -DCAML_NAME_SPACE -fno-defer-pop -Wall -D_FILE_OFFSET_BITS=64 -D_REENTRANT -c -o hash.o hash.c
• /Users/mhayden/.opam/4.02.3+32bit/lib/android-ndk/toolchains/arm-linux-androideabi-4.8/prebuilt/darwin-x86/bin/arm-linux-androideabi-gcc --sysroot /Users/mhayden/.opam/4.02.3+32bit/lib/android-ndk/platforms/android-21/arch-arm -I /Users/mhayden/.opam/4.02.3+32bit/arm-linux-androideabi/include -L /Users/mhayden/.opam/4.02.3+32bit/arm-linux-androideabi/lib -O2 -DCAML_NAME_SPACE -fno-defer-pop -Wall -D_FILE_OFFSET_BITS=64 -D_REENTRANT -c -o sys.o sys.c
• /Users/mhayden/.opam/4.02.3+32bit/lib/android-ndk/toolchains/arm-linux-androideabi-4.8/prebuilt/darwin-x86/bin/arm-linux-androideabi-gcc --sysroot /Users/mhayden/.opam/4.02.3+32bit/lib/android-ndk/platforms/android-21/arch-arm -I /Users/mhayden/.opam/4.02.3+32bit/arm-linux-androideabi/include -L /Users/mhayden/.opam/4.02.3+32bit/arm-linux-androideabi/lib -O2 -DCAML_NAME_SPACE -fno-defer-pop -Wall -D_FILE_OFFSET_BITS=64 -D_REENTRANT -c -o meta.o meta.c
• /Users/mhayden/.opam/4.02.3+32bit/lib/android-ndk/toolchains/arm-linux-androideabi-4.8/prebuilt/darwin-x86/bin/arm-linux-androideabi-gcc --sysroot /Users/mhayden/.opam/4.02.3+32bit/lib/android-ndk/platforms/android-21/arch-arm -I /Users/mhayden/.opam/4.02.3+32bit/arm-linux-androideabi/include -L /Users/mhayden/.opam/4.02.3+32bit/arm-linux-androideabi/lib -O2 -DCAML_NAME_SPACE -fno-defer-pop -Wall -D_FILE_OFFSET_BITS=64 -D_REENTRANT -c -o parsing.o parsing.c
• /Users/mhayden/.opam/4.02.3+32bit/lib/android-ndk/toolchains/arm-linux-androideabi-4.8/prebuilt/darwin-x86/bin/arm-linux-androideabi-gcc --sysroot /Users/mhayden/.opam/4.02.3+32bit/lib/android-ndk/platforms/android-21/arch-arm -I /Users/mhayden/.opam/4.02.3+32bit/arm-linux-androideabi/include -L /Users/mhayden/.opam/4.02.3+32bit/arm-linux-androideabi/lib -O2 -DCAML_NAME_SPACE -fno-defer-pop -Wall -D_FILE_OFFSET_BITS=64 -D_REENTRANT -c -o gc_ctrl.o gc_ctrl.c
• /Users/mhayden/.opam/4.02.3+32bit/lib/android-ndk/toolchains/arm-linux-androideabi-4.8/prebuilt/darwin-x86/bin/arm-linux-androideabi-gcc --sysroot /Users/mhayden/.opam/4.02.3+32bit/lib/android-ndk/platforms/android-21/arch-arm -I /Users/mhayden/.opam/4.02.3+32bit/arm-linux-androideabi/include -L /Users/mhayden/.opam/4.02.3+32bit/arm-linux-androideabi/lib -O2 -DCAML_NAME_SPACE -fno-defer-pop -Wall -D_FILE_OFFSET_BITS=64 -D_REENTRANT -c -o terminfo.o terminfo.c
• /Users/mhayden/.opam/4.02.3+32bit/lib/android-ndk/toolchains/arm-linux-androideabi-4.8/prebuilt/darwin-x86/bin/arm-linux-androideabi-gcc --sysroot /Users/mhayden/.opam/4.02.3+32bit/lib/android-ndk/platforms/android-21/arch-arm -I /Users/mhayden/.opam/4.02.3+32bit/arm-linux-androideabi/include -L /Users/mhayden/.opam/4.02.3+32bit/arm-linux-androideabi/lib -O2 -DCAML_NAME_SPACE -fno-defer-pop -Wall -D_FILE_OFFSET_BITS=64 -D_REENTRANT -c -o md5.o md5.c
• /Users/mhayden/.opam/4.02.3+32bit/lib/android-ndk/toolchains/arm-linux-androideabi-4.8/prebuilt/darwin-x86/bin/arm-linux-androideabi-gcc --sysroot /Users/mhayden/.opam/4.02.3+32bit/lib/android-ndk/platforms/android-21/arch-arm -I /Users/mhayden/.opam/4.02.3+32bit/arm-linux-androideabi/include -L /Users/mhayden/.opam/4.02.3+32bit/arm-linux-androideabi/lib -O2 -DCAML_NAME_SPACE -fno-defer-pop -Wall -D_FILE_OFFSET_BITS=64 -D_REENTRANT -c -o obj.o obj.c
• /Users/mhayden/.opam/4.02.3+32bit/lib/android-ndk/toolchains/arm-linux-androideabi-4.8/prebuilt/darwin-x86/bin/arm-linux-androideabi-gcc --sysroot /Users/mhayden/.opam/4.02.3+32bit/lib/android-ndk/platforms/android-21/arch-arm -I /Users/mhayden/.opam/4.02.3+32bit/arm-linux-androideabi/include -L /Users/mhayden/.opam/4.02.3+32bit/arm-linux-androideabi/lib -O2 -DCAML_NAME_SPACE -fno-defer-pop -Wall -D_FILE_OFFSET_BITS=64 -D_REENTRANT -c -o lexing.o lexing.c
• /Users/mhayden/.opam/4.02.3+32bit/lib/android-ndk/toolchains/arm-linux-androideabi-4.8/prebuilt/darwin-x86/bin/arm-linux-androideabi-gcc --sysroot /Users/mhayden/.opam/4.02.3+32bit/lib/android-ndk/platforms/android-21/arch-arm -I /Users/mhayden/.opam/4.02.3+32bit/arm-linux-androideabi/include -L /Users/mhayden/.opam/4.02.3+32bit/arm-linux-androideabi/lib -O2 -DCAML_NAME_SPACE -fno-defer-pop -Wall -D_FILE_OFFSET_BITS=64 -D_REENTRANT -c -o callback.o callback.c
• /Users/mhayden/.opam/4.02.3+32bit/lib/android-ndk/toolchains/arm-linux-androideabi-4.8/prebuilt/darwin-x86/bin/arm-linux-androideabi-gcc --sysroot /Users/mhayden/.opam/4.02.3+32bit/lib/android-ndk/platforms/android-21/arch-arm -I /Users/mhayden/.opam/4.02.3+32bit/arm-linux-androideabi/include -L /Users/mhayden/.opam/4.02.3+32bit/arm-linux-androideabi/lib -O2 -DCAML_NAME_SPACE -fno-defer-pop -Wall -D_FILE_OFFSET_BITS=64 -D_REENTRANT -c -o debugger.o debugger.c
• md5.c: In function 'caml_MD5Final':
• md5.c:214:5: warning: dereferencing type-punned pointer will break strict-aliasing rules [-Wstrict-aliasing]

•  ((uint32 *) ctx->in)[14] = ctx->bits[0];
  

•  ^
  

• md5.c:215:5: warning: dereferencing type-punned pointer will break strict-aliasing rules [-Wstrict-aliasing]

•  ((uint32 *) ctx->in)[15] = ctx->bits[1];
  

•  ^
  

• /Users/mhayden/.opam/4.02.3+32bit/lib/android-ndk/toolchains/arm-linux-androideabi-4.8/prebuilt/darwin-x86/bin/arm-linux-androideabi-gcc --sysroot /Users/mhayden/.opam/4.02.3+32bit/lib/android-ndk/platforms/android-21/arch-arm -I /Users/mhayden/.opam/4.02.3+32bit/arm-linux-androideabi/include -L /Users/mhayden/.opam/4.02.3+32bit/arm-linux-androideabi/lib -O2 -DCAML_NAME_SPACE -fno-defer-pop -Wall -D_FILE_OFFSET_BITS=64 -D_REENTRANT -c -o weak.o weak.c
• /Users/mhayden/.opam/4.02.3+32bit/lib/android-ndk/toolchains/arm-linux-androideabi-4.8/prebuilt/darwin-x86/bin/arm-linux-androideabi-gcc --sysroot /Users/mhayden/.opam/4.02.3+32bit/lib/android-ndk/platforms/android-21/arch-arm -I /Users/mhayden/.opam/4.02.3+32bit/arm-linux-androideabi/include -L /Users/mhayden/.opam/4.02.3+32bit/arm-linux-androideabi/lib -O2 -DCAML_NAME_SPACE -fno-defer-pop -Wall -D_FILE_OFFSET_BITS=64 -D_REENTRANT -c -o compact.o compact.c
• /Users/mhayden/.opam/4.02.3+32bit/lib/android-ndk/toolchains/arm-linux-androideabi-4.8/prebuilt/darwin-x86/bin/arm-linux-androideabi-gcc --sysroot /Users/mhayden/.opam/4.02.3+32bit/lib/android-ndk/platforms/android-21/arch-arm -I /Users/mhayden/.opam/4.02.3+32bit/arm-linux-androideabi/include -L /Users/mhayden/.opam/4.02.3+32bit/arm-linux-androideabi/lib -O2 -DCAML_NAME_SPACE -fno-defer-pop -Wall -D_FILE_OFFSET_BITS=64 -D_REENTRANT -c -o finalise.o finalise.c
• /Users/mhayden/.opam/4.02.3+32bit/lib/android-ndk/toolchains/arm-linux-androideabi-4.8/prebuilt/darwin-x86/bin/arm-linux-androideabi-gcc --sysroot /Users/mhayden/.opam/4.02.3+32bit/lib/android-ndk/platforms/android-21/arch-arm -I /Users/mhayden/.opam/4.02.3+32bit/arm-linux-androideabi/include -L /Users/mhayden/.opam/4.02.3+32bit/arm-linux-androideabi/lib -O2 -DCAML_NAME_SPACE -fno-defer-pop -Wall -D_FILE_OFFSET_BITS=64 -D_REENTRANT -c -o custom.o custom.c
• /Users/mhayden/.opam/4.02.3+32bit/lib/android-ndk/toolchains/arm-linux-androideabi-4.8/prebuilt/darwin-x86/bin/arm-linux-androideabi-gcc --sysroot /Users/mhayden/.opam/4.02.3+32bit/lib/android-ndk/platforms/android-21/arch-arm -I /Users/mhayden/.opam/4.02.3+32bit/arm-linux-androideabi/include -L /Users/mhayden/.opam/4.02.3+32bit/arm-linux-androideabi/lib -O2 -DCAML_NAME_SPACE -fno-defer-pop -Wall -D_FILE_OFFSET_BITS=64 -D_REENTRANT -c -o dynlink.o dynlink.c
• /Users/mhayden/.opam/4.02.3+32bit/lib/android-ndk/toolchains/arm-linux-androideabi-4.8/prebuilt/darwin-x86/bin/arm-linux-androideabi-gcc --sysroot /Users/mhayden/.opam/4.02.3+32bit/lib/android-ndk/platforms/android-21/arch-arm -I /Users/mhayden/.opam/4.02.3+32bit/arm-linux-androideabi/include -L /Users/mhayden/.opam/4.02.3+32bit/arm-linux-androideabi/lib -O2 -DCAML_NAME_SPACE -fno-defer-pop -Wall -D_FILE_OFFSET_BITS=64 -D_REENTRANT -c -o unix.o unix.c
• /Users/mhayden/.opam/4.02.3+32bit/lib/android-ndk/toolchains/arm-linux-androideabi-4.8/prebuilt/darwin-x86/bin/arm-linux-androideabi-gcc --sysroot /Users/mhayden/.opam/4.02.3+32bit/lib/android-ndk/platforms/android-21/arch-arm -I /Users/mhayden/.opam/4.02.3+32bit/arm-linux-androideabi/include -L /Users/mhayden/.opam/4.02.3+32bit/arm-linux-androideabi/lib -O2 -DCAML_NAME_SPACE -fno-defer-pop -Wall -D_FILE_OFFSET_BITS=64 -D_REENTRANT -c -o main.o main.c
• /Users/mhayden/.opam/4.02.3+32bit/lib/android-ndk/toolchains/arm-linux-androideabi-4.8/prebuilt/darwin-x86/bin/arm-linux-androideabi-ar rc libcamlrun.a interp.o misc.o stacks.o fix_code.o startup.o freelist.o major_gc.o minor_gc.o memory.o alloc.o roots.o globroots.o fail.o signals.o signals_byt.o printexc.o backtrace.o compare.o ints.o floats.o str.o array.o io.o extern.o intern.o hash.o sys.o meta.o parsing.o gc_ctrl.o terminfo.o md5.o obj.o lexing.o callback.o debugger.o weak.o compact.o finalise.o custom.o dynlink.o unix.o main.o
• /Users/mhayden/.opam/4.02.3+32bit/lib/android-ndk/toolchains/arm-linux-androideabi-4.8/prebuilt/darwin-x86/bin/arm-linux-androideabi-ranlib libcamlrun.a
• sed -n -e "s/CAMLprim value ([a-z0-9_][a-z0-9_])./\1/p" alloc.c array.c compare.c extern.c floats.c gc_ctrl.c hash.c intern.c interp.c ints.c io.c lexing.c md5.c meta.c obj.c parsing.c signals.c str.c sys.c terminfo.c callback.c weak.c finalise.c stacks.c dynlink.c backtrace.c \
• | sort | uniq > primitives
• (echo '#include "caml/mlvalues.h"'; \
• echo '#include "caml/prims.h"'; \
• sed -e 's/.*/extern value &();/' primitives; \
• echo 'c_primitive caml_builtin_cprim[] = {'; \
• sed -e 's/.*/ &,/' primitives; \
• echo ' 0 };'; \
• echo 'char * caml_names_of_builtin_cprim[] = {'; \
• sed -e 's/.*/ "&",/' primitives; \
• echo ' 0 };') > prims.c
• /Users/mhayden/.opam/4.02.3+32bit/lib/android-ndk/toolchains/arm-linux-androideabi-4.8/prebuilt/darwin-x86/bin/arm-linux-androideabi-gcc --sysroot /Users/mhayden/.opam/4.02.3+32bit/lib/android-ndk/platforms/android-21/arch-arm -I /Users/mhayden/.opam/4.02.3+32bit/arm-linux-androideabi/include -L /Users/mhayden/.opam/4.02.3+32bit/arm-linux-androideabi/lib -O2 -DCAML_NAME_SPACE -fno-defer-pop -Wall -D_FILE_OFFSET_BITS=64 -D_REENTRANT -c -o prims.o prims.c
• /Users/mhayden/.opam/4.02.3+32bit/lib/android-ndk/toolchains/arm-linux-androideabi-4.8/prebuilt/darwin-x86/bin/arm-linux-androideabi-gcc --sysroot /Users/mhayden/.opam/4.02.3+32bit/lib/android-ndk/platforms/android-21/arch-arm -I /Users/mhayden/.opam/4.02.3+32bit/arm-linux-androideabi/include -L /Users/mhayden/.opam/4.02.3+32bit/arm-linux-androideabi/lib -O2 -Wl,-E -o ocamlrun \

• prims.o libcamlrun.a -lm  -ldl
  

• echo "/Users/mhayden/.opam/4.02.3+32bit/arm-linux-androideabi/lib/ocaml/stublibs" > ld.conf
• echo "/Users/mhayden/.opam/4.02.3+32bit/arm-linux-androideabi/lib/ocaml" >> ld.conf
• /Users/mhayden/.opam/4.02.3+32bit/lib/android-ndk/toolchains/arm-linux-androideabi-4.8/prebuilt/darwin-x86/bin/arm-linux-androideabi-gcc --sysroot /Users/mhayden/.opam/4.02.3+32bit/lib/android-ndk/platforms/android-21/arch-arm -I /Users/mhayden/.opam/4.02.3+32bit/arm-linux-androideabi/include -L /Users/mhayden/.opam/4.02.3+32bit/arm-linux-androideabi/lib -O2 -c -DCAML_NAME_SPACE -g -DDEBUG -fno-defer-pop -Wall -D_FILE_OFFSET_BITS=64 -D_REENTRANT interp.c -o interp.d.o
• /Users/mhayden/.opam/4.02.3+32bit/lib/android-ndk/toolchains/arm-linux-androideabi-4.8/prebuilt/darwin-x86/bin/arm-linux-androideabi-gcc --sysroot /Users/mhayden/.opam/4.02.3+32bit/lib/android-ndk/platforms/android-21/arch-arm -I /Users/mhayden/.opam/4.02.3+32bit/arm-linux-androideabi/include -L /Users/mhayden/.opam/4.02.3+32bit/arm-linux-androideabi/lib -O2 -c -DCAML_NAME_SPACE -g -DDEBUG -fno-defer-pop -Wall -D_FILE_OFFSET_BITS=64 -D_REENTRANT misc.c -o misc.d.o
• /Users/mhayden/.opam/4.02.3+32bit/lib/android-ndk/toolchains/arm-linux-androideabi-4.8/prebuilt/darwin-x86/bin/arm-linux-androideabi-gcc --sysroot /Users/mhayden/.opam/4.02.3+32bit/lib/android-ndk/platforms/android-21/arch-arm -I /Users/mhayden/.opam/4.02.3+32bit/arm-linux-androideabi/include -L /Users/mhayden/.opam/4.02.3+32bit/arm-linux-androideabi/lib -O2 -c -DCAML_NAME_SPACE -g -DDEBUG -fno-defer-pop -Wall -D_FILE_OFFSET_BITS=64 -D_REENTRANT stacks.c -o stacks.d.o
• /Users/mhayden/.opam/4.02.3+32bit/lib/android-ndk/toolchains/arm-linux-androideabi-4.8/prebuilt/darwin-x86/bin/arm-linux-androideabi-gcc --sysroot /Users/mhayden/.opam/4.02.3+32bit/lib/android-ndk/platforms/android-21/arch-arm -I /Users/mhayden/.opam/4.02.3+32bit/arm-linux-androideabi/include -L /Users/mhayden/.opam/4.02.3+32bit/arm-linux-androideabi/lib -O2 -c -DCAML_NAME_SPACE -g -DDEBUG -fno-defer-pop -Wall -D_FILE_OFFSET_BITS=64 -D_REENTRANT fix_code.c -o fix_code.d.o
• /Users/mhayden/.opam/4.02.3+32bit/lib/android-ndk/toolchains/arm-linux-androideabi-4.8/prebuilt/darwin-x86/bin/arm-linux-androideabi-gcc --sysroot /Users/mhayden/.opam/4.02.3+32bit/lib/android-ndk/platforms/android-21/arch-arm -I /Users/mhayden/.opam/4.02.3+32bit/arm-linux-androideabi/include -L /Users/mhayden/.opam/4.02.3+32bit/arm-linux-androideabi/lib -O2 -c -DCAML_NAME_SPACE -g -DDEBUG -fno-defer-pop -Wall -D_FILE_OFFSET_BITS=64 -D_REENTRANT startup.c -o startup.d.o
• /Users/mhayden/.opam/4.02.3+32bit/lib/android-ndk/toolchains/arm-linux-androideabi-4.8/prebuilt/darwin-x86/bin/arm-linux-androideabi-gcc --sysroot /Users/mhayden/.opam/4.02.3+32bit/lib/android-ndk/platforms/android-21/arch-arm -I /Users/mhayden/.opam/4.02.3+32bit/arm-linux-androideabi/include -L /Users/mhayden/.opam/4.02.3+32bit/arm-linux-androideabi/lib -O2 -c -DCAML_NAME_SPACE -g -DDEBUG -fno-defer-pop -Wall -D_FILE_OFFSET_BITS=64 -D_REENTRANT freelist.c -o freelist.d.o
• /Users/mhayden/.opam/4.02.3+32bit/lib/android-ndk/toolchains/arm-linux-androideabi-4.8/prebuilt/darwin-x86/bin/arm-linux-androideabi-gcc --sysroot /Users/mhayden/.opam/4.02.3+32bit/lib/android-ndk/platforms/android-21/arch-arm -I /Users/mhayden/.opam/4.02.3+32bit/arm-linux-androideabi/include -L /Users/mhayden/.opam/4.02.3+32bit/arm-linux-androideabi/lib -O2 -c -DCAML_NAME_SPACE -g -DDEBUG -fno-defer-pop -Wall -D_FILE_OFFSET_BITS=64 -D_REENTRANT major_gc.c -o major_gc.d.o
• /Users/mhayden/.opam/4.02.3+32bit/lib/android-ndk/toolchains/arm-linux-androideabi-4.8/prebuilt/darwin-x86/bin/arm-linux-androideabi-gcc --sysroot /Users/mhayden/.opam/4.02.3+32bit/lib/android-ndk/platforms/android-21/arch-arm -I /Users/mhayden/.opam/4.02.3+32bit/arm-linux-androideabi/include -L /Users/mhayden/.opam/4.02.3+32bit/arm-linux-androideabi/lib -O2 -c -DCAML_NAME_SPACE -g -DDEBUG -fno-defer-pop -Wall -D_FILE_OFFSET_BITS=64 -D_REENTRANT minor_gc.c -o minor_gc.d.o
• freelist.c: In function 'caml_fl_reset':
• freelist.c:363:3: warning: dereferencing type-punned pointer will break strict-aliasing rules [-Wstrict-aliasing]
• Next (Fl_head) = NULL;
• ^
• /Users/mhayden/.opam/4.02.3+32bit/lib/android-ndk/toolchains/arm-linux-androideabi-4.8/prebuilt/darwin-x86/bin/arm-linux-androideabi-gcc --sysroot /Users/mhayden/.opam/4.02.3+32bit/lib/android-ndk/platforms/android-21/arch-arm -I /Users/mhayden/.opam/4.02.3+32bit/arm-linux-androideabi/include -L /Users/mhayden/.opam/4.02.3+32bit/arm-linux-androideabi/lib -O2 -c -DCAML_NAME_SPACE -g -DDEBUG -fno-defer-pop -Wall -D_FILE_OFFSET_BITS=64 -D_REENTRANT memory.c -o memory.d.o
• /Users/mhayden/.opam/4.02.3+32bit/lib/android-ndk/toolchains/arm-linux-androideabi-4.8/prebuilt/darwin-x86/bin/arm-linux-androideabi-gcc --sysroot /Users/mhayden/.opam/4.02.3+32bit/lib/android-ndk/platforms/android-21/arch-arm -I /Users/mhayden/.opam/4.02.3+32bit/arm-linux-androideabi/include -L /Users/mhayden/.opam/4.02.3+32bit/arm-linux-androideabi/lib -O2 -c -DCAML_NAME_SPACE -g -DDEBUG -fno-defer-pop -Wall -D_FILE_OFFSET_BITS=64 -D_REENTRANT alloc.c -o alloc.d.o
• /Users/mhayden/.opam/4.02.3+32bit/lib/android-ndk/toolchains/arm-linux-androideabi-4.8/prebuilt/darwin-x86/bin/arm-linux-androideabi-gcc --sysroot /Users/mhayden/.opam/4.02.3+32bit/lib/android-ndk/platforms/android-21/arch-arm -I /Users/mhayden/.opam/4.02.3+32bit/arm-linux-androideabi/include -L /Users/mhayden/.opam/4.02.3+32bit/arm-linux-androideabi/lib -O2 -c -DCAML_NAME_SPACE -g -DDEBUG -fno-defer-pop -Wall -D_FILE_OFFSET_BITS=64 -D_REENTRANT roots.c -o roots.d.o
• /Users/mhayden/.opam/4.02.3+32bit/lib/android-ndk/toolchains/arm-linux-androideabi-4.8/prebuilt/darwin-x86/bin/arm-linux-androideabi-gcc --sysroot /Users/mhayden/.opam/4.02.3+32bit/lib/android-ndk/platforms/android-21/arch-arm -I /Users/mhayden/.opam/4.02.3+32bit/arm-linux-androideabi/include -L /Users/mhayden/.opam/4.02.3+32bit/arm-linux-androideabi/lib -O2 -c -DCAML_NAME_SPACE -g -DDEBUG -fno-defer-pop -Wall -D_FILE_OFFSET_BITS=64 -D_REENTRANT globroots.c -o globroots.d.o
• /Users/mhayden/.opam/4.02.3+32bit/lib/android-ndk/toolchains/arm-linux-androideabi-4.8/prebuilt/darwin-x86/bin/arm-linux-androideabi-gcc --sysroot /Users/mhayden/.opam/4.02.3+32bit/lib/android-ndk/platforms/android-21/arch-arm -I /Users/mhayden/.opam/4.02.3+32bit/arm-linux-androideabi/include -L /Users/mhayden/.opam/4.02.3+32bit/arm-linux-androideabi/lib -O2 -c -DCAML_NAME_SPACE -g -DDEBUG -fno-defer-pop -Wall -D_FILE_OFFSET_BITS=64 -D_REENTRANT fail.c -o fail.d.o
• /Users/mhayden/.opam/4.02.3+32bit/lib/android-ndk/toolchains/arm-linux-androideabi-4.8/prebuilt/darwin-x86/bin/arm-linux-androideabi-gcc --sysroot /Users/mhayden/.opam/4.02.3+32bit/lib/android-ndk/platforms/android-21/arch-arm -I /Users/mhayden/.opam/4.02.3+32bit/arm-linux-androideabi/include -L /Users/mhayden/.opam/4.02.3+32bit/arm-linux-androideabi/lib -O2 -c -DCAML_NAME_SPACE -g -DDEBUG -fno-defer-pop -Wall -D_FILE_OFFSET_BITS=64 -D_REENTRANT signals.c -o signals.d.o
• /Users/mhayden/.opam/4.02.3+32bit/lib/android-ndk/toolchains/arm-linux-androideabi-4.8/prebuilt/darwin-x86/bin/arm-linux-androideabi-gcc --sysroot /Users/mhayden/.opam/4.02.3+32bit/lib/android-ndk/platforms/android-21/arch-arm -I /Users/mhayden/.opam/4.02.3+32bit/arm-linux-androideabi/include -L /Users/mhayden/.opam/4.02.3+32bit/arm-linux-androideabi/lib -O2 -c -DCAML_NAME_SPACE -g -DDEBUG -fno-defer-pop -Wall -D_FILE_OFFSET_BITS=64 -D_REENTRANT signals_byt.c -o signals_byt.d.o
• /Users/mhayden/.opam/4.02.3+32bit/lib/android-ndk/toolchains/arm-linux-androideabi-4.8/prebuilt/darwin-x86/bin/arm-linux-androideabi-gcc --sysroot /Users/mhayden/.opam/4.02.3+32bit/lib/android-ndk/platforms/android-21/arch-arm -I /Users/mhayden/.opam/4.02.3+32bit/arm-linux-androideabi/include -L /Users/mhayden/.opam/4.02.3+32bit/arm-linux-androideabi/lib -O2 -c -DCAML_NAME_SPACE -g -DDEBUG -fno-defer-pop -Wall -D_FILE_OFFSET_BITS=64 -D_REENTRANT printexc.c -o printexc.d.o
• /Users/mhayden/.opam/4.02.3+32bit/lib/android-ndk/toolchains/arm-linux-androideabi-4.8/prebuilt/darwin-x86/bin/arm-linux-androideabi-gcc --sysroot /Users/mhayden/.opam/4.02.3+32bit/lib/android-ndk/platforms/android-21/arch-arm -I /Users/mhayden/.opam/4.02.3+32bit/arm-linux-androideabi/include -L /Users/mhayden/.opam/4.02.3+32bit/arm-linux-androideabi/lib -O2 -c -DCAML_NAME_SPACE -g -DDEBUG -fno-defer-pop -Wall -D_FILE_OFFSET_BITS=64 -D_REENTRANT backtrace.c -o backtrace.d.o
• /Users/mhayden/.opam/4.02.3+32bit/lib/android-ndk/toolchains/arm-linux-androideabi-4.8/prebuilt/darwin-x86/bin/arm-linux-androideabi-gcc --sysroot /Users/mhayden/.opam/4.02.3+32bit/lib/android-ndk/platforms/android-21/arch-arm -I /Users/mhayden/.opam/4.02.3+32bit/arm-linux-androideabi/include -L /Users/mhayden/.opam/4.02.3+32bit/arm-linux-androideabi/lib -O2 -c -DCAML_NAME_SPACE -g -DDEBUG -fno-defer-pop -Wall -D_FILE_OFFSET_BITS=64 -D_REENTRANT compare.c -o compare.d.o
• /Users/mhayden/.opam/4.02.3+32bit/lib/android-ndk/toolchains/arm-linux-androideabi-4.8/prebuilt/darwin-x86/bin/arm-linux-androideabi-gcc --sysroot /Users/mhayden/.opam/4.02.3+32bit/lib/android-ndk/platforms/android-21/arch-arm -I /Users/mhayden/.opam/4.02.3+32bit/arm-linux-androideabi/include -L /Users/mhayden/.opam/4.02.3+32bit/arm-linux-androideabi/lib -O2 -c -DCAML_NAME_SPACE -g -DDEBUG -fno-defer-pop -Wall -D_FILE_OFFSET_BITS=64 -D_REENTRANT ints.c -o ints.d.o
• /Users/mhayden/.opam/4.02.3+32bit/lib/android-ndk/toolchains/arm-linux-androideabi-4.8/prebuilt/darwin-x86/bin/arm-linux-androideabi-gcc --sysroot /Users/mhayden/.opam/4.02.3+32bit/lib/android-ndk/platforms/android-21/arch-arm -I /Users/mhayden/.opam/4.02.3+32bit/arm-linux-androideabi/include -L /Users/mhayden/.opam/4.02.3+32bit/arm-linux-androideabi/lib -O2 -c -DCAML_NAME_SPACE -g -DDEBUG -fno-defer-pop -Wall -D_FILE_OFFSET_BITS=64 -D_REENTRANT floats.c -o floats.d.o
• /Users/mhayden/.opam/4.02.3+32bit/lib/android-ndk/toolchains/arm-linux-androideabi-4.8/prebuilt/darwin-x86/bin/arm-linux-androideabi-gcc --sysroot /Users/mhayden/.opam/4.02.3+32bit/lib/android-ndk/platforms/android-21/arch-arm -I /Users/mhayden/.opam/4.02.3+32bit/arm-linux-androideabi/include -L /Users/mhayden/.opam/4.02.3+32bit/arm-linux-androideabi/lib -O2 -c -DCAML_NAME_SPACE -g -DDEBUG -fno-defer-pop -Wall -D_FILE_OFFSET_BITS=64 -D_REENTRANT str.c -o str.d.o
• /Users/mhayden/.opam/4.02.3+32bit/lib/android-ndk/toolchains/arm-linux-androideabi-4.8/prebuilt/darwin-x86/bin/arm-linux-androideabi-gcc --sysroot /Users/mhayden/.opam/4.02.3+32bit/lib/android-ndk/platforms/android-21/arch-arm -I /Users/mhayden/.opam/4.02.3+32bit/arm-linux-androideabi/include -L /Users/mhayden/.opam/4.02.3+32bit/arm-linux-androideabi/lib -O2 -c -DCAML_NAME_SPACE -g -DDEBUG -fno-defer-pop -Wall -D_FILE_OFFSET_BITS=64 -D_REENTRANT array.c -o array.d.o
• /Users/mhayden/.opam/4.02.3+32bit/lib/android-ndk/toolchains/arm-linux-androideabi-4.8/prebuilt/darwin-x86/bin/arm-linux-androideabi-gcc --sysroot /Users/mhayden/.opam/4.02.3+32bit/lib/android-ndk/platforms/android-21/arch-arm -I /Users/mhayden/.opam/4.02.3+32bit/arm-linux-androideabi/include -L /Users/mhayden/.opam/4.02.3+32bit/arm-linux-androideabi/lib -O2 -c -DCAML_NAME_SPACE -g -DDEBUG -fno-defer-pop -Wall -D_FILE_OFFSET_BITS=64 -D_REENTRANT io.c -o io.d.o
• /Users/mhayden/.opam/4.02.3+32bit/lib/android-ndk/toolchains/arm-linux-androideabi-4.8/prebuilt/darwin-x86/bin/arm-linux-androideabi-gcc --sysroot /Users/mhayden/.opam/4.02.3+32bit/lib/android-ndk/platforms/android-21/arch-arm -I /Users/mhayden/.opam/4.02.3+32bit/arm-linux-androideabi/include -L /Users/mhayden/.opam/4.02.3+32bit/arm-linux-androideabi/lib -O2 -c -DCAML_NAME_SPACE -g -DDEBUG -fno-defer-pop -Wall -D_FILE_OFFSET_BITS=64 -D_REENTRANT extern.c -o extern.d.o
• /Users/mhayden/.opam/4.02.3+32bit/lib/android-ndk/toolchains/arm-linux-androideabi-4.8/prebuilt/darwin-x86/bin/arm-linux-androideabi-gcc --sysroot /Users/mhayden/.opam/4.02.3+32bit/lib/android-ndk/platforms/android-21/arch-arm -I /Users/mhayden/.opam/4.02.3+32bit/arm-linux-androideabi/include -L /Users/mhayden/.opam/4.02.3+32bit/arm-linux-androideabi/lib -O2 -c -DCAML_NAME_SPACE -g -DDEBUG -fno-defer-pop -Wall -D_FILE_OFFSET_BITS=64 -D_REENTRANT intern.c -o intern.d.o
• /Users/mhayden/.opam/4.02.3+32bit/lib/android-ndk/toolchains/arm-linux-androideabi-4.8/prebuilt/darwin-x86/bin/arm-linux-androideabi-gcc --sysroot /Users/mhayden/.opam/4.02.3+32bit/lib/android-ndk/platforms/android-21/arch-arm -I /Users/mhayden/.opam/4.02.3+32bit/arm-linux-androideabi/include -L /Users/mhayden/.opam/4.02.3+32bit/arm-linux-androideabi/lib -O2 -c -DCAML_NAME_SPACE -g -DDEBUG -fno-defer-pop -Wall -D_FILE_OFFSET_BITS=64 -D_REENTRANT hash.c -o hash.d.o
• /Users/mhayden/.opam/4.02.3+32bit/lib/android-ndk/toolchains/arm-linux-androideabi-4.8/prebuilt/darwin-x86/bin/arm-linux-androideabi-gcc --sysroot /Users/mhayden/.opam/4.02.3+32bit/lib/android-ndk/platforms/android-21/arch-arm -I /Users/mhayden/.opam/4.02.3+32bit/arm-linux-androideabi/include -L /Users/mhayden/.opam/4.02.3+32bit/arm-linux-androideabi/lib -O2 -c -DCAML_NAME_SPACE -g -DDEBUG -fno-defer-pop -Wall -D_FILE_OFFSET_BITS=64 -D_REENTRANT sys.c -o sys.d.o
• /Users/mhayden/.opam/4.02.3+32bit/lib/android-ndk/toolchains/arm-linux-androideabi-4.8/prebuilt/darwin-x86/bin/arm-linux-androideabi-gcc --sysroot /Users/mhayden/.opam/4.02.3+32bit/lib/android-ndk/platforms/android-21/arch-arm -I /Users/mhayden/.opam/4.02.3+32bit/arm-linux-androideabi/include -L /Users/mhayden/.opam/4.02.3+32bit/arm-linux-androideabi/lib -O2 -c -DCAML_NAME_SPACE -g -DDEBUG -fno-defer-pop -Wall -D_FILE_OFFSET_BITS=64 -D_REENTRANT meta.c -o meta.d.o
• /Users/mhayden/.opam/4.02.3+32bit/lib/android-ndk/toolchains/arm-linux-androideabi-4.8/prebuilt/darwin-x86/bin/arm-linux-androideabi-gcc --sysroot /Users/mhayden/.opam/4.02.3+32bit/lib/android-ndk/platforms/android-21/arch-arm -I /Users/mhayden/.opam/4.02.3+32bit/arm-linux-androideabi/include -L /Users/mhayden/.opam/4.02.3+32bit/arm-linux-androideabi/lib -O2 -c -DCAML_NAME_SPACE -g -DDEBUG -fno-defer-pop -Wall -D_FILE_OFFSET_BITS=64 -D_REENTRANT parsing.c -o parsing.d.o
• /Users/mhayden/.opam/4.02.3+32bit/lib/android-ndk/toolchains/arm-linux-androideabi-4.8/prebuilt/darwin-x86/bin/arm-linux-androideabi-gcc --sysroot /Users/mhayden/.opam/4.02.3+32bit/lib/android-ndk/platforms/android-21/arch-arm -I /Users/mhayden/.opam/4.02.3+32bit/arm-linux-androideabi/include -L /Users/mhayden/.opam/4.02.3+32bit/arm-linux-androideabi/lib -O2 -c -DCAML_NAME_SPACE -g -DDEBUG -fno-defer-pop -Wall -D_FILE_OFFSET_BITS=64 -D_REENTRANT gc_ctrl.c -o gc_ctrl.d.o
• /Users/mhayden/.opam/4.02.3+32bit/lib/android-ndk/toolchains/arm-linux-androideabi-4.8/prebuilt/darwin-x86/bin/arm-linux-androideabi-gcc --sysroot /Users/mhayden/.opam/4.02.3+32bit/lib/android-ndk/platforms/android-21/arch-arm -I /Users/mhayden/.opam/4.02.3+32bit/arm-linux-androideabi/include -L /Users/mhayden/.opam/4.02.3+32bit/arm-linux-androideabi/lib -O2 -c -DCAML_NAME_SPACE -g -DDEBUG -fno-defer-pop -Wall -D_FILE_OFFSET_BITS=64 -D_REENTRANT terminfo.c -o terminfo.d.o
• /Users/mhayden/.opam/4.02.3+32bit/lib/android-ndk/toolchains/arm-linux-androideabi-4.8/prebuilt/darwin-x86/bin/arm-linux-androideabi-gcc --sysroot /Users/mhayden/.opam/4.02.3+32bit/lib/android-ndk/platforms/android-21/arch-arm -I /Users/mhayden/.opam/4.02.3+32bit/arm-linux-androideabi/include -L /Users/mhayden/.opam/4.02.3+32bit/arm-linux-androideabi/lib -O2 -c -DCAML_NAME_SPACE -g -DDEBUG -fno-defer-pop -Wall -D_FILE_OFFSET_BITS=64 -D_REENTRANT md5.c -o md5.d.o
• /Users/mhayden/.opam/4.02.3+32bit/lib/android-ndk/toolchains/arm-linux-androideabi-4.8/prebuilt/darwin-x86/bin/arm-linux-androideabi-gcc --sysroot /Users/mhayden/.opam/4.02.3+32bit/lib/android-ndk/platforms/android-21/arch-arm -I /Users/mhayden/.opam/4.02.3+32bit/arm-linux-androideabi/include -L /Users/mhayden/.opam/4.02.3+32bit/arm-linux-androideabi/lib -O2 -c -DCAML_NAME_SPACE -g -DDEBUG -fno-defer-pop -Wall -D_FILE_OFFSET_BITS=64 -D_REENTRANT obj.c -o obj.d.o
• /Users/mhayden/.opam/4.02.3+32bit/lib/android-ndk/toolchains/arm-linux-androideabi-4.8/prebuilt/darwin-x86/bin/arm-linux-androideabi-gcc --sysroot /Users/mhayden/.opam/4.02.3+32bit/lib/android-ndk/platforms/android-21/arch-arm -I /Users/mhayden/.opam/4.02.3+32bit/arm-linux-androideabi/include -L /Users/mhayden/.opam/4.02.3+32bit/arm-linux-androideabi/lib -O2 -c -DCAML_NAME_SPACE -g -DDEBUG -fno-defer-pop -Wall -D_FILE_OFFSET_BITS=64 -D_REENTRANT lexing.c -o lexing.d.o
• /Users/mhayden/.opam/4.02.3+32bit/lib/android-ndk/toolchains/arm-linux-androideabi-4.8/prebuilt/darwin-x86/bin/arm-linux-androideabi-gcc --sysroot /Users/mhayden/.opam/4.02.3+32bit/lib/android-ndk/platforms/android-21/arch-arm -I /Users/mhayden/.opam/4.02.3+32bit/arm-linux-androideabi/include -L /Users/mhayden/.opam/4.02.3+32bit/arm-linux-androideabi/lib -O2 -c -DCAML_NAME_SPACE -g -DDEBUG -fno-defer-pop -Wall -D_FILE_OFFSET_BITS=64 -D_REENTRANT callback.c -o callback.d.o
• /Users/mhayden/.opam/4.02.3+32bit/lib/android-ndk/toolchains/arm-linux-androideabi-4.8/prebuilt/darwin-x86/bin/arm-linux-androideabi-gcc --sysroot /Users/mhayden/.opam/4.02.3+32bit/lib/android-ndk/platforms/android-21/arch-arm -I /Users/mhayden/.opam/4.02.3+32bit/arm-linux-androideabi/include -L /Users/mhayden/.opam/4.02.3+32bit/arm-linux-androideabi/lib -O2 -c -DCAML_NAME_SPACE -g -DDEBUG -fno-defer-pop -Wall -D_FILE_OFFSET_BITS=64 -D_REENTRANT debugger.c -o debugger.d.o
• md5.c: In function 'caml_MD5Final':
• md5.c:214:5: warning: dereferencing type-punned pointer will break strict-aliasing rules [-Wstrict-aliasing]

•  ((uint32 *) ctx->in)[14] = ctx->bits[0];
  

•  ^
  

• md5.c:215:5: warning: dereferencing type-punned pointer will break strict-aliasing rules [-Wstrict-aliasing]

•  ((uint32 *) ctx->in)[15] = ctx->bits[1];
  

•  ^
  

• /Users/mhayden/.opam/4.02.3+32bit/lib/android-ndk/toolchains/arm-linux-androideabi-4.8/prebuilt/darwin-x86/bin/arm-linux-androideabi-gcc --sysroot /Users/mhayden/.opam/4.02.3+32bit/lib/android-ndk/platforms/android-21/arch-arm -I /Users/mhayden/.opam/4.02.3+32bit/arm-linux-androideabi/include -L /Users/mhayden/.opam/4.02.3+32bit/arm-linux-androideabi/lib -O2 -c -DCAML_NAME_SPACE -g -DDEBUG -fno-defer-pop -Wall -D_FILE_OFFSET_BITS=64 -D_REENTRANT weak.c -o weak.d.o
• /Users/mhayden/.opam/4.02.3+32bit/lib/android-ndk/toolchains/arm-linux-androideabi-4.8/prebuilt/darwin-x86/bin/arm-linux-androideabi-gcc --sysroot /Users/mhayden/.opam/4.02.3+32bit/lib/android-ndk/platforms/android-21/arch-arm -I /Users/mhayden/.opam/4.02.3+32bit/arm-linux-androideabi/include -L /Users/mhayden/.opam/4.02.3+32bit/arm-linux-androideabi/lib -O2 -c -DCAML_NAME_SPACE -g -DDEBUG -fno-defer-pop -Wall -D_FILE_OFFSET_BITS=64 -D_REENTRANT compact.c -o compact.d.o
• /Users/mhayden/.opam/4.02.3+32bit/lib/android-ndk/toolchains/arm-linux-androideabi-4.8/prebuilt/darwin-x86/bin/arm-linux-androideabi-gcc --sysroot /Users/mhayden/.opam/4.02.3+32bit/lib/android-ndk/platforms/android-21/arch-arm -I /Users/mhayden/.opam/4.02.3+32bit/arm-linux-androideabi/include -L /Users/mhayden/.opam/4.02.3+32bit/arm-linux-androideabi/lib -O2 -c -DCAML_NAME_SPACE -g -DDEBUG -fno-defer-pop -Wall -D_FILE_OFFSET_BITS=64 -D_REENTRANT finalise.c -o finalise.d.o
• /Users/mhayden/.opam/4.02.3+32bit/lib/android-ndk/toolchains/arm-linux-androideabi-4.8/prebuilt/darwin-x86/bin/arm-linux-androideabi-gcc --sysroot /Users/mhayden/.opam/4.02.3+32bit/lib/android-ndk/platforms/android-21/arch-arm -I /Users/mhayden/.opam/4.02.3+32bit/arm-linux-androideabi/include -L /Users/mhayden/.opam/4.02.3+32bit/arm-linux-androideabi/lib -O2 -c -DCAML_NAME_SPACE -g -DDEBUG -fno-defer-pop -Wall -D_FILE_OFFSET_BITS=64 -D_REENTRANT custom.c -o custom.d.o
• /Users/mhayden/.opam/4.02.3+32bit/lib/android-ndk/toolchains/arm-linux-androideabi-4.8/prebuilt/darwin-x86/bin/arm-linux-androideabi-gcc --sysroot /Users/mhayden/.opam/4.02.3+32bit/lib/android-ndk/platforms/android-21/arch-arm -I /Users/mhayden/.opam/4.02.3+32bit/arm-linux-androideabi/include -L /Users/mhayden/.opam/4.02.3+32bit/arm-linux-androideabi/lib -O2 -c -DCAML_NAME_SPACE -g -DDEBUG -fno-defer-pop -Wall -D_FILE_OFFSET_BITS=64 -D_REENTRANT dynlink.c -o dynlink.d.o
• /Users/mhayden/.opam/4.02.3+32bit/lib/android-ndk/toolchains/arm-linux-androideabi-4.8/prebuilt/darwin-x86/bin/arm-linux-androideabi-gcc --sysroot /Users/mhayden/.opam/4.02.3+32bit/lib/android-ndk/platforms/android-21/arch-arm -I /Users/mhayden/.opam/4.02.3+32bit/arm-linux-androideabi/include -L /Users/mhayden/.opam/4.02.3+32bit/arm-linux-androideabi/lib -O2 -c -DCAML_NAME_SPACE -g -DDEBUG -fno-defer-pop -Wall -D_FILE_OFFSET_BITS=64 -D_REENTRANT unix.c -o unix.d.o
• /Users/mhayden/.opam/4.02.3+32bit/lib/android-ndk/toolchains/arm-linux-androideabi-4.8/prebuilt/darwin-x86/bin/arm-linux-androideabi-gcc --sysroot /Users/mhayden/.opam/4.02.3+32bit/lib/android-ndk/platforms/android-21/arch-arm -I /Users/mhayden/.opam/4.02.3+32bit/arm-linux-androideabi/include -L /Users/mhayden/.opam/4.02.3+32bit/arm-linux-androideabi/lib -O2 -c -DCAML_NAME_SPACE -g -DDEBUG -fno-defer-pop -Wall -D_FILE_OFFSET_BITS=64 -D_REENTRANT main.c -o main.d.o
• sed -e '//*/d' \

• -e '/^#/d' \
  

• -e 's/enum /char \* names_of_/' \
  

• -e 's/{$/[] = {/' \
  

• -e 's/([[:upper:]][[:upper:]_0-9]*)/"\1"/g' caml/instruct.h > caml/opnames.h
  

• /Users/mhayden/.opam/4.02.3+32bit/lib/android-ndk/toolchains/arm-linux-androideabi-4.8/prebuilt/darwin-x86/bin/arm-linux-androideabi-gcc --sysroot /Users/mhayden/.opam/4.02.3+32bit/lib/android-ndk/platforms/android-21/arch-arm -I /Users/mhayden/.opam/4.02.3+32bit/arm-linux-androideabi/include -L /Users/mhayden/.opam/4.02.3+32bit/arm-linux-androideabi/lib -O2 -c -DCAML_NAME_SPACE -g -DDEBUG -fno-defer-pop -Wall -D_FILE_OFFSET_BITS=64 -D_REENTRANT instrtrace.c -o instrtrace.d.o
• /Users/mhayden/.opam/4.02.3+32bit/lib/android-ndk/toolchains/arm-linux-androideabi-4.8/prebuilt/darwin-x86/bin/arm-linux-androideabi-ar rc libcamlrund.a interp.d.o misc.d.o stacks.d.o fix_code.d.o startup.d.o freelist.d.o major_gc.d.o minor_gc.d.o memory.d.o alloc.d.o roots.d.o globroots.d.o fail.d.o signals.d.o signals_byt.d.o printexc.d.o backtrace.d.o compare.d.o ints.d.o floats.d.o str.d.o array.d.o io.d.o extern.d.o intern.d.o hash.d.o sys.d.o meta.d.o parsing.d.o gc_ctrl.d.o terminfo.d.o md5.d.o obj.d.o lexing.d.o callback.d.o debugger.d.o weak.d.o compact.d.o finalise.d.o custom.d.o dynlink.d.o unix.d.o main.d.o instrtrace.d.o
• /Users/mhayden/.opam/4.02.3+32bit/lib/android-ndk/toolchains/arm-linux-androideabi-4.8/prebuilt/darwin-x86/bin/arm-linux-androideabi-ranlib libcamlrund.a
• /Users/mhayden/.opam/4.02.3+32bit/lib/android-ndk/toolchains/arm-linux-androideabi-4.8/prebuilt/darwin-x86/bin/arm-linux-androideabi-gcc --sysroot /Users/mhayden/.opam/4.02.3+32bit/lib/android-ndk/platforms/android-21/arch-arm -I /Users/mhayden/.opam/4.02.3+32bit/arm-linux-androideabi/include -L /Users/mhayden/.opam/4.02.3+32bit/arm-linux-androideabi/lib -O2 -g -Wl,-E -o ocamlrund \

• prims.o libcamlrund.a -lm  -ldl
  

• /Users/mhayden/.opam/4.02.3+32bit/lib/android-ndk/toolchains/arm-linux-androideabi-4.8/prebuilt/darwin-x86/bin/arm-linux-androideabi-gcc --sysroot /Users/mhayden/.opam/4.02.3+32bit/lib/android-ndk/platforms/android-21/arch-arm -I /Users/mhayden/.opam/4.02.3+32bit/arm-linux-androideabi/include -L /Users/mhayden/.opam/4.02.3+32bit/arm-linux-androideabi/lib -O2 -c -DCAML_NAME_SPACE -fno-defer-pop -Wall -D_FILE_OFFSET_BITS=64 -D_REENTRANT -fPIC interp.c -o interp.pic.o
• instrtrace.c: In function 'caml_trace_value_file':
• instrtrace.c:186:5: warning: format '%ld' expects argument of type 'long int', but argument 3 has type 'int' [-Wformat=]

•  fprintf (f, "=code@%ld", (code_t) v - prog);
  

•  ^
  

• instrtrace.c:191:5: warning: format '%ld' expects argument of type 'long int', but argument 3 has type 'int' [-Wformat=]

•  fprintf (f, "=stack_%ld", (intnat_)caml_stack_high - (intnat_)v);
  

•  ^
  

• instrtrace.c:198:7: warning: format '%ld' expects argument of type 'long int', but argument 4 has type 'int' [-Wformat=]

•    fprintf (f, "=closure[s%d,cod%ld]", s, (code_t) (Code_val (v)) - prog);
  

•    ^
  

• instrtrace.c: In function 'caml_trace_accu_sp_file':
• instrtrace.c:254:12: warning: format '%ld' expects argument of type 'long int', but argument 4 has type 'int' [-Wformat=]

•         (intnat) sp, caml_stack_high - sp);
  

•         ^
  

• instrtrace.c:257:5: warning: format '%ld' expects argument of type 'long int', but argument 3 has type 'int' [-Wformat=]

•  fprintf (f, "\n[%ld] ", caml_stack_high - p);
  

•  ^
  

• /Users/mhayden/.opam/4.02.3+32bit/lib/android-ndk/toolchains/arm-linux-androideabi-4.8/prebuilt/darwin-x86/bin/arm-linux-androideabi-gcc --sysroot /Users/mhayden/.opam/4.02.3+32bit/lib/android-ndk/platforms/android-21/arch-arm -I /Users/mhayden/.opam/4.02.3+32bit/arm-linux-androideabi/include -L /Users/mhayden/.opam/4.02.3+32bit/arm-linux-androideabi/lib -O2 -c -DCAML_NAME_SPACE -fno-defer-pop -Wall -D_FILE_OFFSET_BITS=64 -D_REENTRANT -fPIC misc.c -o misc.pic.o
• /Users/mhayden/.opam/4.02.3+32bit/lib/android-ndk/toolchains/arm-linux-androideabi-4.8/prebuilt/darwin-x86/bin/arm-linux-androideabi-gcc --sysroot /Users/mhayden/.opam/4.02.3+32bit/lib/android-ndk/platforms/android-21/arch-arm -I /Users/mhayden/.opam/4.02.3+32bit/arm-linux-androideabi/include -L /Users/mhayden/.opam/4.02.3+32bit/arm-linux-androideabi/lib -O2 -c -DCAML_NAME_SPACE -fno-defer-pop -Wall -D_FILE_OFFSET_BITS=64 -D_REENTRANT -fPIC stacks.c -o stacks.pic.o
• /Users/mhayden/.opam/4.02.3+32bit/lib/android-ndk/toolchains/arm-linux-androideabi-4.8/prebuilt/darwin-x86/bin/arm-linux-androideabi-gcc --sysroot /Users/mhayden/.opam/4.02.3+32bit/lib/android-ndk/platforms/android-21/arch-arm -I /Users/mhayden/.opam/4.02.3+32bit/arm-linux-androideabi/include -L /Users/mhayden/.opam/4.02.3+32bit/arm-linux-androideabi/lib -O2 -c -DCAML_NAME_SPACE -fno-defer-pop -Wall -D_FILE_OFFSET_BITS=64 -D_REENTRANT -fPIC fix_code.c -o fix_code.pic.o
• /Users/mhayden/.opam/4.02.3+32bit/lib/android-ndk/toolchains/arm-linux-androideabi-4.8/prebuilt/darwin-x86/bin/arm-linux-androideabi-gcc --sysroot /Users/mhayden/.opam/4.02.3+32bit/lib/android-ndk/platforms/android-21/arch-arm -I /Users/mhayden/.opam/4.02.3+32bit/arm-linux-androideabi/include -L /Users/mhayden/.opam/4.02.3+32bit/arm-linux-androideabi/lib -O2 -c -DCAML_NAME_SPACE -fno-defer-pop -Wall -D_FILE_OFFSET_BITS=64 -D_REENTRANT -fPIC startup.c -o startup.pic.o
• /Users/mhayden/.opam/4.02.3+32bit/lib/android-ndk/toolchains/arm-linux-androideabi-4.8/prebuilt/darwin-x86/bin/arm-linux-androideabi-gcc --sysroot /Users/mhayden/.opam/4.02.3+32bit/lib/android-ndk/platforms/android-21/arch-arm -I /Users/mhayden/.opam/4.02.3+32bit/arm-linux-androideabi/include -L /Users/mhayden/.opam/4.02.3+32bit/arm-linux-androideabi/lib -O2 -c -DCAML_NAME_SPACE -fno-defer-pop -Wall -D_FILE_OFFSET_BITS=64 -D_REENTRANT -fPIC freelist.c -o freelist.pic.o
• /Users/mhayden/.opam/4.02.3+32bit/lib/android-ndk/toolchains/arm-linux-androideabi-4.8/prebuilt/darwin-x86/bin/arm-linux-androideabi-gcc --sysroot /Users/mhayden/.opam/4.02.3+32bit/lib/android-ndk/platforms/android-21/arch-arm -I /Users/mhayden/.opam/4.02.3+32bit/arm-linux-androideabi/include -L /Users/mhayden/.opam/4.02.3+32bit/arm-linux-androideabi/lib -O2 -c -DCAML_NAME_SPACE -fno-defer-pop -Wall -D_FILE_OFFSET_BITS=64 -D_REENTRANT -fPIC major_gc.c -o major_gc.pic.o
• freelist.c: In function 'caml_fl_reset':
• freelist.c:363:3: warning: dereferencing type-punned pointer will break strict-aliasing rules [-Wstrict-aliasing]
• Next (Fl_head) = NULL;
• ^
• /Users/mhayden/.opam/4.02.3+32bit/lib/android-ndk/toolchains/arm-linux-androideabi-4.8/prebuilt/darwin-x86/bin/arm-linux-androideabi-gcc --sysroot /Users/mhayden/.opam/4.02.3+32bit/lib/android-ndk/platforms/android-21/arch-arm -I /Users/mhayden/.opam/4.02.3+32bit/arm-linux-androideabi/include -L /Users/mhayden/.opam/4.02.3+32bit/arm-linux-androideabi/lib -O2 -c -DCAML_NAME_SPACE -fno-defer-pop -Wall -D_FILE_OFFSET_BITS=64 -D_REENTRANT -fPIC minor_gc.c -o minor_gc.pic.o
• /Users/mhayden/.opam/4.02.3+32bit/lib/android-ndk/toolchains/arm-linux-androideabi-4.8/prebuilt/darwin-x86/bin/arm-linux-androideabi-gcc --sysroot /Users/mhayden/.opam/4.02.3+32bit/lib/android-ndk/platforms/android-21/arch-arm -I /Users/mhayden/.opam/4.02.3+32bit/arm-linux-androideabi/include -L /Users/mhayden/.opam/4.02.3+32bit/arm-linux-androideabi/lib -O2 -c -DCAML_NAME_SPACE -fno-defer-pop -Wall -D_FILE_OFFSET_BITS=64 -D_REENTRANT -fPIC memory.c -o memory.pic.o
• /Users/mhayden/.opam/4.02.3+32bit/lib/android-ndk/toolchains/arm-linux-androideabi-4.8/prebuilt/darwin-x86/bin/arm-linux-androideabi-gcc --sysroot /Users/mhayden/.opam/4.02.3+32bit/lib/android-ndk/platforms/android-21/arch-arm -I /Users/mhayden/.opam/4.02.3+32bit/arm-linux-androideabi/include -L /Users/mhayden/.opam/4.02.3+32bit/arm-linux-androideabi/lib -O2 -c -DCAML_NAME_SPACE -fno-defer-pop -Wall -D_FILE_OFFSET_BITS=64 -D_REENTRANT -fPIC alloc.c -o alloc.pic.o
• /Users/mhayden/.opam/4.02.3+32bit/lib/android-ndk/toolchains/arm-linux-androideabi-4.8/prebuilt/darwin-x86/bin/arm-linux-androideabi-gcc --sysroot /Users/mhayden/.opam/4.02.3+32bit/lib/android-ndk/platforms/android-21/arch-arm -I /Users/mhayden/.opam/4.02.3+32bit/arm-linux-androideabi/include -L /Users/mhayden/.opam/4.02.3+32bit/arm-linux-androideabi/lib -O2 -c -DCAML_NAME_SPACE -fno-defer-pop -Wall -D_FILE_OFFSET_BITS=64 -D_REENTRANT -fPIC roots.c -o roots.pic.o
• /Users/mhayden/.opam/4.02.3+32bit/lib/android-ndk/toolchains/arm-linux-androideabi-4.8/prebuilt/darwin-x86/bin/arm-linux-androideabi-gcc --sysroot /Users/mhayden/.opam/4.02.3+32bit/lib/android-ndk/platforms/android-21/arch-arm -I /Users/mhayden/.opam/4.02.3+32bit/arm-linux-androideabi/include -L /Users/mhayden/.opam/4.02.3+32bit/arm-linux-androideabi/lib -O2 -c -DCAML_NAME_SPACE -fno-defer-pop -Wall -D_FILE_OFFSET_BITS=64 -D_REENTRANT -fPIC globroots.c -o globroots.pic.o
• /Users/mhayden/.opam/4.02.3+32bit/lib/android-ndk/toolchains/arm-linux-androideabi-4.8/prebuilt/darwin-x86/bin/arm-linux-androideabi-gcc --sysroot /Users/mhayden/.opam/4.02.3+32bit/lib/android-ndk/platforms/android-21/arch-arm -I /Users/mhayden/.opam/4.02.3+32bit/arm-linux-androideabi/include -L /Users/mhayden/.opam/4.02.3+32bit/arm-linux-androideabi/lib -O2 -c -DCAML_NAME_SPACE -fno-defer-pop -Wall -D_FILE_OFFSET_BITS=64 -D_REENTRANT -fPIC fail.c -o fail.pic.o
• /Users/mhayden/.opam/4.02.3+32bit/lib/android-ndk/toolchains/arm-linux-androideabi-4.8/prebuilt/darwin-x86/bin/arm-linux-androideabi-gcc --sysroot /Users/mhayden/.opam/4.02.3+32bit/lib/android-ndk/platforms/android-21/arch-arm -I /Users/mhayden/.opam/4.02.3+32bit/arm-linux-androideabi/include -L /Users/mhayden/.opam/4.02.3+32bit/arm-linux-androideabi/lib -O2 -c -DCAML_NAME_SPACE -fno-defer-pop -Wall -D_FILE_OFFSET_BITS=64 -D_REENTRANT -fPIC signals.c -o signals.pic.o
• /Users/mhayden/.opam/4.02.3+32bit/lib/android-ndk/toolchains/arm-linux-androideabi-4.8/prebuilt/darwin-x86/bin/arm-linux-androideabi-gcc --sysroot /Users/mhayden/.opam/4.02.3+32bit/lib/android-ndk/platforms/android-21/arch-arm -I /Users/mhayden/.opam/4.02.3+32bit/arm-linux-androideabi/include -L /Users/mhayden/.opam/4.02.3+32bit/arm-linux-androideabi/lib -O2 -c -DCAML_NAME_SPACE -fno-defer-pop -Wall -D_FILE_OFFSET_BITS=64 -D_REENTRANT -fPIC signals_byt.c -o signals_byt.pic.o
• /Users/mhayden/.opam/4.02.3+32bit/lib/android-ndk/toolchains/arm-linux-androideabi-4.8/prebuilt/darwin-x86/bin/arm-linux-androideabi-gcc --sysroot /Users/mhayden/.opam/4.02.3+32bit/lib/android-ndk/platforms/android-21/arch-arm -I /Users/mhayden/.opam/4.02.3+32bit/arm-linux-androideabi/include -L /Users/mhayden/.opam/4.02.3+32bit/arm-linux-androideabi/lib -O2 -c -DCAML_NAME_SPACE -fno-defer-pop -Wall -D_FILE_OFFSET_BITS=64 -D_REENTRANT -fPIC printexc.c -o printexc.pic.o
• /Users/mhayden/.opam/4.02.3+32bit/lib/android-ndk/toolchains/arm-linux-androideabi-4.8/prebuilt/darwin-x86/bin/arm-linux-androideabi-gcc --sysroot /Users/mhayden/.opam/4.02.3+32bit/lib/android-ndk/platforms/android-21/arch-arm -I /Users/mhayden/.opam/4.02.3+32bit/arm-linux-androideabi/include -L /Users/mhayden/.opam/4.02.3+32bit/arm-linux-androideabi/lib -O2 -c -DCAML_NAME_SPACE -fno-defer-pop -Wall -D_FILE_OFFSET_BITS=64 -D_REENTRANT -fPIC backtrace.c -o backtrace.pic.o
• /Users/mhayden/.opam/4.02.3+32bit/lib/android-ndk/toolchains/arm-linux-androideabi-4.8/prebuilt/darwin-x86/bin/arm-linux-androideabi-gcc --sysroot /Users/mhayden/.opam/4.02.3+32bit/lib/android-ndk/platforms/android-21/arch-arm -I /Users/mhayden/.opam/4.02.3+32bit/arm-linux-androideabi/include -L /Users/mhayden/.opam/4.02.3+32bit/arm-linux-androideabi/lib -O2 -c -DCAML_NAME_SPACE -fno-defer-pop -Wall -D_FILE_OFFSET_BITS=64 -D_REENTRANT -fPIC compare.c -o compare.pic.o
• /Users/mhayden/.opam/4.02.3+32bit/lib/android-ndk/toolchains/arm-linux-androideabi-4.8/prebuilt/darwin-x86/bin/arm-linux-androideabi-gcc --sysroot /Users/mhayden/.opam/4.02.3+32bit/lib/android-ndk/platforms/android-21/arch-arm -I /Users/mhayden/.opam/4.02.3+32bit/arm-linux-androideabi/include -L /Users/mhayden/.opam/4.02.3+32bit/arm-linux-androideabi/lib -O2 -c -DCAML_NAME_SPACE -fno-defer-pop -Wall -D_FILE_OFFSET_BITS=64 -D_REENTRANT -fPIC ints.c -o ints.pic.o
• /Users/mhayden/.opam/4.02.3+32bit/lib/android-ndk/toolchains/arm-linux-androideabi-4.8/prebuilt/darwin-x86/bin/arm-linux-androideabi-gcc --sysroot /Users/mhayden/.opam/4.02.3+32bit/lib/android-ndk/platforms/android-21/arch-arm -I /Users/mhayden/.opam/4.02.3+32bit/arm-linux-androideabi/include -L /Users/mhayden/.opam/4.02.3+32bit/arm-linux-androideabi/lib -O2 -c -DCAML_NAME_SPACE -fno-defer-pop -Wall -D_FILE_OFFSET_BITS=64 -D_REENTRANT -fPIC floats.c -o floats.pic.o
• /Users/mhayden/.opam/4.02.3+32bit/lib/android-ndk/toolchains/arm-linux-androideabi-4.8/prebuilt/darwin-x86/bin/arm-linux-androideabi-gcc --sysroot /Users/mhayden/.opam/4.02.3+32bit/lib/android-ndk/platforms/android-21/arch-arm -I /Users/mhayden/.opam/4.02.3+32bit/arm-linux-androideabi/include -L /Users/mhayden/.opam/4.02.3+32bit/arm-linux-androideabi/lib -O2 -c -DCAML_NAME_SPACE -fno-defer-pop -Wall -D_FILE_OFFSET_BITS=64 -D_REENTRANT -fPIC str.c -o str.pic.o
• /Users/mhayden/.opam/4.02.3+32bit/lib/android-ndk/toolchains/arm-linux-androideabi-4.8/prebuilt/darwin-x86/bin/arm-linux-androideabi-gcc --sysroot /Users/mhayden/.opam/4.02.3+32bit/lib/android-ndk/platforms/android-21/arch-arm -I /Users/mhayden/.opam/4.02.3+32bit/arm-linux-androideabi/include -L /Users/mhayden/.opam/4.02.3+32bit/arm-linux-androideabi/lib -O2 -c -DCAML_NAME_SPACE -fno-defer-pop -Wall -D_FILE_OFFSET_BITS=64 -D_REENTRANT -fPIC array.c -o array.pic.o
• /Users/mhayden/.opam/4.02.3+32bit/lib/android-ndk/toolchains/arm-linux-androideabi-4.8/prebuilt/darwin-x86/bin/arm-linux-androideabi-gcc --sysroot /Users/mhayden/.opam/4.02.3+32bit/lib/android-ndk/platforms/android-21/arch-arm -I /Users/mhayden/.opam/4.02.3+32bit/arm-linux-androideabi/include -L /Users/mhayden/.opam/4.02.3+32bit/arm-linux-androideabi/lib -O2 -c -DCAML_NAME_SPACE -fno-defer-pop -Wall -D_FILE_OFFSET_BITS=64 -D_REENTRANT -fPIC io.c -o io.pic.o
• /Users/mhayden/.opam/4.02.3+32bit/lib/android-ndk/toolchains/arm-linux-androideabi-4.8/prebuilt/darwin-x86/bin/arm-linux-androideabi-gcc --sysroot /Users/mhayden/.opam/4.02.3+32bit/lib/android-ndk/platforms/android-21/arch-arm -I /Users/mhayden/.opam/4.02.3+32bit/arm-linux-androideabi/include -L /Users/mhayden/.opam/4.02.3+32bit/arm-linux-androideabi/lib -O2 -c -DCAML_NAME_SPACE -fno-defer-pop -Wall -D_FILE_OFFSET_BITS=64 -D_REENTRANT -fPIC extern.c -o extern.pic.o
• /Users/mhayden/.opam/4.02.3+32bit/lib/android-ndk/toolchains/arm-linux-androideabi-4.8/prebuilt/darwin-x86/bin/arm-linux-androideabi-gcc --sysroot /Users/mhayden/.opam/4.02.3+32bit/lib/android-ndk/platforms/android-21/arch-arm -I /Users/mhayden/.opam/4.02.3+32bit/arm-linux-androideabi/include -L /Users/mhayden/.opam/4.02.3+32bit/arm-linux-androideabi/lib -O2 -c -DCAML_NAME_SPACE -fno-defer-pop -Wall -D_FILE_OFFSET_BITS=64 -D_REENTRANT -fPIC intern.c -o intern.pic.o
• /Users/mhayden/.opam/4.02.3+32bit/lib/android-ndk/toolchains/arm-linux-androideabi-4.8/prebuilt/darwin-x86/bin/arm-linux-androideabi-gcc --sysroot /Users/mhayden/.opam/4.02.3+32bit/lib/android-ndk/platforms/android-21/arch-arm -I /Users/mhayden/.opam/4.02.3+32bit/arm-linux-androideabi/include -L /Users/mhayden/.opam/4.02.3+32bit/arm-linux-androideabi/lib -O2 -c -DCAML_NAME_SPACE -fno-defer-pop -Wall -D_FILE_OFFSET_BITS=64 -D_REENTRANT -fPIC hash.c -o hash.pic.o
• /Users/mhayden/.opam/4.02.3+32bit/lib/android-ndk/toolchains/arm-linux-androideabi-4.8/prebuilt/darwin-x86/bin/arm-linux-androideabi-gcc --sysroot /Users/mhayden/.opam/4.02.3+32bit/lib/android-ndk/platforms/android-21/arch-arm -I /Users/mhayden/.opam/4.02.3+32bit/arm-linux-androideabi/include -L /Users/mhayden/.opam/4.02.3+32bit/arm-linux-androideabi/lib -O2 -c -DCAML_NAME_SPACE -fno-defer-pop -Wall -D_FILE_OFFSET_BITS=64 -D_REENTRANT -fPIC sys.c -o sys.pic.o
• /Users/mhayden/.opam/4.02.3+32bit/lib/android-ndk/toolchains/arm-linux-androideabi-4.8/prebuilt/darwin-x86/bin/arm-linux-androideabi-gcc --sysroot /Users/mhayden/.opam/4.02.3+32bit/lib/android-ndk/platforms/android-21/arch-arm -I /Users/mhayden/.opam/4.02.3+32bit/arm-linux-androideabi/include -L /Users/mhayden/.opam/4.02.3+32bit/arm-linux-androideabi/lib -O2 -c -DCAML_NAME_SPACE -fno-defer-pop -Wall -D_FILE_OFFSET_BITS=64 -D_REENTRANT -fPIC meta.c -o meta.pic.o
• /Users/mhayden/.opam/4.02.3+32bit/lib/android-ndk/toolchains/arm-linux-androideabi-4.8/prebuilt/darwin-x86/bin/arm-linux-androideabi-gcc --sysroot /Users/mhayden/.opam/4.02.3+32bit/lib/android-ndk/platforms/android-21/arch-arm -I /Users/mhayden/.opam/4.02.3+32bit/arm-linux-androideabi/include -L /Users/mhayden/.opam/4.02.3+32bit/arm-linux-androideabi/lib -O2 -c -DCAML_NAME_SPACE -fno-defer-pop -Wall -D_FILE_OFFSET_BITS=64 -D_REENTRANT -fPIC parsing.c -o parsing.pic.o
• /Users/mhayden/.opam/4.02.3+32bit/lib/android-ndk/toolchains/arm-linux-androideabi-4.8/prebuilt/darwin-x86/bin/arm-linux-androideabi-gcc --sysroot /Users/mhayden/.opam/4.02.3+32bit/lib/android-ndk/platforms/android-21/arch-arm -I /Users/mhayden/.opam/4.02.3+32bit/arm-linux-androideabi/include -L /Users/mhayden/.opam/4.02.3+32bit/arm-linux-androideabi/lib -O2 -c -DCAML_NAME_SPACE -fno-defer-pop -Wall -D_FILE_OFFSET_BITS=64 -D_REENTRANT -fPIC gc_ctrl.c -o gc_ctrl.pic.o
• /Users/mhayden/.opam/4.02.3+32bit/lib/android-ndk/toolchains/arm-linux-androideabi-4.8/prebuilt/darwin-x86/bin/arm-linux-androideabi-gcc --sysroot /Users/mhayden/.opam/4.02.3+32bit/lib/android-ndk/platforms/android-21/arch-arm -I /Users/mhayden/.opam/4.02.3+32bit/arm-linux-androideabi/include -L /Users/mhayden/.opam/4.02.3+32bit/arm-linux-androideabi/lib -O2 -c -DCAML_NAME_SPACE -fno-defer-pop -Wall -D_FILE_OFFSET_BITS=64 -D_REENTRANT -fPIC terminfo.c -o terminfo.pic.o
• /Users/mhayden/.opam/4.02.3+32bit/lib/android-ndk/toolchains/arm-linux-androideabi-4.8/prebuilt/darwin-x86/bin/arm-linux-androideabi-gcc --sysroot /Users/mhayden/.opam/4.02.3+32bit/lib/android-ndk/platforms/android-21/arch-arm -I /Users/mhayden/.opam/4.02.3+32bit/arm-linux-androideabi/include -L /Users/mhayden/.opam/4.02.3+32bit/arm-linux-androideabi/lib -O2 -c -DCAML_NAME_SPACE -fno-defer-pop -Wall -D_FILE_OFFSET_BITS=64 -D_REENTRANT -fPIC md5.c -o md5.pic.o
• /Users/mhayden/.opam/4.02.3+32bit/lib/android-ndk/toolchains/arm-linux-androideabi-4.8/prebuilt/darwin-x86/bin/arm-linux-androideabi-gcc --sysroot /Users/mhayden/.opam/4.02.3+32bit/lib/android-ndk/platforms/android-21/arch-arm -I /Users/mhayden/.opam/4.02.3+32bit/arm-linux-androideabi/include -L /Users/mhayden/.opam/4.02.3+32bit/arm-linux-androideabi/lib -O2 -c -DCAML_NAME_SPACE -fno-defer-pop -Wall -D_FILE_OFFSET_BITS=64 -D_REENTRANT -fPIC obj.c -o obj.pic.o
• /Users/mhayden/.opam/4.02.3+32bit/lib/android-ndk/toolchains/arm-linux-androideabi-4.8/prebuilt/darwin-x86/bin/arm-linux-androideabi-gcc --sysroot /Users/mhayden/.opam/4.02.3+32bit/lib/android-ndk/platforms/android-21/arch-arm -I /Users/mhayden/.opam/4.02.3+32bit/arm-linux-androideabi/include -L /Users/mhayden/.opam/4.02.3+32bit/arm-lin

from opam-cross-android.

Well, I certainly appreciate your help. I’ll switch back to my Linux host for doing Android builds for the time being. —M

On Oct 3, 2015, at 5:40 PM, whitequark [email protected] wrote:

Yes, but I'm busy for the time being.

—
Reply to this email directly or view it on GitHub https://github.com/whitequark/opam-android/issues/12#issuecomment-145295773.

from opam-cross-android.

The log above confirms my suspicion: the patch isn't being applied. I have no idea why; maybe ask on #opam on irc.freenode.net?

from opam-cross-android.

I removed .opam/repo/android, synced and rebuilt from scratch, including 4.02.3+32bit. Got the same result.

I switched back to 64-bit debian and appear to be running into the same strict-aliasing problem there, with the same warning/error in md5.c for ocamldoc. Same work-around fixes it.

I guess there could be a bug in opam affecting debian and macos...

I’ve been using opam-android with 4.02.1 for some time (with great success) and was hoping to upgrade toolchain to 4.02.3.

It sounds like you are busy but if you want to see my SEAiq app running on Android, you can download a free copy here: http:/doc.seaiq.com/dist . Pilots are already using it on River Seine for commercial vessels… Thanks again for your help.

—Mark

On Oct 3, 2015, at 5:50 PM, whitequark [email protected] wrote:

The log above confirms my suspicion: the patch isn't being applied. I have no idea why; maybe ask on #opam on irc.freenode.net?

—
Reply to this email directly or view it on GitHub https://github.com/whitequark/opam-android/issues/12#issuecomment-145296073.

from opam-cross-android.

Oh, you're the SEAiq person! I remember, yes.

The problem is not with md5.c... that's just a warning. Look at the line in stderr which says "sh ./runocamldoc" and then promptly fails to execute the (wrong) camlrun binary. That's the actual culprit.

I'll take a look into it when I have time.

from opam-cross-android.

Thanks for looking into this. With the minor change I mentioned, I did get 64-bit debian upgraded to 4.02.3 and it appears to be working fine.

—Mark

On Oct 3, 2015, at 8:03 PM, whitequark [email protected] wrote:

Oh, you're the SEAiq person! I remember, yes.

The problem is not with md5.c... that's just a warning. Look at the line in stderr which says "sh ./runocamldoc" and then promptly fails to execute the (wrong) camlrun binary. That's the actual culprit.

I'll take a look into it when I have time.

—
Reply to this email directly or view it on GitHub https://github.com/whitequark/opam-android/issues/12#issuecomment-145303862.

from opam-cross-android.