dnl Check for CIL (optional)
AC_CHECK_OCAML_PKG(cil)
AC_SUBST(pkg_cil)
dnl Produce output files.
AC_CONFIG_HEADERS([config.h])
dnl Check for CIL (optional)
AC_CHECK_OCAML_PKG(cil)
AC_SUBST(pkg_cil)
dnl Produce output files.
AC_CONFIG_HEADERS([config.h])