ID0000322: **This issue was created automatically from Mantis Issue 322. Further discussion may take place here.** --- | **Id** | **Project** | **Category** | **View** | **Due Date** | **Updated** | | --- | --- | --- | --- | --- | --- | | ID0000322 | Frama-C | Plug-in > jessie | public | 2009-11-04 | 2009-11-05 | | | | | | | | | --- | --- | --- | --- | --- | --- | | **Reporter** | nrousset | **Assigned To** | monate | **Resolution** | no change required | | **Priority** | normal | **Severity** | minor | **Reproducibility** | always | | **Platform** | - | **OS** | - | **OS Version** | - | | **Product Version** | Frama-C Beryllium-20090902 | **Target Version** | - | **Fixed in Version** | - | ### Description : Packing lib/plugins/Ltl_to_acsl.cmxs d:\Program Files\bin\..\lib\gcc\mingw32\3.4.5\..\..\..\..\mingw32\bin\ld.exe: d:\DOCUME~1\nrousset\LOCALS~1\Temp\dyndll5fd028.o: bad reloc address 0x74 in section `.data' collect2: ld returned 1 exit status ** Fatal error: Error during linking File "caml_startup", line 1, characters 0-1: Error: Error during linking make: *** [lib/plugins/Ltl_to_acsl.cmxs] Error 2 ### Additional Information : I have OCaml 3.11.0 binary distribution for Windows / MinGW $ ld -version GNU ld (GNU Binutils) 2.18.50.20080625 Copyright 2007 Free Software Foundation, Inc. This program is free software; you may redistribute it under the terms of the GNU General Public License version 3 or (at your option) a later version. This program has absolutely no warranty.