2010-11-26 11:29:55 +01:00
|
|
|
# -*- Autoconf -*-
|
|
|
|
|
# Process this file with autoconf to produce a configure script.
|
|
|
|
|
AC_PREREQ([2.60])
|
|
|
|
|
AC_INIT([ltl2ba], [1.1], [paul.gastin@lsv.ens-cachan.fr])
|
|
|
|
|
AC_CONFIG_MACRO_DIR([m4])
|
|
|
|
|
AC_CONFIG_AUX_DIR([autotools])
|
|
|
|
|
AM_INIT_AUTOMAKE([foreign])
|
|
|
|
|
AC_CONFIG_SRCDIR([main.c])
|
|
|
|
|
AC_CONFIG_HEADERS([config.h])
|
|
|
|
|
|
|
|
|
|
# Checks for programs.
|
|
|
|
|
AC_PROG_CC
|
2018-06-28 13:51:55 +02:00
|
|
|
#
|
|
|
|
|
# for gnulib
|
|
|
|
|
gl_EARLY
|
|
|
|
|
|
2010-11-26 11:29:55 +01:00
|
|
|
AC_PROG_CXX
|
|
|
|
|
AC_PROG_AWK
|
|
|
|
|
AC_PROG_CPP
|
|
|
|
|
AC_PROG_INSTALL
|
|
|
|
|
AC_PROG_LN_S
|
|
|
|
|
AC_PROG_MAKE_SET
|
2018-06-28 13:51:55 +02:00
|
|
|
LT_PREREQ(2.2)
|
|
|
|
|
LT_INIT([disable-shared win32-dll])
|
2010-11-26 11:29:55 +01:00
|
|
|
AC_PROG_LIBTOOL
|
|
|
|
|
|
2018-06-28 13:51:55 +02:00
|
|
|
# for gnulib
|
|
|
|
|
gl_INIT
|
|
|
|
|
|
2010-11-26 11:29:55 +01:00
|
|
|
AX_TRY_CFLAGS_IFELSE([-W -Wall])
|
|
|
|
|
AX_TRY_CFLAGS_IFELSE([-pipe])
|
|
|
|
|
AX_TRY_CFLAGS_IFELSE([-ansi])
|
|
|
|
|
|
|
|
|
|
# Checks for libraries.
|
|
|
|
|
|
|
|
|
|
# Checks for header files.
|
|
|
|
|
AC_CHECK_HEADERS([stdlib.h string.h sys/time.h])
|
|
|
|
|
|
|
|
|
|
# Checks for typedefs, structures, and compiler characteristics.
|
|
|
|
|
|
|
|
|
|
# Checks for library functions.
|
2018-06-28 13:51:55 +02:00
|
|
|
AC_CHECK_FUNCS([memset strlcat])
|
2010-11-26 11:29:55 +01:00
|
|
|
|
|
|
|
|
AC_CONFIG_FILES([
|
2018-06-28 13:51:55 +02:00
|
|
|
lib/Makefile
|
2010-11-26 11:29:55 +01:00
|
|
|
Makefile
|
|
|
|
|
])
|
|
|
|
|
AC_OUTPUT
|
