2019-01-11 00:51:02 +03:00
|
|
|
# Input file for autoconf to generate the configure script.
|
|
|
|
|
|
|
|
|
|
# See https://www.gnu.org/software/autoconf/manual/autoconf.html for help on
|
|
|
|
|
# the macros used in this file.
|
|
|
|
|
|
2020-04-20 14:12:00 +03:00
|
|
|
AC_INIT([streamly], [0.7.2], [streamly@composewell.com], [streamly])
|
2019-01-11 00:51:02 +03:00
|
|
|
|
|
|
|
|
# To suppress "WARNING: unrecognized options: --with-compiler"
|
|
|
|
|
AC_ARG_WITH([compiler], [GHC])
|
|
|
|
|
|
|
|
|
|
# Check headers and functions required
|
|
|
|
|
AC_CHECK_HEADERS([time.h])
|
|
|
|
|
AC_CHECK_FUNCS([clock_gettime])
|
|
|
|
|
|
|
|
|
|
# Output
|
2019-09-25 09:08:14 +03:00
|
|
|
AC_CONFIG_HEADERS([src/Streamly/Internal/Data/Time/config.h])
|
2019-01-11 00:51:02 +03:00
|
|
|
AC_OUTPUT
|
