Revision d21f00de
Added by Christophe Garion over 4 years ago
| configure.ac | ||
|---|---|---|
| 47 | 47 |
fi |
| 48 | 48 |
dnl AC_MSG_RESULT(Hourrah: ocamlfind found!) |
| 49 | 49 |
|
| 50 |
# Checks for libraries. OCamlgraph |
|
| 50 |
# Checks for libraries. |
|
| 51 |
# OCamlgraph |
|
| 51 | 52 |
AC_MSG_CHECKING(ocamlgraph library) |
| 52 | 53 |
AS_IF([ocamlfind query ocamlgraph >/dev/null 2>&1], |
| 53 | 54 |
[],[AC_MSG_ERROR(ocamlgraph required. opam install ocamlgraph should solve the issue)], |
| 54 | 55 |
) |
| 55 | 56 |
AC_MSG_RESULT(yes) |
| 56 | 57 |
|
| 58 |
#Yojson |
|
| 59 |
AC_MSG_CHECKING(yojson library) |
|
| 60 |
AS_IF([ocamlfind query yojson >/dev/null 2>&1], |
|
| 61 |
[],[AC_MSG_ERROR(yojson required. opam install yojson should solve the issue)], |
|
| 62 |
) |
|
| 63 |
AC_MSG_RESULT(yes) |
|
| 64 |
|
|
| 65 |
# logging and command line librairies |
|
| 66 |
AC_MSG_CHECKING(cmdliner library) |
|
| 67 |
AS_IF([ocamlfind query cmdliner >/dev/null 2>&1], |
|
| 68 |
[],[AC_MSG_ERROR(cmdliner required. opam install cmdliner should solve the issue)], |
|
| 69 |
) |
|
| 70 |
AC_MSG_RESULT(yes) |
|
| 71 |
|
|
| 72 |
AC_MSG_CHECKING(fmt and logs library) |
|
| 73 |
AS_IF([ocamlfind query fmt logs >/dev/null 2>&1], |
|
| 74 |
[],[AC_MSG_ERROR(fmt and logs required. opam install fmt logs should solve the issue)], |
|
| 75 |
) |
|
| 76 |
AC_MSG_RESULT(yes) |
|
| 57 | 77 |
|
| 78 |
# Salsa |
|
| 58 | 79 |
AC_ARG_ENABLE(salsa, [AS_HELP_STRING([--disable-salsa], |
| 59 | 80 |
[disable Salsa plugin. Enabled by default if available.])]) |
| 60 | 81 |
|
| ... | ... | |
| 72 | 93 |
fi |
| 73 | 94 |
]) |
| 74 | 95 |
|
| 75 |
|
|
| 76 |
|
|
| 77 |
|
|
| 78 |
|
|
| 79 |
|
|
| 80 |
|
|
| 81 |
|
|
| 82 |
|
|
| 96 |
# GMP |
|
| 83 | 97 |
AC_CHECK_LIB(gmp, __gmpz_init, |
| 84 | 98 |
[gmp=yes], |
| 85 | 99 |
[AC_MSG_RESULT([GNU MP not found]) |
Also available in: Unified diff
json-parser: add check for librairies in configure.ac