Rename module GlrOptions to Options
Currently, ocamlbuild does not properly support multiple options.ml files in
different directories, even when using -for-pack. We need to think about how
to make this possible. It might become more necessary in the future. For now,
having a glrOptions.ml is okay.
Details
Id: |
dbaf6ec9be8dd07801bf257e29a9fa7aa24d3c01 |
Type: |
bugfix |
Creation time: |
2012-10-20 03:26 GMT |
Creator: |
Pippijn van Steenhoven <pippijn@...> |
Release: |
unassigned
|
Component: |
cxxparse |
Status: |
closed: fixed
|
Issue log
2012-10-27 01:05 GMT |
Pippijn van Steenhoven <pippijn@...> |
closed with disposition fixed |
|
2012-10-20 03:26 GMT |
Pippijn van Steenhoven <pippijn@...> |
created |
|