source: git/configure.ac @ 3de3f9

spielwiese
Last change on this file since 3de3f9 was 3de3f9, checked in by Oleksandr Motsak <motsak@…>, 12 years ago
FIX: no such option enable-shared -> shared?
  • Property mode set to 100755
File size: 1.5 KB
Line 
1AC_INIT([singular], [3.1.2.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
17LT_INIT([shared])
18
19AC_PROG_CC
20AC_PROG_CXX
21AM_PROG_CC_C_O
22AC_PROG_LN_S
23AC_PROG_INSTALL
24# AC_PROG_RANLIB
25
26# Checks for libraries.
27LB_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)]))
28LB_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)]))
29
30AC_FUNC_ERROR_AT_LINE
31AC_FUNC_MALLOC
32
33SING_CHECK_PIPE
34
35# check for cpu properties
36AC_CHECK_SIZEOF(long,4)
37SING_CHECK_CPU
38
39#check for host:
40AC_CANONICAL_HOST
41case $host_os in
42  *cygwin* ) LIBPREFIX="-Xlinker -Bdynamic";;
43  * ) LIBPREFIX="";;
44esac
45
46
47SING_CHECK_P_PROCS
48SING_CHECK_FACTORY
49
50### the following is needed due to the use of om_sing_opt_show_mem in misc_ip.cc...
51#ac_configure_args="$ac_configure_args --with-external-config_h=../Singular/omSingularConfig.h"
52
53AC_CONFIG_SUBDIRS(omalloc)
54
55if test x$ENABLE_FACTORY = xyes; then
56  AC_CONFIG_SUBDIRS(factory)
57fi
58
59AC_CONFIG_SUBDIRS(libpolys)
60
61AC_CONFIG_FILES([Makefile])
62AC_CONFIG_FILES([kernel/Makefile])
63AC_CONFIG_FILES([numeric/Makefile])
64
65AC_OUTPUT
Note: See TracBrowser for help on using the repository browser.