diff options
| author |  Emilio Jesus Gallego Arias <e+git@x80.org> | 2018-07-12 18:48:28 +0200 |
|---|---|---|
| committer | Emilio Jesus Gallego Arias <e+git@x80.org> | 2018-07-12 19:33:43 +0200 |
| commit | 1419bb9ddd1299673707404f1f35b4904648760b (patch) | |
| tree | a6715760d7536a29d13c9d06b116b36c1bee4a95 /.merlin.in | |
| parent | e99a1fa8d225496e2a5f74d1247a99a07dba4597 (diff) | |
[dev] Autogenerate OCaml dev files.
For now we only copy the templates, but we could do more fancy stuff.
This helps to be compatible with build systems that take care of these
files automatically, see:
https://github.com/coq/coq/pull/6857#discussion_r202096579
Diffstat (limited to '.merlin.in')
| -rw-r--r-- | .merlin.in | 54 |
1 files changed, 54 insertions, 0 deletions
diff --git a/.merlin.in b/.merlin.in new file mode 100644 index 000000000..404a7e793 --- /dev/null +++ b/.merlin.in @@ -0,0 +1,54 @@ +FLG -rectypes -thread -safe-string -w +a-4-9-27-41-42-44-45-48-50 + +S clib +B clib +S config +B config +S lib +B lib +S kernel +B kernel +S kernel/byterun +B kernel/byterun +S library +B library +S engine +B engine +S pretyping +B pretyping +S interp +B interp +S proofs +B proofs +S tactics +B tactics +S printing +B printing +S parsing +B parsing +S stm +B stm +S vernac +B vernac +S toplevel +B toplevel +S topbin +B topbin +S plugins/ltac +B plugins/ltac +S API +B API +S ide +B ide + +S tools +B tools +S tools/coqdoc +B tools/coqdoc +S dev +B dev + +S plugins/** +B plugins/** + +PKG threads.posix camlp5 |