X-Git-Url: http://git.annexia.org/?a=blobdiff_plain;f=Goalfile.in;h=7dca26fba93f7b006145b9e35c112ded81d58222;hb=refs%2Fheads%2Fmaster;hp=6c6770937dde8c2183c876c2c4aeea3efba825ba;hpb=5e13f1e2a3dc1237fcf2fa141d8379bdd36bde61;p=goals.git

diff --git a/Goalfile.in b/Goalfile.in
index 6c67709..7dca26f 100644
--- a/Goalfile.in
+++ b/Goalfile.in
@@ -92,7 +92,7 @@ goal tool = : ocaml_link ("src/goals", objects) ;
 
 # Parser.
 "src/parser.mli", "src/parser.ml" : "src/parser.mly" {
-    %MENHIR --explain %<
+    %MENHIR --explain --code-ancient %<
     # 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
@@ -222,10 +222,13 @@ let distfiles = [
     ".gitignore",
     "COPYING",
     "Goalfile.in",
+    "Makefile.am",
     "Makefile.in",
     "README",
     "TODO",
+    "aclocal.m4",
     "autogen.sh",
+    "compile",
     "config.h.in",
     "configure",
     "configure.ac",
@@ -233,6 +236,7 @@ let distfiles = [
     "goals.spec.in",
     "install-sh",
     "m4/ocaml.m4",
+    "missing",
     "run.in",
     "src/.depend",
     sources,