diff options
author | Bernhard Schommer <bernhardschommer@gmail.com> | 2016-10-06 18:33:04 +0200 |
---|---|---|
committer | Bernhard Schommer <bernhardschommer@gmail.com> | 2016-10-06 18:33:04 +0200 |
commit | 4c4aebcb3b28c35b0534329dc43e7e7ff475c97b (patch) | |
tree | 0cea3bb040fd6fb299498dfbc4697e10852b6ba6 /cparser/Rename.ml | |
parent | d1311e63edac5606b76478c7b7bd114021f4ba54 (diff) | |
download | compcert-4c4aebcb3b28c35b0534329dc43e7e7ff475c97b.tar.gz compcert-4c4aebcb3b28c35b0534329dc43e7e7ff475c97b.zip |
Added configure switch for merlin.
The new configure switch generates a .merlin file and adds the
-bin-annot flag to the compile options.
Bug 20081
Diffstat (limited to 'cparser/Rename.ml')
0 files changed, 0 insertions, 0 deletions