Changeset 9af8a63 in git
- Timestamp:
- May 10, 2011, 12:38:31 PM (12 years ago)
- Branches:
- (u'spielwiese', '8d54773d6c9e2f1d2593a28bc68b7eeab54ed529')
- Children:
- 7d73857bd54e9bc8480c720d2a0c39dae20a94ed
- Parents:
- a1176850d8bc3768dff97fab8beb14e098171bf7
- git-author:
- Mohamed Barakat <mohamed.barakat@rwth-aachen.de>2011-05-10 12:38:31+02:00
- git-committer:
- Mohamed Barakat <mohamed.barakat@rwth-aachen.de>2011-11-09 12:31:40+01:00
- Files:
-
- 5 edited
Legend:
- Unmodified
- Added
- Removed
-
factory/GNUmakefile.in
ra11768 r9af8a63 67 67 # 68 68 CFLAGS = @CFLAGS@ 69 CPPFLAGS = @CPPFLAGS@ 69 CPPFLAGS = @CPPFLAGS@ @GMP_CFLAGS@ @NTL_CFLAGS@ 70 70 CXXFLAGS = @CXXFLAGS@ 71 71 DEFS = @DEFS@ 72 72 LDFLAGS = @LDFLAGS@ 73 LIBS = @LIBS@ 73 LIBS = @LIBS@ @GMP_LIBS@ @NTL_LIBS@ 74 74 75 75 ARFLAGS = @ARFLAGS@ -
factory/configure.in
ra11768 r9af8a63 15 15 AC_REVISION($Id$) 16 16 AC_INIT(canonicalform.cc) 17 AC_CONFIG_MACRO_DIR([../m4]) 17 18 AC_CONFIG_HEADER(config.h) 18 19 AC_CONFIG_AUX_DIR(bin) … … 47 48 omalloc, 48 49 [ --with-omalloc build for use with omalloc]) 49 AC_ARG_WITH(50 gmp,51 [ --with-gmp(=<gmp_path>)52 specify where to find gmp library.])53 50 54 51 AC_ARG_WITH( … … 57 54 , 58 55 with_Singular=no) 59 60 AC_ARG_WITH(61 NTL,62 [ --with-NTL build for use with NTL.],63 with_NTL=yes,64 )65 66 AC_ARG_ENABLE(67 NTL,68 [ --enable-NTL build for use with NTL.],69 with_NTL=yes,70 )71 56 72 57 AC_ARG_ENABLE( … … 112 97 , 113 98 enable_debugoutput=no) 114 115 # a tribute to Singular116 AC_ARG_ENABLE(117 gmp,118 [ --enable-gmp together with \`--with-Singular' means: installation119 in process, be graceful when there is no \`gmp.h'],120 [ if test "x$with_Singular" = xyes && test "x$enable_gmp" != xno; then121 with_gmp='$(prefix)'122 fi ])123 124 #125 # - check the results of --with-gmp.126 #127 case "$with_gmp" in128 yes|no|"")129 gmp_in_installation=no ;;130 *)131 CPPFLAGS="-I$with_gmp/include $CPPFLAGS"132 LDFLAGS="-L$with_gmp/lib $LDFLAGS"133 gmp_in_installation=no ;;134 esac135 99 136 100 # … … 226 190 AC_CHECK_LIB(m, atof, , [ AC_MSG_ERROR(libm.a not found) ]) 227 191 228 if test "x$gmp_in_installation" != xyes; then 229 AC_CHECK_LIB(gmp, main, , 230 [ 231 # check a second time in `$(libdir)'. This is a bit tricky, 232 # but I think its worth avoiding long option values. 233 unset ac_cv_lib_gmp_main 234 LDFLAGS="-L$explicit_libdir $LDFLAGS" 235 AC_CHECK_LIB(gmp, main, , 236 [ AC_MSG_ERROR(libgmp.a not found. Use option --with-gmp to specify path) ]) 237 unset ac_cv_lib_gmp_main 238 ]) 239 fi 192 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)])) 193 194 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)])) 240 195 241 196 # arithmetic shift … … 256 211 # 257 212 AC_LANG_CPLUSPLUS 258 259 if test "x$gmp_in_installation" != xyes; then260 AC_CHECK_HEADERS(gmp.h, ,261 [262 # check a second time in `$(includedir)'. This is a bit tricky,263 # but I think it's worth avoiding long option values.264 unset ac_cv_header_gmp_h265 CPPFLAGS="-I$explicit_includedir $CPPFLAGS"266 AC_CHECK_HEADERS(gmp.h, ,267 [ AC_MSG_ERROR(gmp.h not found. Use option --with-gmp to specify path) ])268 unset ac_cv_header_gmp_h269 ])270 fi271 213 272 214 AC_CHECK_HEADERS(stdio.h stdlib.h string.h time.h math.h, , … … 409 351 fi 410 352 411 # NTL412 if test "x$with_NTL" = xyes; then413 AC_DEFINE(HAVE_NTL)414 fi415 416 353 # arithmetic shift 417 354 #if test "x$ac_cv_shift" = xyes; then 418 355 # AC_DEFINE(HAS_ARITHMETIC_SHIFT) 419 356 #fi 420 421 # gmp-stuff. we must not set these flags before the tests422 # are finished!423 if test "x$gmp_in_installation" = xyes; then424 CPPFLAGS="-I\$(includedir) $CPPFLAGS"425 if test "x$with_Singular" = xyes; then426 LDFLAGS="-L\$(libdir) -lgmp $LDFLAGS"427 fi428 fi429 357 430 358 AC_MSG_CHECKING(whether to use omalloc) -
libpolys/configure.ac
ra11768 r9af8a63 19 19 20 20 # Checks for libraries. 21 LB_CHECK_GMP( ,,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)]))21 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)])) 22 22 23 23 # Checks for library functions. -
m4/gmp-check.m4
ra11768 r9af8a63 25 25 [GMP_HOME_PATH="${DEFAULT_CHECKING_PATH}"]) 26 26 27 min_gmp_version=ifelse([$1], , 3.1.1,$1)27 min_gmp_version=ifelse([$1], ,1.0,$1) 28 28 29 29 dnl Check for existence -
m4/ntl-check.m4
ra11768 r9af8a63 16 16 AC_DEFUN([LB_CHECK_NTL], 17 17 [ 18 DEFAULT_CHECKING_PATH="/usr /usr/local /sw /opt/local" 18 19 19 20 AC_ARG_WITH(ntl, … … 30 31 NTL_HOME_PATH="$withval" 31 32 fi], 32 [ ])33 [NTL_HOME_PATH="${DEFAULT_CHECKING_PATH}"]) 33 34 34 min_ntl_version=ifelse([$1], , 5.0,$1)35 min_ntl_version=ifelse([$1], ,1.0,$1) 35 36 36 37 … … 38 39 BACKUP_CXXFLAGS=${CXXFLAGS} 39 40 BACKUP_LIBS=${LIBS} 41 42 AC_LANG_PUSH(C++) 40 43 41 44 if test -n "$NTL_HOME_PATH"; then … … 47 50 if test -r "$NTL_HOME/include/NTL/ZZ.h"; then 48 51 49 if test "x$NTL_HOME" != "x/usr" -a "x$NTL_HOME" != "x/usr/local"; then52 if test "x$NTL_HOME" != "x/usr"; then 50 53 NTL_CFLAGS="-I${NTL_HOME}/include" 51 54 NTL_LIBS="-L${NTL_HOME}/lib -lntl" … … 107 110 elif test "x$ntl_found" = "xno"; then 108 111 AC_MSG_RESULT(not found) 109 if test "x$NTL_HOME" != "x/usr" -a "x$NTL_HOME" != "x/usr/local" ; then110 AC_MSG_WARN(NTL >= $min_ntl_version was not found. LinBox also requires the NTL namespace to be enabled. Please make sure NTL is compiled correctly.)111 fi112 112 ifelse([$3], , :, [$3]) 113 113 fi 114 114 115 115 AC_LANG_POP 116 116 117 117 AM_CONDITIONAL(SING_HAVE_NTL, test "x$HAVE_NTL" = "xyes")
Note: See TracChangeset
for help on using the changeset viewer.