From: Richard W.M. Jones <rjones@redhat.com>
Date: Fri, 3 Jan 2020 19:23:50 +0000 (+0000)
Subject: build: Fix construction of parser.mli
X-Git-Tag: v'0.2'~90
X-Git-Url: http://git.annexia.org/?a=commitdiff_plain;h=d423e5e29035b1dfdc87ae2ff201b0584456e751;p=goals.git

build: Fix construction of parser.mli
---

diff --git a/Goalfile.in b/Goalfile.in
index 0990d6a..8fd899b 100644
--- a/Goalfile.in
+++ b/Goalfile.in
@@ -64,6 +64,9 @@ goal maintainer-clean = : clean {
 
 "src/parser.mli", "src/parser.ml" : "src/parser.mly" {
     %MENHIR --explain %<
+    # Hack required to get includes working.
+    echo 'val lexer_read : (Lexing.lexbuf -> token) option ref' \
+        >> src/parser.mli
 }
 
 "src/lexer.ml" : "src/lexer.mll" {