# 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
# exec_prefix die die die
bindir="@prefix@/bin"
datadir="@prefix@/share"
+ mandir="$datadir/man"
mkdir -p %DESTDIR"$bindir"
- mkdir -p %DESTDIR"$datadir/goals"
+ mkdir -p %DESTDIR"$datadir/goals/stdlib"
+ mkdir -p %DESTDIR"$mandir/man1" %DESTDIR"$mandir/man5"
install src/goals %DESTDIR"$bindir" -m 0755
- install %stdlibfiles %DESTDIR"$datadir"/goals -m 644
+ install %stdlibfiles %DESTDIR"$datadir"/goals/stdlib -m 644
+ install man/*.1 %DESTDIR"$mandir"/man1/ -m 644
+ install man/*.5 %DESTDIR"$mandir"/man5/ -m 644
}
#----------------------------------------------------------------------
".gitignore",
"COPYING",
"Goalfile.in",
+ "Makefile.am",
"Makefile.in",
"README",
"TODO",
+ "aclocal.m4",
"autogen.sh",
+ "compile",
"config.h.in",
"configure",
"configure.ac",
"goals.spec.in",
"install-sh",
"m4/ocaml.m4",
+ "missing",
"run.in",
"src/.depend",
sources,
let websitedir = "%HOME/d/websites/people.redhat.com/goals"
-# XXX Should actually use the *url tactic here.
+# XXX Should actually use the is-url predicate here.
goal maintainer-upload = : distcheck {
[ -d %websitedir ]
cp %tarfile %websitedir/files