X-Git-Url: http://git.annexia.org/?p=goals.git;a=blobdiff_plain;f=Makefile.am;fp=Makefile.am;h=d57d376c977e1d6a4ecbbca8e94e39481121c89f;hp=e7b517101f0b4fe9328fd09b60fd17d893084849;hb=3fc9a3298c032eb544923776d16e069c630c94ab;hpb=4a0f02d061d551fbf3275ca4a82f0cf94f16eee5 diff --git a/Makefile.am b/Makefile.am index e7b5171..d57d376 100644 --- a/Makefile.am +++ b/Makefile.am @@ -34,7 +34,7 @@ maintainer-srpm maintainer-fedora-copr: src/goals # goals itself (see Goalfile.in). src/goals: - $(MENHIR) --explain src/parser.mly + $(MENHIR) --explain --code-ancient src/parser.mly # Hack required to break circular dependencies. echo 'val lexer_read : (Lexing.lexbuf -> token) option ref' >> src/parser.mli echo 'val eval_substitute : (Ast.env -> Ast.loc -> Ast.substs -> string) option ref' >> src/parser.mli