Changeset ec0d9b in git for libpolys/configure.ac

Timestamp:

Apr 19, 2011, 12:22:57 PM (13 years ago)

Author:

Mohamed Barakat <mohamed.barakat@…>

Branches:

(u'spielwiese', 'a719bcf0b8dbc648b128303a49777a094b57592c')

Children:

8184703ffc306b654a4aec87405c86909a05666c

Parents:

1135a6114f30c022e5d6f8153155b10152820187

git-author:

Mohamed Barakat <mohamed.barakat@rwth-aachen.de>2011-04-19 12:22:57+02:00

git-committer:

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

Message:

merge libpolys/polys/configure.ac into polys/configure.ac

File:

• libpolys/configure.ac (modified) (6 diffs)

libpolys/configure.ac

@@ -1 +1 @@
 AC_INIT([singular], [3.1.2.sw])
 AM_INIT_AUTOMAKE
-AC_CONFIG_MACRO_DIR([../m4])
+AC_CONFIG_MACRO_DIR([../m4],[m4])
 AC_CONFIG_SRCDIR([reporter/reporter.h])
 AC_CONFIG_HEADER([config.h])
@@ -12 +12 @@
 AC_PROG_LN_S
 AC_PROG_INSTALL
-AC_PROG_RANLIB
 AM_PROG_CC_C_O
+AC_LIBTOOL_DLOPEN
+AC_PROG_LIBTOOL
 
 # Checks for libraries.
@@ -21 +22 @@
 AC_FUNC_ERROR_AT_LINE
 AC_CHECK_FUNCS([memmove memset pow sqrt strchr])
+AC_FUNC_VPRINTF
+AC_FUNC_MALLOC
+AC_CHECK_FUNC([vsnprintf], [AC_DEFINE([HAVE_VSNPRINTF], [1],
+                               [Define if vsnprintf exists.])])
 
 # Checks for header files.
@@ -34 +39 @@
 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)
@@ -49 +50 @@
 esac
 
+SING_CHECK_P_PROCS
+
 AC_SUBST(LIBPREFIX)
 
@@ -56 +59 @@
 AC_CONFIG_FILES([resources/Makefile])
 AC_CONFIG_FILES([coeffs/Makefile])
+AC_CONFIG_FILES([polys/Makefile])
 AC_CONFIG_FILES([tests/Makefile])
-AC_CONFIG_SUBDIRS([polys])
 AC_OUTPUT