Frama-C Bug Tracking System - Frama-C
View Issue Details
0002324Frama-CKernelpublic2017-08-11 18:412017-08-14 12:05
mehdi 
yakobowski 
normalminoralways
closedno change required 
Frama-C 15-Phosphorus 
 
0002324: Port to OCaml 4.05
Hi, 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.
No tags attached.
patch 0007-Fix-FTBFS-with-OCaml-4.05.0.patch (2,374) 2017-08-11 18:41
https://bts.frama-c.com/file_download.php?file_id=1202&type=bug
Issue History
2017-08-11 18:41mehdiNew Issue
2017-08-11 18:41mehdiFile Added: 0007-Fix-FTBFS-with-OCaml-4.05.0.patch
2017-08-12 12:24yakobowskiNote Added: 0006437
2017-08-12 14:30yakobowskiNote Added: 0006439
2017-08-12 15:30mehdiNote Added: 0006440
2017-08-12 19:27yakobowskiNote Added: 0006444
2017-08-12 21:15mehdiNote Added: 0006445
2017-08-14 12:05yakobowskiNote Added: 0006446
2017-08-14 12:05yakobowskiStatusnew => closed
2017-08-14 12:05yakobowskiAssigned To => yakobowski
2017-08-14 12:05yakobowskiResolutionopen => no change required

Notes
(0006437)
yakobowski   
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!
(0006439)
yakobowski   
2017-08-12 14:30   
Actually, was this patch meant for Silicon?
(0006440)
mehdi   
2017-08-12 15:30   
I use this patch against Phosphorus.
(0006444)
yakobowski   
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.
(0006445)
mehdi   
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.
(0006446)
yakobowski   
2017-08-14 12:05   
I confirmed that our CI built the Phosphorus release with 4.05, so I'm going to close.