diff options
author | Enrico Tassi <Enrico.Tassi@inria.fr> | 2017-08-29 17:30:26 +0200 |
---|---|---|
committer | Enrico Tassi <Enrico.Tassi@inria.fr> | 2017-08-29 19:27:21 +0200 |
commit | 5cba636c873a93367cd3f26fd0efc919e68ddc5a (patch) | |
tree | 34cce4ddf49fcc54b1a9c18fb85840f9a347c49c /tools/CoqMakefile.in | |
parent | ba64f7c64ad3da70d4c939b33384099ad8df7124 (diff) |
coq_makefile: fix .merlin generation (FLG -thread)
Diffstat (limited to 'tools/CoqMakefile.in')
-rw-r--r-- | tools/CoqMakefile.in | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/tools/CoqMakefile.in b/tools/CoqMakefile.in index 19b1d8cbd..f4d1118d0 100644 --- a/tools/CoqMakefile.in +++ b/tools/CoqMakefile.in @@ -749,7 +749,7 @@ printenv:: # file you can extend the merlin-hook target in @LOCAL_FILE@ .merlin: $(SHOW)'FILL .merlin' - $(HIDE)echo 'FLG -rectypes' > .merlin + $(HIDE)echo 'FLG -rectypes -thread' > .merlin $(HIDE)echo 'B $(COQLIB)' >> .merlin $(HIDE)echo 'S $(COQLIB)' >> .merlin $(HIDE)$(foreach d,$(COQ_SRC_SUBDIRS), \ |