source: git/libpolys/configure.ac @ d11524

spielwiese
Last change on this file since d11524 was d11524, checked in by Mohamed Barakat <mohamed.barakat@…>, 13 years ago
- merge libpolys/{misc,reporter,resources}/configure.ac into libpolys/configure.ac - seperate some of the checks in separate m4 files
  • Property mode set to 100644
File size: 1.2 KB
Line 
1AC_INIT([singular], [3.1.2.sw])
2AM_INIT_AUTOMAKE
3AC_CONFIG_MACRO_DIR([../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
14AC_PROG_RANLIB
15AM_PROG_CC_C_O
16
17# Checks for libraries.
18LB_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)]))
19
20# Checks for header files.
21AC_HEADER_STDC
22AC_CHECK_HEADERS([stdlib.h string.h unistd.h pwd.h sys/param.h limits.h])
23
24# Checks for typedefs, structures, and compiler characteristics.
25AC_C_CONST
26AC_C_INLINE
27
28SING_CHECK_PIPE
29
30# Checks for library functions.
31AC_FUNC_VPRINTF
32AC_CHECK_FUNC([vsnprintf], [AC_DEFINE([HAVE_VSNPRINTF], [1],
33                               [Define if vsnprintf exists.])])
34# check for cpu properties
35AC_CHECK_SIZEOF(long,4)
36SING_CHECK_CPU
37
38AC_CONFIG_FILES([Makefile])
39AC_CONFIG_FILES([misc/Makefile])
40AC_CONFIG_FILES([reporter/Makefile])
41AC_CONFIG_FILES([resources/Makefile])
42AC_CONFIG_FILES([tests/Makefile])
43AC_CONFIG_SUBDIRS([coeffs polys])
44AC_OUTPUT
Note: See TracBrowser for help on using the repository browser.