Patch for Cross Compiling OCaml-3.12.0(for arm-linux)
ID0000631: This issue was created automatically from Mantis Issue 631. Further discussion may take place here.
|Reporter||Frank-Chen||Assigned To||signoles||Resolution||no change required|
|Priority||normal||Severity||minor||Reproducibility||have not tried|
|Product Version||-||Target Version||-||Fixed in Version||-|
The patch I am uploading is from Eric Cooper(email@example.com,http://www.cs.cmu.edu/~ecc/).He sent it to me a month ago.With the patch , I succeeded in making a OCaml-cross-compiler-3.12.0(with a new EABI based arm-linux-gcc-4.3.2),and when I used it to cross-compile mldonkey-3.0.2,mlnet was also generated successfully(you have to configrue with "./configure --enable-ocamlver=3.12.0 --host=arm-linux" and build some .o files with the "compile_by_hand.sh" I am also uploading).But Because this OCaml-cross-compiler-3.12 seems to only support the new EABI but my target machine just supports the old ABI(and the gcc cross compiler of my machine just supports soft float-point), I can't run it on my target machine and don't know whether the mlnet can run perfectly in a new EABI based machine.So I 'd like to upload the patch here and all of you can test it.Maybe someone who want to do a cross-compiling will find it useful.
By the way ,does this kind of version of OCaml which supports soft float-point and the Old ABI(not the new EABI) exist?It seems that OCaml 3.12 adds soft float-point and EABI support together,but I just need soft float-point and the Old ABI.