Project

General

Profile

Revision d21f00de

View differences:

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