Changeset d11524 in git for libpolys/configure.ac

Timestamp:

Apr 14, 2011, 12:54:46 PM (13 years ago)

Author:

Mohamed Barakat <mohamed.barakat@…>

Branches:

(u'spielwiese', 'a719bcf0b8dbc648b128303a49777a094b57592c')

Children:

72015634c9aa4b237c52f66b5528b431f59c3c5c

Parents:

691dbab4f58d7c8d1f15856e249e5d8a0be23d2d

git-author:

Mohamed Barakat <mohamed.barakat@rwth-aachen.de>2011-04-14 12:54:46+02:00

git-committer:

Mohamed Barakat <mohamed.barakat@rwth-aachen.de>2011-11-09 12:12:34+01:00

Message:

- merge libpolys/{misc,reporter,resources}/configure.ac into libpolys/configure.ac
- seperate some of the checks in separate m4 files

File:

• libpolys/configure.ac (modified) (1 diff)

libpolys/configure.ac

@@ -2 +2 @@
 AM_INIT_AUTOMAKE
 AC_CONFIG_MACRO_DIR([../m4])
+AC_CONFIG_SRCDIR([reporter/reporter.h])
+AC_CONFIG_HEADER([config.h])
 
+# misc/auxiliary.h
+
+# Checks for programs.
+AC_PROG_CXX
 AC_PROG_CC
-AC_PROG_CXX
+AC_PROG_LN_S
+AC_PROG_INSTALL
+AC_PROG_RANLIB
+AM_PROG_CC_C_O
 
 # Checks for libraries.
 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)]))
 
+# Checks for header files.
+AC_HEADER_STDC
+AC_CHECK_HEADERS([stdlib.h string.h unistd.h pwd.h sys/param.h limits.h])
+
+# Checks for typedefs, structures, and compiler characteristics.
+AC_C_CONST
+AC_C_INLINE
+
+SING_CHECK_PIPE
+
+# Checks for library functions.
+AC_FUNC_VPRINTF
+AC_CHECK_FUNC([vsnprintf], [AC_DEFINE([HAVE_VSNPRINTF], [1],
+                               [Define if vsnprintf exists.])])
+# check for cpu properties
+AC_CHECK_SIZEOF(long,4)
+SING_CHECK_CPU
+
 AC_CONFIG_FILES([Makefile])
+AC_CONFIG_FILES([misc/Makefile])
+AC_CONFIG_FILES([reporter/Makefile])
+AC_CONFIG_FILES([resources/Makefile])
 AC_CONFIG_FILES([tests/Makefile])
-AC_CONFIG_SUBDIRS([misc reporter resources coeffs polys])
+AC_CONFIG_SUBDIRS([coeffs polys])
 AC_OUTPUT