Frama-C Bug Tracking System

View Issue Details Jump to Notes ] Issue History ] Print ]
IDProjectCategoryView StatusDate SubmittedLast Update
0002324Frama-CKernelpublic2017-08-11 18:412017-08-14 12:05
Assigned Toyakobowski 
StatusclosedResolutionno change required 
PlatformOSOS Version
Product VersionFrama-C 15-Phosphorus 
Target VersionFixed in Version 
Summary0002324: Port to OCaml 4.05
DescriptionHi, In order to make Frama-C build with OCaml 4.05. Please a find patch attached that introduces a few minor changes and make it compile again.
TagsNo tags attached.
Attached Filespatch file icon 0007-Fix-FTBFS-with-OCaml-4.05.0.patch [^] (2,374 bytes) 2017-08-11 18:41 [Show Content]

- Relationships

-  Notes
yakobowski (manager)
2017-08-12 12:24

Thanks. We actually did port Frama-C to OCaml 4.05 at some point, but obviously things changed (for the worse) later on. The patch is of course correct, except for find_opt which ought to be implemented, in case someones tries to call the function in the future. Thanks in any case!
yakobowski (manager)
2017-08-12 14:30

Actually, was this patch meant for Silicon?
mehdi (reporter)
2017-08-12 15:30

I use this patch against Phosphorus.
yakobowski (manager)
2017-08-12 19:27

Are you positive that the patch is still needed for Phosphorus? I believe our own patches (at various different places) make it moot. Plus our CI infrastructure tests compilation against 4.05, and everything was/is ok.
mehdi (reporter)
2017-08-12 21:15

Well, I am not sure :-) The patch has been made by St├ęphane Glondu because he started preparing the transition to OCaml 4.05. So he pushed the patch... but I didn't check by myself. I can try and report back here.
yakobowski (manager)
2017-08-14 12:05

I confirmed that our CI built the Phosphorus release with 4.05, so I'm going to close.

- Issue History
Date Modified Username Field Change
2017-08-11 18:41 mehdi New Issue
2017-08-11 18:41 mehdi File Added: 0007-Fix-FTBFS-with-OCaml-4.05.0.patch
2017-08-12 12:24 yakobowski Note Added: 0006437
2017-08-12 14:30 yakobowski Note Added: 0006439
2017-08-12 15:30 mehdi Note Added: 0006440
2017-08-12 19:27 yakobowski Note Added: 0006444
2017-08-12 21:15 mehdi Note Added: 0006445
2017-08-14 12:05 yakobowski Note Added: 0006446
2017-08-14 12:05 yakobowski Status new => closed
2017-08-14 12:05 yakobowski Assigned To => yakobowski
2017-08-14 12:05 yakobowski Resolution open => no change required

Copyright © 2000 - 2020 MantisBT Team
Powered by Mantis Bugtracker