View Issue Details [ Jump to Notes ] | [ Issue History ] [ Print ] | ||||||||
ID | Project | Category | View Status | Date Submitted | Last Update | ||||
---|---|---|---|---|---|---|---|---|---|
0001385 | Frama-C | Kernel | public | 2013-03-28 09:37 | 2014-02-12 16:58 | ||||
Reporter | sboldo | ||||||||
Assigned To | signoles | ||||||||
Priority | normal | Severity | crash | Reproducibility | always | ||||
Status | closed | Resolution | fixed | ||||||
Product Version | Frama-C Oxygen-20120901 | ||||||||
Target Version | Frama-C Fluorine-20130401 | Fixed in Version | Frama-C Fluorine-20130401 | ||||||
Summary | 0001385: Compilation crash if ocamllex.opt not installed | ||||||||
Description | 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 | ||||||||
Tags | No tags attached. | ||||||||
Attached Files |
|
![]() |
|
sboldo (reporter) 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... |
yakobowski (manager) 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 |
signoles (manager) 2014-02-12 16:58 |
Fix committed to stable/neon branch. |
![]() |
|||
Date Modified | Username | Field | Change |
---|---|---|---|
2013-03-28 09:37 | sboldo | New Issue | |
2013-03-28 09:37 | sboldo | File Added: config.status | |
2013-03-28 10:11 | sboldo | Note Added: 0003784 | |
2013-03-28 10:29 | yakobowski | Note Added: 0003785 | |
2013-03-28 10:29 | yakobowski | Assigned To | => correnson |
2013-03-28 10:29 | yakobowski | Status | new => assigned |
2013-03-28 17:34 | signoles | Target Version | => Frama-C Fluorine |
2013-04-17 09:00 | signoles | Assigned To | correnson => signoles |
2013-04-17 09:01 | svn | ||
2013-04-17 09:01 | svn | Status | assigned => resolved |
2013-04-17 09:01 | svn | Resolution | open => fixed |
2013-04-19 11:05 | signoles | Fixed in Version | => Frama-C Fluorine |
2013-04-19 11:05 | signoles | Status | resolved => closed |
2013-12-19 01:11 | signoles | Source_changeset_attached | => framac master 5e3b8dea |
2014-02-12 16:53 | signoles | Source_changeset_attached | => framac stable/neon 5e3b8dea |
2014-02-12 16:58 | signoles | Note Added: 0004579 | |
2014-02-12 16:58 | signoles | Status | closed => resolved |