Frama-C Bug Tracking System - Frama-C
View Issue Details
0001385Frama-CKernelpublic2013-03-28 09:372014-02-12 16:58
sboldo 
signoles 
normalcrashalways
closedfixed 
Frama-C Oxygen-20120901 
Frama-C Fluorine-20130401Frama-C Fluorine-20130401 
0001385: Compilation crash if ocamllex.opt not installed
Hello,

I am trying to compile the Oxygen release of frama-C.
On my laptop, the configuration is such that ocamllex is installed, but not ocamllex.opt. The config.status is attached, but here are the two interesting lines:

S["OCAMLLEX"]="ocamllex"
S["OCAMLDEPDOTOPT"]="no"

But when compiling, I got this error:

Compiling Qed (byte.opt)
make[1]: ocamllex.opt: Command not found
make[1]: *** [lexer.ml] Error 127
make: *** [src/wp/qed/bin/Qed.cmo] Error 2

Regards,

Sylvie Boldo

No tags attached.
? config.status (31,074) 2013-03-28 09:37
https://bts.frama-c.com/file_download.php?file_id=483&type=bug
Issue History
2013-03-28 09:37sboldoNew Issue
2013-03-28 09:37sboldoFile Added: config.status
2013-03-28 10:11sboldoNote Added: 0003784
2013-03-28 10:29yakobowskiNote Added: 0003785
2013-03-28 10:29yakobowskiAssigned To => correnson
2013-03-28 10:29yakobowskiStatusnew => assigned
2013-03-28 17:34signolesTarget Version => Frama-C Fluorine
2013-04-17 09:00signolesAssigned Tocorrenson => signoles
2013-04-17 09:01svnCheckin
2013-04-17 09:01svnStatusassigned => resolved
2013-04-17 09:01svnResolutionopen => fixed
2013-04-17 09:03signolesRelationship addedrelated to 0001393
2013-04-19 11:05signolesFixed in Version => Frama-C Fluorine
2013-04-19 11:05signolesStatusresolved => closed
2014-02-12 16:58signolesNote Added: 0004579
2014-02-12 16:58signolesStatusclosed => resolved

Notes
(0003784)
sboldo   
2013-03-28 10:11   
I found the explanation in the following file:
   src/wp/qed/src/MakeOcaml
In this well-hidden file, it is assumed that, if ocaml.opt does exist, then ocamllex.opt does exist too...
(0003785)
yakobowski   
2013-03-28 10:29   
Thanks Sylvie. I thought this was fixed in the trunk, but I'm no longer certain it is the case given the current contents of MakeOcaml
(0004579)
signoles   
2014-02-12 16:58   
Fix committed to stable/neon branch.