source: git/libpolys/configure.ac @ ec0d9b

spielwiese
Last change on this file since ec0d9b was ec0d9b, checked in by Mohamed Barakat <mohamed.barakat@…>, 13 years ago
merge libpolys/polys/configure.ac into polys/configure.ac
  • Property mode set to 100644
File size: 1.5 KB
Line 
1AC_INIT([singular], [3.1.2.sw])
2AM_INIT_AUTOMAKE
3AC_CONFIG_MACRO_DIR([../m4],[m4])
4AC_CONFIG_SRCDIR([reporter/reporter.h])
5AC_CONFIG_HEADER([config.h])
6
7# misc/auxiliary.h
8
9# Checks for programs.
10AC_PROG_CXX
11AC_PROG_CC
12AC_PROG_LN_S
13AC_PROG_INSTALL
14AM_PROG_CC_C_O
15AC_LIBTOOL_DLOPEN
16AC_PROG_LIBTOOL
17
18# Checks for libraries.
19LB_CHECK_GMP(,,AC_MSG_ERROR([Unable to find GMP on your machine: please use --with-gmp=PATH_TO_DIR_CONTAINING_LIB_AND_INCLUDE (see also ./configure --help if you do not understand what we are talking about)]))
20
21# Checks for library functions.
22AC_FUNC_ERROR_AT_LINE
23AC_CHECK_FUNCS([memmove memset pow sqrt strchr])
24AC_FUNC_VPRINTF
25AC_FUNC_MALLOC
26AC_CHECK_FUNC([vsnprintf], [AC_DEFINE([HAVE_VSNPRINTF], [1],
27                               [Define if vsnprintf exists.])])
28
29# Checks for header files.
30AC_HEADER_STDC
31AC_CHECK_HEADERS([stdlib.h string.h unistd.h pwd.h sys/param.h limits.h float.h])
32
33# Checks for typedefs, structures, and compiler characteristics.
34AC_C_CONST
35AC_C_INLINE
36AC_HEADER_STDBOOL
37AC_TYPE_SIZE_T
38
39SING_CHECK_PIPE
40
41# check for cpu properties
42AC_CHECK_SIZEOF(long,4)
43SING_CHECK_CPU
44
45#check for host:
46AC_CANONICAL_HOST
47case $host_os in
48  *cygwin* ) LIBPREFIX="-Xlinker -Bdynamic";;
49  * ) LIBPREFIX="";;
50esac
51
52SING_CHECK_P_PROCS
53
54AC_SUBST(LIBPREFIX)
55
56AC_CONFIG_FILES([Makefile])
57AC_CONFIG_FILES([misc/Makefile])
58AC_CONFIG_FILES([reporter/Makefile])
59AC_CONFIG_FILES([resources/Makefile])
60AC_CONFIG_FILES([coeffs/Makefile])
61AC_CONFIG_FILES([polys/Makefile])
62AC_CONFIG_FILES([tests/Makefile])
63AC_OUTPUT
Note: See TracBrowser for help on using the repository browser.