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 ## Attachments - [cross-compiler-for-arm-target.patch](/uploads/068b76e2937191decde9dec773884cdf/cross-compiler-for-arm-target.patch) - [README.cross](/uploads/a9a7684367b4eb08069863d3e15f62c1/README.cross) - [compile_by_hand.sh](/uploads/cf6e415fcbf8a46c91bdd530c9b04203/compile_by_hand.sh)