| 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 |
| ||||||||
 Relationships |
|
 Relationships |
| Notes |
|
|
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. |
| Notes |
| Issue History |
|||
| 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 |
| Issue History |