Anonymous | Login | Signup for a new account | 2019-02-20 15:09 CET | ![]() |
Main | My View | View Issues | Change Log | Roadmap |
View Issue Details [ Jump to Notes ] | [ Issue History ] [ Print ] | |||||||
ID | Project | Category | View Status | Date Submitted | Last Update | |||
0005030 | OCaml | ~DO NOT USE (was: OCaml general) | public | 2010-04-20 17:32 | 2011-05-29 12:19 | |||
Reporter | glondu | |||||||
Assigned To | xleroy | |||||||
Priority | normal | Severity | major | Reproducibility | always | |||
Status | closed | Resolution | fixed | |||||
Platform | OS | OS Version | ||||||
Product Version | ||||||||
Target Version | Fixed in Version | 3.12.0+dev | ||||||
Summary | 0005030: ocamlopt generates duplicate symbols on arm | |||||||
Description | Hello, While rebuilding all Debian packages (armel port) with ocamlopt enabled (using trunk r10268), ssreflect failed to build. The build log is available at [1]. The assembler is complaining about multiple definitions of the same symbol. This error doesn't occur on amd64. Cheers, -- Stéphane | |||||||
Additional Information | [1] http://debian.glondu.net/debian/ocaml31120dev17r10268/failures/ssreflect_1.2%2Bdfsg-4%2B3.12.0%2Bdev17%2B10268_armel.build [^] | |||||||
Tags | No tags attached. | |||||||
Attached Files | ||||||||
![]() |
|
(0005362) xleroy (administrator) 2010-04-22 14:42 |
Fixed in SVN trunk. Data labels were starting too low, causing clashes. This was fixed earlier on other platforms but not on ARM. |
![]() |
|||
Date Modified | Username | Field | Change |
2010-04-20 17:32 | glondu | New Issue | |
2010-04-22 14:42 | xleroy | Note Added: 0005362 | |
2010-04-22 14:42 | xleroy | Assigned To | => xleroy |
2010-04-22 14:42 | xleroy | Status | new => resolved |
2010-04-22 14:42 | xleroy | Resolution | open => fixed |
2010-04-22 14:44 | xleroy | Fixed in Version | => 3.12.0+dev |
2011-05-29 12:19 | xleroy | Status | resolved => closed |
2017-02-23 16:36 | doligez | Category | OCaml general => -OCaml general |
2017-03-03 17:55 | doligez | Category | -OCaml general => -(deprecated) general |
2017-03-03 18:01 | doligez | Category | -(deprecated) general => ~deprecated (was: OCaml general) |
2017-03-06 17:04 | doligez | Category | ~deprecated (was: OCaml general) => ~DO NOT USE (was: OCaml general) |
Copyright © 2000 - 2011 MantisBT Group |