105 lines
3.1 KiB
Plaintext
105 lines
3.1 KiB
Plaintext
# -*- Autoconf -*-
|
|
# Process this file with autoconf to produce a configure script.
|
|
|
|
AC_PREREQ(2.59)
|
|
AC_INIT(ikarus, 0.0.3, aghuloum@cs.indiana.edu)
|
|
AC_CANONICAL_SYSTEM
|
|
AM_INIT_AUTOMAKE(ikarus, 0.0.3)
|
|
AC_CONFIG_SRCDIR([src/])
|
|
|
|
|
|
AM_PROG_AS
|
|
# Checks for programs.
|
|
AC_PROG_CC
|
|
AM_PROG_CC_C_O
|
|
|
|
|
|
CFLAGS="$CFLAGS -DNDEBUG -O3 -Wall"
|
|
|
|
case "$target_os" in
|
|
*linux*)
|
|
LDFLAGS="-rdynamic $LDFLAGS"
|
|
;;
|
|
*bsd*)
|
|
LDFLAGS="-Wl,-E $LDFLAGS"
|
|
;;
|
|
*cygwin*)
|
|
LDFLAGS="-Wl,-E -Wl,--export-all-symbols $LDFLAGS"
|
|
;;
|
|
esac
|
|
|
|
AC_CHECK_SIZEOF(void *)
|
|
|
|
# Checks for libraries.
|
|
AC_SEARCH_LIBS(dlsym, dl,, [AC_MSG_ERROR([Cannot find libdl])])
|
|
AC_SEARCH_LIBS(cos, m,, [AC_MSG_ERROR([Cannot find libm])])
|
|
AC_SEARCH_LIBS(nanosleep, rt,, [AC_MSG_ERROR([Cannot find nanosleep])])
|
|
AC_SEARCH_LIBS(socket, socket,, [AC_MSG_ERROR([Cannot find socket])])
|
|
|
|
|
|
# Checks for header files.
|
|
AC_HEADER_STDC
|
|
AC_HEADER_SYS_WAIT
|
|
|
|
|
|
AC_CHECK_HEADERS([assert.h dlfcn.h errno.h fcntl.h signal.h \
|
|
stdint.h stdlib.h string.h strings.h \
|
|
sys/mman.h sys/resource.h sys/stat.h \
|
|
sys/time.h sys/types.h sys/wait.h time.h \
|
|
unistd.h])
|
|
|
|
AC_CHECK_HEADERS([gmp.h],,[AC_MSG_ERROR([
|
|
ERROR: Cannot find libgmp.
|
|
ERROR: You might want to supply CFLAGS=-I</path/to/include> (containing
|
|
ERROR: the gmp.h header file), and LDFLAGS=-L</path/to/lib> (containing
|
|
ERROR: libgmp.so) if libgmp is installed in a non-standard location.
|
|
ERROR: libgmp can be obtained from <http://gmplib.org>. ])])
|
|
|
|
# check that gmp is present
|
|
AC_HAVE_LIBRARY([gmp],,[AC_MSG_ERROR([
|
|
ERROR: Cannot find libgmp.
|
|
ERROR: You might want to supply CFLAGS=-I</path/to/include> (containing
|
|
ERROR: the gmp.h header file), and LDFLAGS=-L</path/to/lib> (containing
|
|
ERROR: libgmp.so) if libgmp is installed in a non-standard location.
|
|
ERROR: libgmp can be obtained from <http://gmplib.org>. ])])
|
|
|
|
AC_ARG_ENABLE(libffi,
|
|
[ --enable-libffi enable support for libffi.],
|
|
AC_DEFINE(ENABLE_LIBFFI, 1, [adds support for libffi]))
|
|
AC_CHECK_HEADERS([ffi.h],,
|
|
if test "$enable_libffi" = "yes"; then
|
|
AC_MSG_ERROR([ffi.h cannot be found.
|
|
Please specify the location of the header file using
|
|
./configure CFLAGS=-I<path/to/ffi.h> <other-options ...>
|
|
])
|
|
fi)
|
|
AC_CHECK_LIB(ffi,ffi_call,,
|
|
if test "$enable_libffi" = "yes"; then
|
|
AC_MSG_ERROR([libffi cannot be found.
|
|
Please specify the location of the library file using
|
|
./configure LDFLAGS=-L<path/to/libffi.ld|dylib|so|etc.> <other-options ...>
|
|
])
|
|
fi)
|
|
|
|
# Checks for typedefs, structures, and compiler characteristics.
|
|
AC_C_CONST
|
|
AC_C_INLINE
|
|
AC_C_RESTRICT
|
|
AC_TYPE_SIZE_T
|
|
AC_HEADER_TIME
|
|
AC_STRUCT_TM
|
|
|
|
# Checks for library functions.
|
|
AC_FUNC_FORK
|
|
AC_FUNC_MALLOC
|
|
AC_FUNC_MEMCMP
|
|
AC_FUNC_MMAP
|
|
AC_FUNC_STAT
|
|
AC_FUNC_STRFTIME
|
|
AC_FUNC_STRTOD
|
|
AC_CHECK_FUNCS([sigaltstack bzero gettimeofday memmove memset munmap setenv sqrt strerror getaddrinfo])
|
|
AC_CONFIG_HEADERS([config.h])
|
|
AC_CONFIG_FILES(Makefile src/Makefile scheme/Makefile doc/Makefile lib/Makefile benchmarks/Makefile)
|
|
AC_OUTPUT #(Makefile src/Makefile scheme/Makefile doc/Makefile)
|
|
|