Porting Kissat 4.0.2 to MinGW MSYS2

[a1880]

To port Kissat to MinGW MSYS2 under Windows, I had to change some macro definitions:

File: application.c
defines ERROR. This causes a redefinition warning
Suggested code near line 318

#ifdef ERROR
#undef ERROR
#endif

File: handle.h
SIGBUS is undefined for MinGW
Sugested code near line 13

#ifndef SIGBUS
#define SIGNAL_SIGBUS
#else
#define SIGNAL_SIGBUS SIGNAL (SIGBUS)
#endif

File: statistics.c
defines RELATIVE. This causes a redefinition warning
Sugested code near line 48

#ifdef RELATIVE
#undef RELATIVE
#endif

To implement timeout, handling of SIGALRM signals and time measurement, I am using the Windows abstraction layer of Felix Simon.

Thank you for Kissat and best greetings,

Axel Kemper

[arminbiere]

Thanks, will work on MinGW port (and maybe Windows at some point).