diff options
author | Matej Košík <matej.kosik@inria.fr> | 2017-05-30 13:54:09 +0200 |
---|---|---|
committer | Matej Košík <matej.kosik@inria.fr> | 2017-05-30 13:54:09 +0200 |
commit | 107d15ec6f4996ef13f9a65c7b3a9e9b70fb17ec (patch) | |
tree | 570520a941aee85dc080471cdd5ccfb342187fcb /.gitignore | |
parent | fd36c0451c26e44b1b7e93299d3367ad2d35fee3 (diff) |
make sure that "ocamllibdep" properly recognizes Ocaml modules that are all upper-case
At the moment, when one tries to add an Ocaml module to Coq code-base
which is composed just from upper-cases letters,
the compilation fails with an error:
File "......ml", line 1:
Error: Error while linking ...
Reference to undefined global `FOO'
This commit removes the restriction.
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions