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 /kernel | |
| 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.
Diffstat (limited to 'kernel')
0 files changed, 0 insertions, 0 deletions