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/Parse.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/Parse.ml')
0 files changed, 0 insertions, 0 deletions