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 | |
---|
1 | AC_INIT([singular], [3.1.2.sw]) |
---|
2 | AM_INIT_AUTOMAKE |
---|
3 | AC_CONFIG_MACRO_DIR([../m4]) |
---|
4 | AC_CONFIG_SRCDIR([reporter/reporter.h]) |
---|
5 | AC_CONFIG_HEADER([config.h]) |
---|
6 | |
---|
7 | # misc/auxiliary.h |
---|
8 | |
---|
9 | # Checks for programs. |
---|
10 | AC_PROG_CXX |
---|
11 | AC_PROG_CC |
---|
12 | AC_PROG_LN_S |
---|
13 | AC_PROG_INSTALL |
---|
14 | AC_PROG_RANLIB |
---|
15 | AM_PROG_CC_C_O |
---|
16 | |
---|
17 | # Checks for libraries. |
---|
18 | LB_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. |
---|
21 | AC_HEADER_STDC |
---|
22 | AC_CHECK_HEADERS([stdlib.h string.h unistd.h pwd.h sys/param.h limits.h]) |
---|
23 | |
---|
24 | # Checks for typedefs, structures, and compiler characteristics. |
---|
25 | AC_C_CONST |
---|
26 | AC_C_INLINE |
---|
27 | |
---|
28 | SING_CHECK_PIPE |
---|
29 | |
---|
30 | # Checks for library functions. |
---|
31 | AC_FUNC_VPRINTF |
---|
32 | AC_CHECK_FUNC([vsnprintf], [AC_DEFINE([HAVE_VSNPRINTF], [1], |
---|
33 | [Define if vsnprintf exists.])]) |
---|
34 | # check for cpu properties |
---|
35 | AC_CHECK_SIZEOF(long,4) |
---|
36 | SING_CHECK_CPU |
---|
37 | |
---|
38 | AC_CONFIG_FILES([Makefile]) |
---|
39 | AC_CONFIG_FILES([misc/Makefile]) |
---|
40 | AC_CONFIG_FILES([reporter/Makefile]) |
---|
41 | AC_CONFIG_FILES([resources/Makefile]) |
---|
42 | AC_CONFIG_FILES([tests/Makefile]) |
---|
43 | AC_CONFIG_SUBDIRS([coeffs polys]) |
---|
44 | AC_OUTPUT |
---|
Note: See
TracBrowser
for help on using the repository browser.