spielwiese
|
Last change
on this file since ae133b was
eeae6e3,
checked in by Oleksandr Motsak <motsak@…>, 13 years ago
|
|
FIX: the use of "om_sing_opt_show_mem" in Singular/misc_ip.cc now depends on whether "--with-external-config_h=../Singular/omSingularConfig.h" was used, which is thus not necessary for building Singular anymore
CHG: minor cleanup in configure.ac
|
-
Property mode set to
100755
|
|
File size:
1.0 KB
|
| Line | |
|---|
| 1 | AC_INIT([singular], [3.1.2.sw]) |
|---|
| 2 | |
|---|
| 3 | AC_CONFIG_AUX_DIR([.]) |
|---|
| 4 | |
|---|
| 5 | AM_MAINTAINER_MODE |
|---|
| 6 | AM_INIT_AUTOMAKE |
|---|
| 7 | AC_PROG_CC |
|---|
| 8 | AC_PROG_CXX |
|---|
| 9 | AM_PROG_CC_C_O |
|---|
| 10 | AC_PROG_RANLIB |
|---|
| 11 | |
|---|
| 12 | SING_CHECK_FACTORY |
|---|
| 13 | # Checks for libraries. |
|---|
| 14 | LB_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)])) |
|---|
| 15 | LB_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)])) |
|---|
| 16 | |
|---|
| 17 | |
|---|
| 18 | ### the following is needed due to the use of om_sing_opt_show_mem in misc_ip.cc... |
|---|
| 19 | #ac_configure_args="$ac_configure_args --with-external-config_h=../Singular/omSingularConfig.h" |
|---|
| 20 | |
|---|
| 21 | AC_CONFIG_SUBDIRS(omalloc) |
|---|
| 22 | |
|---|
| 23 | if test x$ENABLE_FACTORY = xyes; then |
|---|
| 24 | AC_CONFIG_SUBDIRS(factory) |
|---|
| 25 | fi |
|---|
| 26 | |
|---|
| 27 | AC_CONFIG_SUBDIRS(libpolys) |
|---|
| 28 | |
|---|
| 29 | AC_CONFIG_FILES([Makefile]) |
|---|
| 30 | AC_CONFIG_FILES([numeric/Makefile]) |
|---|
| 31 | |
|---|
| 32 | AC_OUTPUT |
|---|
Note: See
TracBrowser
for help on using the repository browser.
