git.annexia.org
/
goals.git
/ blobdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
raw
| inline |
side by side
build: Fix construction of parser.mli
[goals.git]
/
Goalfile.in
diff --git
a/Goalfile.in
b/Goalfile.in
index
0990d6a
..
8fd899b
100644
(file)
--- 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" {