source: git/configure.ac @ a0acbc

spielwiese
Last change on this file since a0acbc was c2eb2e, checked in by Volker Braun <vbraun.name@…>, 12 years ago
make install and make distcheck work now
  • 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
12
13
14dnl Check if build env is sane
15AM_SANITY_CHECK
16
17#
18# - Check for CC and CXX but be careful about CFLAGS.
19#
20
21test "${CFLAGS+set}" = set || cflags_expl_set=no
22AC_PROG_CC
23test "${CXXFLAGS+set}" = set || cxxflags_expl_set=no
24AC_PROG_CXX
25if test "x$GCC" != xyes && test "x$GXX" != xyes; then
26  AC_MSG_WARN(you better use gcc to compile Factory)
27else
28  if test "x$GXX" = xyes && test "x$cxxflags_expl_set" = xno; then
29    AC_MSG_WARN([we use \`' as default for \`CXXFLAGS'
30                    (instead of the configure default \`-g -O')])
31  fi
32  if test "x$GCC" = xyes && test "x$cflags_expl_set" = xno; then
33    AC_MSG_WARN([we use \`' as default for \`CFLAGS'
34                    (instead of the configure default \`-g -O')])
35  fi
36fi
37
38LT_INIT([shared])
39 
40   
41AC_PROG_CPP
42AC_PROG_CXXCPP
43AM_PROG_CC_C_O
44AC_PROG_LN_S
45AC_PROG_INSTALL
46# AC_PROG_RANLIB
47
48   
49# Checks for libraries.
50LB_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)]))
51LB_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)]))
52
53AC_FUNC_ERROR_AT_LINE
54AC_FUNC_MALLOC
55
56SING_CHECK_PIPE
57
58# check for cpu properties
59AC_CHECK_SIZEOF(long,4)
60SING_CHECK_CPU
61
62#check for host:
63AC_CANONICAL_HOST
64case $host_os in
65  *cygwin* ) LIBPREFIX="-Xlinker -Bdynamic";;
66  * ) LIBPREFIX="";;
67esac
68
69
70SING_CHECK_P_PROCS
71SING_CHECK_FACTORY
72SING_CHECK_READLINE
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.