diff options
| author | Pierre-Marie Pédrot | 2018-10-18 11:29:13 +0200 |
|---|---|---|
| committer | Pierre-Marie Pédrot | 2018-10-18 15:47:41 +0200 |
| commit | 43afa49511033d7bbe5dec72e2e861930f8f9126 (patch) | |
| tree | 046a7e79ae12eee87c182cc64184094fb8c80ce9 | |
| parent | 3e99b3807b4380cbb6b875fa6c67a8ee921b2494 (diff) | |
Adding a rule to generate grammar.cma.
Since the removal of the dependency in camlp5 for CLexer, it looks like this
file was never generated, leading to installation failure. We add it as a
dependency of the install step.
| -rw-r--r-- | Makefile.build | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/Makefile.build b/Makefile.build index 4d19f9a2e1..77fcfc0abf 100644 --- a/Makefile.build +++ b/Makefile.build @@ -406,7 +406,7 @@ grammar/%.cmi: grammar/%.mli .PHONY: coqbinaries coqbyte -coqbinaries: $(TOPBINOPT) $(COQTOPEXE) $(CHICKEN) $(CSDPCERT) $(FAKEIDE) +coqbinaries: $(TOPBINOPT) $(COQTOPEXE) $(CHICKEN) $(CSDPCERT) $(FAKEIDE) $(GRAMMARCMA) coqbyte: $(TOPBYTE) $(CHICKENBYTE) # Special rule for coqtop, we imitate `ocamlopt` can delete the target |