X-Git-Url: http://git.annexia.org/?a=blobdiff_plain;f=configure.ac;h=b9b89bc99192c215562c2cf5d3063d6e42e2e6bb;hb=ff4a8c81429495ae914d0dbeef9dbb50b2b1a00c;hp=d521660a8b89a7df79769d3637b9f30a1840d8b4;hpb=5a6a8b2b8e515941f9a2b3cc051da646ae696251;p=goals.git

diff --git a/configure.ac b/configure.ac
index d521660..b9b89bc 100644
--- a/configure.ac
+++ b/configure.ac
@@ -29,6 +29,10 @@ AC_PROG_CPP
 AC_C_PROTOTYPES
 test "x$U" != "x" && AC_MSG_ERROR([Compiler not ANSI compliant])
 
+dnl C headers and functions.
+AC_CHECK_HEADERS([sys/sysinfo.h])
+AC_CHECK_FUNCS([get_nprocs])
+
 dnl Check for basic OCaml environment and findlib.
 AC_PROG_OCAML
 if test "x$OCAMLC" = "xno"; then
@@ -49,10 +53,24 @@ 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])
+])
+
+AC_CHECK_PROG([POD2TEXT], [pod2text], [pod2text], [
+    AC_MSG_ERROR([pod2text 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,threads -thread"])
+
 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])
+                 goals.spec
+                 src/config.ml])
 
 AC_OUTPUT