Compilation crash if ocamllex.opt not installed
ID0001385: This issue was created automatically from Mantis Issue 1385. Further discussion may take place here.
| Id | Project | Category | View | Due Date | Updated |
|---|---|---|---|---|---|
| ID0001385 | Frama-C | Kernel | public | 2013-03-28 | 2014-02-12 |
| Reporter | sboldo | Assigned To | signoles | Resolution | fixed |
| Priority | normal | Severity | crash | Reproducibility | always |
| Platform | - | OS | - | OS Version | - |
| Product Version | Frama-C Oxygen-20120901 | Target Version | Frama-C Fluorine-20130401 | Fixed in Version | Frama-C Fluorine-20130401 |
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
Attachments
To upload designs, you'll need to enable LFS and have an admin enable hashed storage. More information