Changeset bbeddf in git for gfanlib/configure.ac


Ignore:
Timestamp:
Nov 15, 2013, 5:13:23 PM (10 years ago)
Author:
Oleksandr Motsak <motsak@…>
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
Message:
Fixed BS: gfanlib/cddlib checking/building/embedding

fix: cddlib configure checks
add: static building-in
fix: return code for _mod_init functions
File:
1 edited

Legend:

Unmodified
Added
Removed
  • gfanlib/configure.ac

    r1684c3 rbbeddf  
    2424
    2525# Checks for libraries.
    26 
    2726LT_INIT
    2827
     
    3029AC_HEADER_STDC
    3130
    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_GFANLIB
    34 
    35 # AC_CHECK_HEADERS([gmp.h])
    36 # if test "$ac_cv_header_gmp_h" == no
    37 # then
    38 #       AC_MSG_WARN([Error, gmp.h is missing!])
    39 #       exit 1
    40 # fi
    41 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" == no
    43 #then
    44 #       AC_MSG_WARN([Error, setoper.h is missing!])
    45 #fi
    46 
    47 # if setoper.h is there, assume that also cdd.h is there
    48 
    49 #if test "x$ENABLE_GFANLIB" = xyes; then
    50 #if test "$ac_cv_header_setoper_h" == no -a "$ac_cv_header_cdd_setoper_h" == no -a "$ac_cv_header_cddlib_setoper_h" == no
    51 #then
    52 ###     exit 0
    53 #fi
    54 #fi
    55 
    5631# Checks for typedefs, structures, and compiler characteristics.
    5732AC_C_INLINE
    5833
     34LB_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
     36SING_CHECK_GFANLIB
    5937
    6038#AC_MSG_RESULT($ac_cv_singuname)
Note: See TracChangeset for help on using the changeset viewer.