Changeset 2fa80a in git for configure.ac

Timestamp:

Nov 6, 2013, 6:07:39 PM (9 years ago)

Author:

Hans Schoenemann <hannes@…>

Branches:

(u'jengelh-datetime', 'ceac47cbc86fe4a15902392bdbb9bd2ae0ea02c6')(u'spielwiese', 'f875bbaccd0831e36aaed09ff6adeb3eb45aeb94')

Children:

823679a657c538153cba3a477bf92e2c9102c451

Parents:

2ea781ea236dc6d65399e46b262e9954538749a1d600e1863951bfc5135d0138b61badb20b1ec70a

Message:

Merge pull request #414 from steenpass/resources_sw

release acquired semaphores before shutdown

File:

• configure.ac (modified) (3 diffs)

configure.ac

@@ -57 +57 @@
 
 # Checks for libraries.
+AC_CHECK_LIB(pthread,pthread_create)
 AC_CHECK_LIB(rt,clock_gettime)
-AC_CHECK_LIB(pthread,pthread_create)
 
 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)]))
 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)]))
 LB_CHECK_FLINT(2.3,,AC_MSG_WARN([Unable to find FLINT (which is strongly recommended) on your machine: please use --with-flint=PATH_TO_DIR_CONTAINING_LIB_AND_INCLUDE (see also ./configure --help if you do not understand what we are talking about)]))
-LB_CHECK_MATHICGB
-
+
+AC_CONFIG_GOOGLE_PERFTOOLS()
 
 AX_PYTHON_DEFAULT()
 AX_PYTHON_WITH_VERSION([2.4])
 
-AC_CONFIG_GOOGLE_PERFTOOLS()
+LB_CHECK_MATHICGB
 
 AC_FUNC_ERROR_AT_LINE
@@ -85 +85 @@
 esac
 
+
+SING_CHECK_POLYMAKE
+SING_CHECK_GFANLIB
 
 SING_CHECK_P_PROCS
@@ -90 +93 @@
 SING_CHECK_READLINE
 SING_CHECK_DBM
-SING_CHECK_GFANLIB
-SING_CHECK_POLYMAKE
 
 ### the following is needed due to the use of om_sing_opt_show_mem in misc_ip.cc...