Linking problem while compiling Frama-C-Beryllium-20090902-why-2.21 source distribution on Cygwin
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:\DOCUME1\nrousset\LOCALS1\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.