X-Git-Url: http://git.annexia.org/?a=blobdiff_plain;f=configure.ac;h=e3fd9aebbfd0c998ac8ab46910814365cb4f6d97;hb=d2a50cddaf47e1b83757f679eaea8c995ab5a462;hp=cef63003dc13e74856421796e3761eaac1212535;hpb=315ceff80b09b76959a067fa2f3288f22d2e55da;p=goals.git

diff --git a/configure.ac b/configure.ac
index cef6300..e3fd9ae 100644
--- a/configure.ac
+++ b/configure.ac
@@ -49,12 +49,19 @@ AC_CHECK_PROG(MENHIR, [menhir], [menhir], [
     AC_MSG_ERROR([OCaml menhir parser generator is required])
 ])
 
+AC_CHECK_PROG([POD2MAN], [pod2man], [pod2man], [
+    AC_MSG_ERROR([pod2man tool from Perl 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])
 AC_CONFIG_FILES([run], [chmod +x,-w run])
 AC_CONFIG_FILES([Goalfile Makefile
-                 src/Goalfile src/Makefile
                  src/config.ml])
 
 AC_OUTPUT