git.annexia.org
/
goals.git
/ blobdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
raw
|
inline
| side by side
run: If multiple goals match a tactic, at most one must have a CODE section.
[goals.git]
/
configure.ac
diff --git
a/configure.ac
b/configure.ac
index
a542e70
..
d44209a
100644
(file)
--- a/
configure.ac
+++ b/
configure.ac
@@
-49,10
+49,15
@@
AC_CHECK_PROG(MENHIR, [menhir], [menhir], [
AC_MSG_ERROR([OCaml menhir parser generator is required])
])
AC_MSG_ERROR([OCaml menhir parser generator is required])
])
+dnl Substitute OCaml flags and packages.
+AC_SUBST([OCAMLFLAGS], ["-g -safe-string -warn-error CDEFLMPSUVYZX+52-3"])
+AC_SUBST([OCAMLPACKAGES], ["-package str,unix"])
+
dnl Produce output files.
AC_CONFIG_HEADERS([config.h])
AC_CONFIG_FILES([stamp-h], [echo timestamp > stamp-h])
dnl Produce output files.
AC_CONFIG_HEADERS([config.h])
AC_CONFIG_FILES([stamp-h], [echo timestamp > stamp-h])
+AC_CONFIG_FILES([run], [chmod +x,-w run])
AC_CONFIG_FILES([Goalfile Makefile
AC_CONFIG_FILES([Goalfile Makefile
-
parsing/Goalfile parsing/Makefile
])
+
src/config.ml
])
AC_OUTPUT
AC_OUTPUT