From: Morgan Deters <mdeters@gmail.com>
Date: Fri, 24 Sep 2010 21:28:34 +0000 (+0000)
Subject: roll back an unintended change with r900
X-Git-Tag: cvc5-1.0.0~8850
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=34b70b42f127378572a488b8a83cb018c7c5ee6b;p=cvc5.git

roll back an unintended change with r900
---

diff --git a/configure.ac b/configure.ac
index b567afeda..8ab8f3792 100644
--- a/configure.ac
+++ b/configure.ac
@@ -639,7 +639,7 @@ fi
 AC_CHECK_LIB(z, gzread, , [AC_MSG_ERROR([zlib required, install your distro's zlib-dev package or see www.zlib.net])])
 AC_CHECK_HEADER(zlib.h, , [AC_MSG_ERROR([zlib required, install your distro's zlib-dev package or see www.zlib.net])])
 
-#AC_CHECK_LIB(rt, clock_gettime, , [AC_MSG_ERROR([can't find clock_gettime() in librt])])
+AC_CHECK_LIB(rt, clock_gettime, , [AC_MSG_ERROR([can't find clock_gettime() in librt])])
 
 # Check for antlr C++ runtime (defined in config/antlr.m4)
 AC_LIB_ANTLR