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
29
|
# 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 signals are available.
include(CheckCSourceCompiles)
CHECK_C_SOURCE_COMPILES(
"
#include <signal.h>
#include <unistd.h>
static void catchsig(int sig) { (void) sig; }
int main ()
{
alarm (0);
(void) signal (SIGALRM, catchsig);
(void) signal (SIGINT, catchsig);
(void) signal (SIGSEGV, catchsig);
(void) signal (SIGABRT, catchsig);
(void) signal (SIGTERM, catchsig);
(void) signal (SIGBUS, catchsig);
return 0;
}
"
HAVE_SIGNALS
)
|
