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.
| Id | Project | Category | View | Due Date | Updated |
|---|---|---|---|---|---|
| ID0000631 | Frama-C | Documentation | public | 2010-11-25 | 2016-06-21 |
| Reporter | Frank-Chen | Assigned To | signoles | Resolution | no change required |
| Priority | normal | Severity | minor | Reproducibility | have not tried |
| Platform | - | OS | - | OS Version | - |
| Product Version | - | Target Version | - | Fixed in Version | - |
Description :
The patch I am uploading is from Eric Cooper(ecc@cmu.edu,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.
Best Regards!
Frank-Chen