]>
Commit | Line | Data |
---|---|---|
32f0598d AD |
1 | # -*- Autoconf -*- |
2 | # Checks required to run `timevar', a time tracker. | |
1509d42f | 3 | # |
fc51acdd | 4 | # Copyright (C) 2002-2003, 2009-2014 Free Software Foundation, Inc. |
1509d42f | 5 | # |
f16b0819 | 6 | # This program is free software: you can redistribute it and/or modify |
1509d42f | 7 | # it under the terms of the GNU General Public License as published by |
f16b0819 | 8 | # the Free Software Foundation, either version 3 of the License, or |
1509d42f AD |
9 | # (at your option) any later version. |
10 | # | |
11 | # This program is distributed in the hope that it will be useful, | |
12 | # but WITHOUT ANY WARRANTY; without even the implied warranty of | |
13 | # MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the | |
14 | # GNU General Public License for more details. | |
15 | # | |
16 | # You should have received a copy of the GNU General Public License | |
f16b0819 | 17 | # along with this program. If not, see <http://www.gnu.org/licenses/>. |
1509d42f | 18 | |
a93df6ba | 19 | # serial 2 |
1509d42f AD |
20 | |
21 | AC_DEFUN([BISON_PREREQ_TIMEVAR], | |
a93df6ba PE |
22 | [AC_CHECK_HEADERS([sys/time.h sys/times.h]) |
23 | AC_CHECK_HEADERS([sys/resource.h],,, | |
24 | [$ac_includes_default | |
25 | #if HAVE_SYS_TIME_H | |
26 | # include <sys/time.h> | |
27 | #endif | |
28 | #ifdef HAVE_SYS_TIMES_H | |
29 | # include <sys/times.h> | |
30 | #endif | |
31 | ]) | |
1509d42f AD |
32 | AC_CHECK_FUNCS([times]) |
33 | ||
34 | AC_CHECK_DECLS([getrusage, times, clock, sysconf], [], [], | |
35 | [$ac_includes_default | |
a6352deb PE |
36 | #if HAVE_SYS_TIME_H |
37 | # include <sys/time.h> | |
1509d42f AD |
38 | #endif |
39 | #if HAVE_SYS_TIMES_H | |
40 | # include <sys/times.h> | |
41 | #endif | |
a6352deb PE |
42 | #if HAVE_SYS_RESOURCE_H |
43 | # include <sys/resource.h> | |
44 | #endif | |
1509d42f AD |
45 | ]) |
46 | ||
47 | AC_CHECK_TYPES([clock_t, struct tms], [], [], | |
48 | [$ac_includes_default | |
a6352deb PE |
49 | #if HAVE_SYS_TIME_H |
50 | # include <sys/time.h> | |
1509d42f AD |
51 | #endif |
52 | #if HAVE_SYS_TIMES_H | |
53 | # include <sys/times.h> | |
54 | #endif | |
a6352deb PE |
55 | #if HAVE_SYS_RESOURCE_H |
56 | # include <sys/resource.h> | |
57 | #endif | |
1509d42f AD |
58 | ]) |
59 | ]) |