Am Donnerstag, den 25.06.2015, 23:04 -0400 schrieb Berke Durak:
> To conclude, as powerful ARM systems are very cheap and plentiful
> these days, and since the convenience of Opam is immense, I'm not sure
> there is much incentive in using a cross-compiler. 

There is when you develop for a closed system like iOS.

Also, there is now arm64, and so far I know there are no boards yet.

>  BTW, is there a maintained ARM cross-compiler?

It's in mainline, 4.02.2. It's still a little bit difficult to use,
because IMHO some convenience targets are missing in the Makefile.
Whitequark in his Android packages just generates a configuration and
avoids the problems (see
https://github.com/whitequark/opam-android/blob/master/packages/ocaml-android32.4.02.2/files/config/Makefile.in, it is in particular essential to set CAMLRUN to the host compiler's ocamlrun). For the iOS branch (not yet in mainline) we added cross-all and cross-opt targets to the Makefile (see https://github.com/gerdstolpmann/ocaml/tree/gs-4.02.2+ios). This might be easier to start with (this branch contains the changes required for the iOS assembler, but should also work for a GNU toolchain). See the build.sh script in this repo for an example how to configure and build.

Gerd

-- 
------------------------------------------------------------
Gerd Stolpmann, Darmstadt, Germany    gerd@gerd-stolpmann.de
My OCaml site:          http://www.camlcity.org
Contact details:        http://www.camlcity.org/contact.html
Company homepage:       http://www.gerd-stolpmann.de
------------------------------------------------------------