source: git/configure.ac @ 615ca8

spielwiese
Last change on this file since 615ca8 was ab788d, checked in by Oleksandr Motsak <motsak@…>, 12 years ago
CHG: minor build system improvements
  • Property mode set to 100755
File size: 2.4 KB
Line 
1AC_INIT([singular], [3.1.3.sw])
2
3AC_CONFIG_MACRO_DIR([m4])
4AC_CONFIG_AUX_DIR([.])
5
6AC_CONFIG_SRCDIR([Singular/tesths.cc])
7
8AC_CONFIG_HEADER([config.h])
9
10AM_MAINTAINER_MODE
11AM_INIT_AUTOMAKE([singular], [3.1.3.sw])
12
13dnl Check if build env is sane
14AM_SANITY_CHECK
15
16#
17# - Check for CC and CXX but be careful about CFLAGS.
18#
19
20test "${CFLAGS+set}" = set || cflags_expl_set=no
21AC_PROG_CC
22test "${CXXFLAGS+set}" = set || cxxflags_expl_set=no
23AC_PROG_CXX
24if test "x$GCC" != xyes && test "x$GXX" != xyes; then
25  AC_MSG_WARN(you better use gcc to compile Factory)
26else
27  if test "x$GXX" = xyes && test "x$cxxflags_expl_set" = xno; then
28    AC_MSG_WARN([we use \`' as default for \`CXXFLAGS'
29                    (instead of the configure default \`-g -O')])
30  fi
31  if test "x$GCC" = xyes && test "x$cflags_expl_set" = xno; then
32    AC_MSG_WARN([we use \`' as default for \`CFLAGS'
33                    (instead of the configure default \`-g -O')])
34  fi
35fi
36
37LT_INIT([shared])
38 
39   
40AC_PROG_CPP
41AC_PROG_CXXCPP
42AM_PROG_CC_C_O
43AC_PROG_LN_S
44AC_PROG_INSTALL
45# AC_PROG_RANLIB
46
47   
48# Checks for libraries.
49LB_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)]))
50LB_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)]))
51
52AC_FUNC_ERROR_AT_LINE
53AC_FUNC_MALLOC
54
55SING_CHECK_PIPE
56
57# check for cpu properties
58AC_CHECK_SIZEOF(long,4)
59SING_CHECK_CPU
60
61#check for host:
62AC_CANONICAL_HOST
63case $host_os in
64  *cygwin* ) LIBPREFIX="-Xlinker -Bdynamic";;
65  * ) LIBPREFIX="";;
66esac
67
68
69SING_CHECK_P_PROCS
70SING_CHECK_FACTORY
71SING_CHECK_READLINE
72SING_CHECK_DBM
73
74# CFLAGS
75if test "x$GCC" = xyes && test "x$cflags_expl_set" = xno; then
76  CFLAGS=""
77fi
78
79# CXXFLAGS
80if test "x$GXX" = xyes && test "x$cxxflags_expl_set" = xno; then
81  CXXFLAGS=""
82fi
83
84### the following is needed due to the use of om_sing_opt_show_mem in misc_ip.cc...
85#ac_configure_args="$ac_configure_args --with-external-config_h=../Singular/omSingularConfig.h"
86
87AC_CONFIG_SUBDIRS(omalloc)
88
89if test x$ENABLE_FACTORY = xyes; then
90  AC_CONFIG_SUBDIRS(factory)
91fi
92
93AC_CONFIG_SUBDIRS(libpolys)
94
95AC_CONFIG_FILES([Makefile])
96AC_CONFIG_FILES([kernel/Makefile])
97AC_CONFIG_FILES([numeric/Makefile])
98AC_CONFIG_FILES([Singular/Makefile])
99
100AC_OUTPUT
Note: See TracBrowser for help on using the repository browser.