OCaml Forge

Detail: [#1308] "OASISExpr.EBool true, S []" in generated myocamlbuild.ml

Bugs: Browse | Download .csv | Monitor

[#1308] "OASISExpr.EBool true, S []" in generated myocamlbuild.ml

Date:
2013-08-15 22:16
Priority:
3
State:
Open
Submitted by:
Sylvain Le Gall (gildor-admin)
Assigned to:
Sylvain Le Gall (gildor-admin)
Product:
OASIS
Due in version:
0.4.9
Resolution:
Accepted As Bug
Severity:
minor
Version:
0.3.0~rc1
Component:
Plugin OCamlbuild
Operating System:
All
 
URL:
Summary:
"OASISExpr.EBool true, S []" in generated myocamlbuild.ml

Detailed description
in package_default.flags of the generated myocamlbuild.ml there are some trivial expression:

(["oasis_library_cryptokit_cclib"; "ocamlmklib"; "c"],
[
(OASISExpr.EBool true, S [])

This should be removed because it has no effect.

Followup

Message
Date: 2013-08-15 22:38
Sender: Sylvain Le Gall

This can lead to an error because no choices available.

Maybe default to not applying the flag in this case ?

Attached Files:

Changes:

Field Old Value Date By
Due in version0.4.02016-09-03 21:31gildor-admin