/
configure.ac
107 lines (88 loc) · 2.95 KB
/
configure.ac
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
# Bitstring syntax extension.
# Copyright (C) 2008-2013 Red Hat Inc., Richard W.M. Jones
#
# This library is free software; you can redistribute it and/or
# modify it under the terms of the GNU Lesser General Public
# License as published by the Free Software Foundation; either
# version 2 of the License, or (at your option) any later version.
#
# This library is distributed in the hope that it will be useful,
# but WITHOUT ANY WARRANTY; without even the implied warranty of
# MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU
# Lesser General Public License for more details.
#
# You should have received a copy of the GNU Lesser General Public
# License along with this library; if not, write to the Free Software
# Foundation, Inc., 51 Franklin Street, Fifth Floor, Boston, MA 02110-1301 USA
dnl Process this file with autoconf to produce a configure script.
AC_INIT(ocaml-bitstring,2.0.4)
AC_PROG_SED
dnl Check for basic C environment.
AC_PROG_CC
AC_PROG_INSTALL
AC_PROG_CPP
AC_C_PROTOTYPES
test "x$U" != "x" && AC_MSG_ERROR(Compiler not ANSI compliant)
AC_PROG_CC_C_O
dnl Check for native endianness.
AC_C_BIGENDIAN(,,
[AC_MSG_ERROR([Machine endianness could not be determined])]
)
if test "x$WORDS_BIGENDIAN" = "x"; then
NATIVEENDIAN=LittleEndian
else
NATIVEENDIAN=BigEndian
fi
AC_SUBST(NATIVEENDIAN)
dnl Create byteswap.h if the system doesn't have this file.
dnl Written by Oskar Liljeblad.
dnl From gnulib, license is LGPLv2+.
AC_CHECK_HEADERS([byteswap.h], [
BYTESWAP_H=''
], [
BYTESWAP_H='byteswap.h'
])
AC_SUBST(BYTESWAP_H)
dnl Check for basic OCaml environment & findlib.
AC_PROG_OCAML
AC_PROG_FINDLIB
if test "x$OCAMLFIND" = "x"; then
AC_MSG_ERROR([You must have ocaml and findlib installed])
fi
dnl Check for camlp4
AC_CHECK_PROG(CAMLP4OF,camlp4of.opt,camlp4of.opt,no)
if test "x$CAMLP4OF" = "xno"; then
AC_MSG_ERROR([You must have camlp4 installed])
fi
dnl Check for Extlib (optional)
AC_CHECK_OCAML_PKG(extlib)
dnl Check for CIL (optional)
AC_CHECK_OCAML_PKG(cil)
dnl Check for /usr/bin/time and get full path.
AC_PATH_PROG(TIME,time,no)
if test "x$TIME" = "xno"; then
AC_MSG_ERROR(['time' command not found])
fi
dnl Check for diff and get full path.
AC_PATH_PROG(DIFF,diff,no)
if test "x$DIFF" = "xno"; then
AC_MSG_ERROR(['diff' command not found])
fi
AC_SUBST(DIFF)
dnl Check for gprof (optional).
AC_CHECK_PROG(GPROF,gprof,gprof,no)
dnl Check for ocaml-bisect (optional) and --enable-coverage.
AC_CHECK_PROG(BISECT_REPORT,bisect-report,bisect-report,no)
AC_ARG_ENABLE([coverage],
[AS_HELP_STRING([--enable-coverage],
[add code coverage information (slow) @<:@default=no@:>@])],
[],
[enable_coverage=no])
if test "x$enable_coverage" != "xno" -a "x$BISECT_REPORT" = "xno"; then
AC_MSG_ERROR([You must install ocaml-bisect package to get code coverage])
fi
AC_SUBST(enable_coverage)
dnl Produce output files.
AC_CONFIG_HEADERS([config.h])
AC_CONFIG_FILES([Makefile META bitstring_config.ml cil-tools/Makefile])
AC_OUTPUT