configure.ac

   1 # Bitmatch syntax extension.
   2 # Copyright (C) 2008 Red Hat Inc., Richard W.M. Jones
   3 #
   4 # This library is free software; you can redistribute it and/or
   5 # modify it under the terms of the GNU Lesser General Public
   6 # License as published by the Free Software Foundation; either
   7 # version 2 of the License, or (at your option) any later version.
   8 #
   9 # This library is distributed in the hope that it will be useful,
  10 # but WITHOUT ANY WARRANTY; without even the implied warranty of
  11 # MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the GNU
  12 # Lesser General Public License for more details.
  13 #
  14 # You should have received a copy of the GNU Lesser General Public
  15 # License along with this library; if not, write to the Free Software
  16 # Foundation, Inc., 51 Franklin Street, Fifth Floor, Boston, MA 02110-1301  USA
  17
  18 dnl Process this file with autoconf to produce a configure script.
  19
  20 AC_INIT(ocaml-bitmatch,1.9.6)
  21
  22 dnl Check for basic C environment.
  23 AC_PROG_CC
  24 AC_PROG_INSTALL
  25 AC_PROG_CPP
  26
  27 AC_C_PROTOTYPES
  28 test "x$U" != "x" && AC_MSG_ERROR(Compiler not ANSI compliant)
  29
  30 AC_PROG_CC_C_O
  31
  32 dnl Check for native endianness.
  33 AC_C_BIGENDIAN(
  34   [NATIVEENDIAN=BigEndian],
  35   [NATIVEENDIAN=LittleEndian],
  36   [AC_MSG_ERROR([Machine endianness could not be determined])]
  37 )
  38 AC_SUBST(NATIVEENDIAN)
  39
  40 dnl Check for basic OCaml environment & findlib.
  41 AC_PROG_OCAML
  42 AC_PROG_FINDLIB
  43
  44 if test "x$OCAMLFIND" = "x"; then
  45     AC_MSG_ERROR([You must have ocaml and findlib installed])
  46 fi
  47
  48 dnl Check for camlp4
  49 AC_CHECK_PROG(CAMLP4OF,camlp4of.opt,camlp4of.opt)
  50 if test "x$CAMLP4OF" = "xno"; then
  51     AC_MSG_ERROR([You must have camlp4 installed])
  52 fi
  53
  54 dnl Check for Extlib (optional)
  55 AC_CHECK_OCAML_PKG(extlib)
  56 AC_SUBST(pkg_extlib)
  57
  58 dnl Check for CIL (optional)
  59 AC_CHECK_OCAML_PKG(cil)
  60 AC_SUBST(pkg_cil)
  61
  62 dnl Produce output files.
  63 AC_CONFIG_HEADERS([config.h])
  64 AC_CONFIG_FILES([Makefile META bitmatch_config.ml cil-tools/Makefile])
  65 AC_OUTPUT