git.annexia.org
/
goals.git
/ blobdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
raw
|
inline
| side by side
Implement parallel jobs (-j option).
[goals.git]
/
configure.ac
diff --git
a/configure.ac
b/configure.ac
index
d44209a
..
e8fd7e5
100644
(file)
--- a/
configure.ac
+++ b/
configure.ac
@@
-49,9
+49,13
@@
AC_CHECK_PROG(MENHIR, [menhir], [menhir], [
AC_MSG_ERROR([OCaml menhir parser generator is required])
])
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"])
dnl Substitute OCaml flags and packages.
AC_SUBST([OCAMLFLAGS], ["-g -safe-string -warn-error CDEFLMPSUVYZX+52-3"])
-AC_SUBST([OCAMLPACKAGES], ["-package str,unix"])
+AC_SUBST([OCAMLPACKAGES], ["-package str,unix
,threads -thread
"])
dnl Produce output files.
AC_CONFIG_HEADERS([config.h])
dnl Produce output files.
AC_CONFIG_HEADERS([config.h])