1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
|
# Boolector: Satisfiablity Modulo Theories (SMT) solver.
#
# Copyright (C) 2007-2021 by the authors listed in the AUTHORS file.
#
# This file is part of Boolector.
# See COPYING for more information on using this software.
#
# Check if functions required for time statistics are available.
include(CheckCSourceCompiles)
CHECK_C_SOURCE_COMPILES(
"
#include <sys/resource.h>
#include <sys/time.h>
#include <time.h>
int main ()
{
struct rusage u;
(void) getrusage(RUSAGE_SELF, &u);
struct timespec ts;
(void) clock_gettime (CLOCK_THREAD_CPUTIME_ID, &ts);
struct timeval tv;
(void) gettimeofday (&tv, 0);
return 0;
}
"
HAVE_TIME_UTILS
)
|
