Changeset bbeddf in git for gfanlib/configure.ac
- Timestamp:
- Nov 15, 2013, 5:13:23 PM (10 years ago)
- Branches:
- (u'spielwiese', 'fe61d9c35bf7c61f2b6cbf1b56e25e2f08d536cc')
- Children:
- 989d6be2dba06d1abec8f5c86bd77f2a001e1e4d
- Parents:
- 1684c331ce908bffa043d3afe97c0a2c4b181d99
- git-author:
- Oleksandr Motsak <motsak@mathematik.uni-kl.de>2013-11-15 17:13:23+01:00
- git-committer:
- Oleksandr Motsak <motsak@mathematik.uni-kl.de>2013-11-15 17:17:40+01:00
- File:
-
- 1 edited
Legend:
- Unmodified
- Added
- Removed
-
gfanlib/configure.ac
r1684c3 rbbeddf 24 24 25 25 # Checks for libraries. 26 27 26 LT_INIT 28 27 … … 30 29 AC_HEADER_STDC 31 30 32 LB_CHECK_GMP(4.0,,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)]))33 SING_CHECK_GFANLIB34 35 # AC_CHECK_HEADERS([gmp.h])36 # if test "$ac_cv_header_gmp_h" == no37 # then38 # AC_MSG_WARN([Error, gmp.h is missing!])39 # exit 140 # fi41 AC_CHECK_HEADERS([cdd/setoper.h setoper.h cddlib/setoper.h])42 # if test "$ac_cv_header_setoper_h" == no -a "$ac_cv_header_cdd_setoper_h" == no -a "$ac_cv_header_cddlib_setoper_h" == no43 #then44 # AC_MSG_WARN([Error, setoper.h is missing!])45 #fi46 47 # if setoper.h is there, assume that also cdd.h is there48 49 #if test "x$ENABLE_GFANLIB" = xyes; then50 #if test "$ac_cv_header_setoper_h" == no -a "$ac_cv_header_cdd_setoper_h" == no -a "$ac_cv_header_cddlib_setoper_h" == no51 #then52 ### exit 053 #fi54 #fi55 56 31 # Checks for typedefs, structures, and compiler characteristics. 57 32 AC_C_INLINE 58 33 34 LB_CHECK_GMP(4.0,,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)])) 35 36 SING_CHECK_GFANLIB 59 37 60 38 #AC_MSG_RESULT($ac_cv_singuname)
Note: See TracChangeset
for help on using the changeset viewer.