X-Git-Url: http://git.annexia.org/?a=blobdiff_plain;f=configure.ac;h=51ea72140fd7d42ce2babdd1b9d894eee9f618c5;hb=736d4818dd7275aba121b427cbb527c01f595f47;hp=e8fd7e5d95b91cbddd04d4861516a24dc4b4a421;hpb=2a9d33a300ac414c21679c520bc6434d48f499a9;p=goals.git diff --git a/configure.ac b/configure.ac index e8fd7e5..51ea721 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