source: git/libpolys/configure.ac @ 6ed8c4

fieker-DuValspielwiese
Last change on this file since 6ed8c4 was 964389, checked in by Oleksandr Motsak <motsak@…>, 13 years ago
ADD: add INSTALL_PREFIX macro into config.h and to the search path
  • Property mode set to 100644
File size: 2.3 KB
RevLine 
[014b65]1AC_INIT([singular], [3.1.2.sw])
[8184703]2AC_CONFIG_MACRO_DIR([../m4])
3AC_CONFIG_AUX_DIR([.])
[d11524]4AC_CONFIG_SRCDIR([reporter/reporter.h])
[41dde6]5AC_CONFIG_HEADER([config.h misc/auxiliary.h])
[ea0001]6AM_MAINTAINER_MODE
[8184703]7AM_INIT_AUTOMAKE
[014b65]8
[84c376]9dnl Check if build env is sane
10AM_SANITY_CHECK
11
[72b880]12LT_INIT(dlopen disable-static)
13
[d11524]14# Checks for programs.
[014b65]15AC_PROG_CXX
[d11524]16AC_PROG_CC
17AC_PROG_LN_S
18AC_PROG_INSTALL
19AM_PROG_CC_C_O
[4aa8610]20
21# Checks for libraries.
[9af8a63]22LB_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)]))
[4aa8610]23
[643b1eb]24LB_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)]))
25
[720156]26# Checks for library functions.
27AC_FUNC_ERROR_AT_LINE
28AC_CHECK_FUNCS([memmove memset pow sqrt strchr])
[ec0d9b]29AC_FUNC_VPRINTF
30AC_FUNC_MALLOC
[84c376]31AC_CHECK_FUNC([vsnprintf], [AC_DEFINE([HAVE_VSNPRINTF], [1], [Define if vsnprintf exists.])])
[720156]32
[d11524]33# Checks for header files.
34AC_HEADER_STDC
[84c376]35AC_STDC_HEADERS
[720156]36AC_CHECK_HEADERS([stdlib.h string.h unistd.h pwd.h sys/param.h limits.h float.h])
[d11524]37
38# Checks for typedefs, structures, and compiler characteristics.
39AC_C_CONST
40AC_C_INLINE
[720156]41AC_HEADER_STDBOOL
42AC_TYPE_SIZE_T
[d11524]43
44SING_CHECK_PIPE
45
46# check for cpu properties
47AC_CHECK_SIZEOF(long,4)
48SING_CHECK_CPU
49
[720156]50#check for host:
51AC_CANONICAL_HOST
52case $host_os in
53  *cygwin* ) LIBPREFIX="-Xlinker -Bdynamic";;
54  * ) LIBPREFIX="";;
55esac
56
[84c376]57dnl INCLUDES=""
58dnl dnl OS specific flags and options
59dnl case "$host" in
60dnl     *-*-freebsd*)
61dnl         LIBS="$LIBS -L/usr/local/lib -lc"
62dnl     CFLAGS="$CFLAGS -I/usr/local/include"
63dnl     INCLUDES="$INCLUDES -I/usr/local/include"
64dnl     ;;
65dnl esac       
66dnl AC_SUBST(INCLUDES)
67
[ec0d9b]68SING_CHECK_P_PROCS
[568cf0]69SING_CHECK_ARITH_RINGS
[45e35b]70SING_CHECK_FACTORY
71SING_CHECK_PLURAL
[bea370]72
[964389]73if test "x$prefix" != xNONE; then
74  PREFIX="$prefix"
75else
76  PREFIX="$ac_default_prefix"
77fi
78
79# AC_SUBST(PREFIX)
80AC_DEFINE_UNQUOTED(INSTALL_PREFIX,"$PREFIX",Prefix)
81
[720156]82AC_SUBST(LIBPREFIX)
83
[014b65]84AC_CONFIG_FILES([Makefile])
[d11524]85AC_CONFIG_FILES([misc/Makefile])
86AC_CONFIG_FILES([reporter/Makefile])
87AC_CONFIG_FILES([resources/Makefile])
[720156]88AC_CONFIG_FILES([coeffs/Makefile])
[ec0d9b]89AC_CONFIG_FILES([polys/Makefile])
[4aa8610]90AC_CONFIG_FILES([tests/Makefile])
[c5917f1]91AC_CONFIG_FILES([libpolys-config])
[014b65]92AC_OUTPUT
Note: See TracBrowser for help on using the repository browser.