source: git/configure.ac @ 5417ff

jengelh-datetimespielwiese
Last change on this file since 5417ff was 5417ff, checked in by Oleksandr Motsak <motsak@…>, 10 years ago
Added automake BuildSystem
  • Property mode set to 100644
File size: 4.9 KB
RevLine 
[444bcf]1AC_INIT([singular],[3.1.3.sw])
[715936]2
[429497]3_AC_SRCDIRS(["$ac_dir"])
4
[3aea08]5AC_CONFIG_MACRO_DIR([m4])
[9634a6]6AC_CONFIG_AUX_DIR([.])
[715936]7
[3aea08]8AC_CONFIG_SRCDIR([Singular/tesths.cc])
9
10AC_CONFIG_HEADER([config.h])
11
[ea0001]12AM_MAINTAINER_MODE
[24a77fb]13AM_INIT_AUTOMAKE([-Wall foreign subdir-objects]) # -Wno-extra-portability -Werror silent-rules
[2e984a]14m4_ifdef([AM_SILENT_RULES], [AM_SILENT_RULES])
[280286e]15m4_ifdef([AM_PROG_AR], [AM_PROG_AR])
[2e984a]16
[3aea08]17
18dnl Check if build env is sane
19AM_SANITY_CHECK
20
[f86531]21#
22# - Check for CC and CXX but be careful about CFLAGS.
23#
[3aea08]24
[f86531]25test "${CFLAGS+set}" = set || cflags_expl_set=no
[9634a6]26AC_PROG_CC
[f86531]27test "${CXXFLAGS+set}" = set || cxxflags_expl_set=no
[9634a6]28AC_PROG_CXX
[f86531]29if test "x$GCC" != xyes && test "x$GXX" != xyes; then
30  AC_MSG_WARN(you better use gcc to compile Factory)
31else
32  if test "x$GXX" = xyes && test "x$cxxflags_expl_set" = xno; then
33    AC_MSG_WARN([we use \`' as default for \`CXXFLAGS'
34                    (instead of the configure default \`-g -O')])
35  fi
36  if test "x$GCC" = xyes && test "x$cflags_expl_set" = xno; then
37    AC_MSG_WARN([we use \`' as default for \`CFLAGS'
38                    (instead of the configure default \`-g -O')])
39  fi
40fi
41
[8fee84]42
43AC_HEADER_STDC
[76f3a18]44AC_CHECK_HEADERS(unistd.h iostream.h)
[8fee84]45
[eb2d25]46AC_CHECK_FUNCS(readlink getcwd getwd setenv putenv)
[8fee84]47
48
[f86531]49AC_PROG_CPP
50AC_PROG_CXXCPP
[897139]51AM_PROG_CC_C_O
[7c7495]52### AM_PROG_LEX
[3aea08]53AC_PROG_LN_S
54AC_PROG_INSTALL
[b9cf41]55
[80c102]56LT_INIT
[81384b]57
[897139]58# Checks for libraries.
59LB_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)]))
60LB_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)]))
[286be1f]61LB_CHECK_FLINT(2.3,,AC_MSG_WARN([Unable to find FLINT (which is strongly recommended) on your machine: please use --with-flint=PATH_TO_DIR_CONTAINING_LIB_AND_INCLUDE (see also ./configure --help if you do not understand what we are talking about)]))
[6b61be]62
[cca8b3]63AX_PYTHON_DEFAULT()
[7b9d49]64AX_PYTHON_WITH_VERSION([2.4])
65
[b3cd39]66
[3aea08]67AC_FUNC_ERROR_AT_LINE
68AC_FUNC_MALLOC
69
70SING_CHECK_PIPE
71
72# check for cpu properties
73AC_CHECK_SIZEOF(long,4)
74SING_CHECK_CPU
75
76#check for host:
77AC_CANONICAL_HOST
78case $host_os in
79  *cygwin* ) LIBPREFIX="-Xlinker -Bdynamic";;
80  * ) LIBPREFIX="";;
81esac
82
83
84SING_CHECK_P_PROCS
85SING_CHECK_FACTORY
[d56ad87]86SING_CHECK_READLINE
[b7cad8c]87SING_CHECK_DBM
[81384b]88SING_CHECK_GFANLIB
[f86531]89
90# CFLAGS
91if test "x$GCC" = xyes && test "x$cflags_expl_set" = xno; then
92  CFLAGS=""
93fi
94
95# CXXFLAGS
96if test "x$GXX" = xyes && test "x$cxxflags_expl_set" = xno; then
97  CXXFLAGS=""
98fi
99
[113ed4]100AC_DEFINE_UNQUOTED([CC],"$CC",[CC])
101AC_DEFINE_UNQUOTED([CXX],"$CXX",[CXX])
102AC_DEFINE_UNQUOTED([CFLAGS],"$CFLAGS",[CFLAGS])
103AC_DEFINE_UNQUOTED([CXXFLAGS],"$CXXFLAGS",[CXXFLAGS])
104AC_DEFINE_UNQUOTED([LDFLAGS],"$LDFLAGS",[LDFLAGS])
105
[eeae6e3]106### the following is needed due to the use of om_sing_opt_show_mem in misc_ip.cc...
107#ac_configure_args="$ac_configure_args --with-external-config_h=../Singular/omSingularConfig.h"
[715936]108
[461f40]109AC_ARG_ENABLE(omalloc, AS_HELP_STRING([--disable-omalloc], [do NOT use omalloc within the factory]),
110 [if test "x$enableval"  = "xyes"; then
111   ENABLE_OMALLOC=yes
112 fi], ENABLE_OMALLOC=add)
[429497]113
[461f40]114ENABLE_OMALLOC_ARG="--with-omalloc-dir=$ac_abs_top_srcdir --with-omalloc-extra-dir=$ac_abs_top_builddir --enable-omalloc-trust"
[429497]115
[461f40]116if test "x$ENABLE_OMALLOC" = xadd; then
117   ENABLE_OMALLOC=yes
118   ENABLE_OMALLOC_ARG="--enable-omalloc $ENABLE_OMALLOC_ARG"
119fi
120
121
122
123
124if test "x$ENABLE_FACTORY" = xyes; then
125 AC_MSG_CHECKING(whether to use omalloc in factory)
126 if test "x$ENABLE_OMALLOC" = xyes; then
[429497]127  AC_MSG_RESULT(yes)
[461f40]128  ac_configure_args="$ac_configure_args $ENABLE_OMALLOC_ARG"
129 else
[429497]130  AC_MSG_RESULT(no)
[461f40]131 fi
[429497]132fi
133
[f284db]134AC_ARG_ENABLE(debug, AS_HELP_STRING([--enable-debug], [build the debugging version of the libraries]),
[2b43ac]135 [if test "x$enableval"  = "xyes"; then
136   ENABLE_DEBUG=yes
137 fi], ENABLE_DEBUG=no)
138
139AM_CONDITIONAL(WANT_DEBUG, test x"${ENABLE_DEBUG}" == xyes)
140
[d1fbbf]141AC_ARG_ENABLE(countedref, AS_HELP_STRING([--enable-countedref], [Enable autoloading of reference counted types]),
142[if test "x$enableval" = "xyes"; then
143ENABLE_COUNTEDREF_AUTOLOAD=yes
144fi], ENABLE_COUNTEDREF_AUTOLOAD=no)
145
146if test x"${ENABLE_COUNTEDREF_AUTOLOAD}" == xyes; then
147  AC_DEFINE([SI_COUNTEDREF_AUTOLOAD],1,[Enable autoloading of reference counted types])
148  AC_SUBST(SI_COUNTEDREF_AUTOLOAD)
149fi
150
[81384b]151AC_CONFIG_SUBDIRS([findexec])
[461f40]152AC_CONFIG_SUBDIRS([omalloc])
[715936]153
[461f40]154if test "x$ENABLE_FACTORY" = xyes; then
155 AC_CONFIG_SUBDIRS([factory])
[6b61be]156fi
[715936]157
[461f40]158AC_CONFIG_SUBDIRS([libpolys])
[5417ff]159
[715936]160AC_CONFIG_FILES([Makefile])
[3aea08]161AC_CONFIG_FILES([kernel/Makefile])
[b9cf41]162AC_CONFIG_FILES([numeric/Makefile])
[151a06]163AC_CONFIG_FILES([Singular/Makefile])
[1114d2]164AC_CONFIG_FILES([dyn_modules/Makefile])
165AC_CONFIG_FILES([dyn_modules/bigintm/Makefile])
166AC_CONFIG_FILES([dyn_modules/syzextra/Makefile])
[5417ff]167AC_CONFIG_FILES([dyn_modules/callgfanlib/Makefile])
168AC_CONFIG_FILES([IntegerProgramming/Makefile])
[584f6b0]169AC_CONFIG_FILES([libsingular-config])
[5417ff]170AC_CONFIG_SUBDIRS([gfanlib])
[b9cf41]171
[9634a6]172AC_OUTPUT
Note: See TracBrowser for help on using the repository browser.