source: git/libpolys/configure.ac @ ea5f3f6

spielwiese
Last change on this file since ea5f3f6 was ea5f3f6, checked in by Oleksandr Motsak <motsak@…>, 11 years ago
Improved BS (configuring)
  • Property mode set to 100644
File size: 3.0 KB
RevLine 
[ab788d]1AC_INIT([libpolys], [3.1.2.sw])
2
[8184703]3AC_CONFIG_MACRO_DIR([../m4])
4AC_CONFIG_AUX_DIR([.])
[d11524]5AC_CONFIG_SRCDIR([reporter/reporter.h])
[41dde6]6AC_CONFIG_HEADER([config.h misc/auxiliary.h])
[ab788d]7
[ea0001]8AM_MAINTAINER_MODE
[24a77fb]9AM_INIT_AUTOMAKE([-Wall foreign subdir-objects]) # -Wno-extra-portability -Werror silent-rules
[2e984a]10m4_ifdef([AM_SILENT_RULES], [AM_SILENT_RULES])
[280286e]11m4_ifdef([AM_PROG_AR], [AM_PROG_AR])
[2e984a]12
[84c376]13dnl Check if build env is sane
14AM_SANITY_CHECK
15
[f86531]16# - Check for CC and CXX but be careful about CFLAGS.
[7d160bb]17SING_RESET_FLAGS()
18SING_CHECK_SET_ARGS()
19
[f86531]20AC_PROG_CC
21AC_PROG_CXX
[e078e0]22AM_PROG_CC_C_O
23AC_PROG_LN_S
24AC_PROG_INSTALL
25
[4c5b46]26# Turn off shared libraries during beta-testing, since they
27# make the build process take too long.
[80c102]28LT_INIT
29# ([shared])
30# LT_INIT(dlopen disable-static) # doesn't work on PowerPC!
[72b880]31
[4aa8610]32# Checks for libraries.
[9af8a63]33LB_CHECK_GMP(3.1.1,,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)]))
[643b1eb]34LB_CHECK_NTL(5.0,,AC_MSG_WARN([Unable to find NTL (which is strongly recommended) on your machine: please use --with-ntl=PATH_TO_DIR_CONTAINING_LIB_AND_INCLUDE (see also ./configure --help if you do not understand what we are talking about)]))
35
[720156]36# Checks for library functions.
37AC_FUNC_ERROR_AT_LINE
[eb2d25]38AC_CHECK_FUNCS([memmove memset pow sqrt strchr setenv putenv])
[ec0d9b]39AC_FUNC_VPRINTF
40AC_FUNC_MALLOC
[84c376]41AC_CHECK_FUNC([vsnprintf], [AC_DEFINE([HAVE_VSNPRINTF], [1], [Define if vsnprintf exists.])])
[720156]42
[d11524]43# Checks for header files.
44AC_HEADER_STDC
[84c376]45AC_STDC_HEADERS
[56bce65]46AC_CHECK_HEADERS([stdlib.h string.h unistd.h pwd.h sys/param.h limits.h float.h execinfo.h])
47
48# If the compiler supports GCC C++ ABI name demangling (has header
49#   cxxabi.h and abi::__cxa_demangle() function), define
50#   HAVE_GCC_ABI_DEMANGLE
51AX_CXX_GCC_ABI_DEMANGLE
[d11524]52
53# Checks for typedefs, structures, and compiler characteristics.
54AC_C_CONST
55AC_C_INLINE
[720156]56AC_HEADER_STDBOOL
57AC_TYPE_SIZE_T
[d11524]58
[ea5f3f6]59# SING_CHECK_PIPE
[d11524]60
61# check for cpu properties
62AC_CHECK_SIZEOF(long,4)
63SING_CHECK_CPU
64
[720156]65#check for host:
66AC_CANONICAL_HOST
67case $host_os in
68  *cygwin* ) LIBPREFIX="-Xlinker -Bdynamic";;
69  * ) LIBPREFIX="";;
70esac
71
[84c376]72dnl INCLUDES=""
73dnl dnl OS specific flags and options
74dnl case "$host" in
75dnl     *-*-freebsd*)
76dnl         LIBS="$LIBS -L/usr/local/lib -lc"
77dnl     CFLAGS="$CFLAGS -I/usr/local/include"
78dnl     INCLUDES="$INCLUDES -I/usr/local/include"
79dnl     ;;
80dnl esac       
81dnl AC_SUBST(INCLUDES)
82
[ec0d9b]83SING_CHECK_P_PROCS
[568cf0]84SING_CHECK_ARITH_RINGS
[45e35b]85SING_CHECK_FACTORY
86SING_CHECK_PLURAL
[bea370]87
[964389]88# AC_SUBST(PREFIX)
[f284db]89# AC_DEFINE_UNQUOTED(INSTALL_PREFIX,"$PREFIX",Prefix)
[964389]90
[f3ea6ce]91AC_DEFINE([SINGULAR],[1],[SINGULAR])
92AC_DEFINE([DISABLE_GMP_CPP],[1],[DISABLE_GMP_CPP])
93AC_DEFINE([NOSTREAMIO],[1],[DISABLE_GMP_CPP])
94
[c1e7a6]95AX_PYTHON_DEFAULT()
96AX_PYTHON_WITH_VERSION([2.4])
97
[047597]98## AC_DEFINE([HAVE_POLYEXTENSIONS], [1], [Enable the algebraic & transcendental extensions])
99
[014b65]100AC_CONFIG_FILES([Makefile])
[d11524]101AC_CONFIG_FILES([misc/Makefile])
102AC_CONFIG_FILES([reporter/Makefile])
[720156]103AC_CONFIG_FILES([coeffs/Makefile])
[ec0d9b]104AC_CONFIG_FILES([polys/Makefile])
[4aa8610]105AC_CONFIG_FILES([tests/Makefile])
[c5917f1]106AC_CONFIG_FILES([libpolys-config])
[014b65]107AC_OUTPUT
Note: See TracBrowser for help on using the repository browser.