Autodings: Check for gelf.h

Makefile.am

@@ -513,7 +513,9 @@ endif
 bin_PROGRAMS += decoder-cli
 bin_PROGRAMS += semantics-cli
 bin_PROGRAMS += semantics-cif-cli
+if HAVE_ELF
 bin_PROGRAMS += sweep
+endif
 else
 if BUILD_AUXBINS
 if HAVE_POSIX200809_C11
@@ -522,10 +524,12 @@ endif
 noinst_PROGRAMS += decoder-cli
 noinst_PROGRAMS += semantics-cli
 noinst_PROGRAMS += semantics-cif-cli
+if HAVE_ELF
 noinst_PROGRAMS += sweep
 endif
 endif
 endif
+endif
 
 if X86_RREIL
 if INSTALL_AUXBINS
@@ -533,17 +537,21 @@ if HAVE_POSIX200809_C11
 bin_PROGRAMS += x86_test_runner
 bin_PROGRAMS += x86_test_stats_runner
 endif
+if HAVE_ELF
 bin_PROGRAMS += liveness_sweep
+endif
 else
 if BUILD_AUXBINS
 if HAVE_POSIX200809_C11
 noinst_PROGRAMS += x86_test_runner
 noinst_PROGRAMS += x86_test_stats_runner
 endif
+if HAVE_ELF
 noinst_PROGRAMS += liveness_sweep
 endif
 endif
 endif
+endif
 
 decoder_cli_SOURCES = tools/decoder-cli.c
 decoder_cli_CFLAGS = -std=c99 -I./libs/readhex/include

configure.ac

@@ -89,6 +89,8 @@ AC_COMPILE_IFELSE([AC_LANG_PROGRAM(
     [[char *c, size_t s, FILE *f = open_memstream(&c, &s);]])],
     has_open_memstream=no)
 
+AC_CHECK_HEADERS([gelf.h], [has_elf=yes], [has_elf=no])
+
 AM_CONDITIONAL([X86_RREIL],[test x$with_frontend = xx86-rreil])
 AM_CONDITIONAL([X86],[test x$with_frontend = xx86])
 AM_CONDITIONAL([AVR_RREIL],[test x$with_frontend = xavr-rreil])
@@ -100,6 +102,7 @@ AM_CONDITIONAL([HAVE_X86], [test x$has_x86 = xyes])
 AM_CONDITIONAL([HAVE_ANON_MEMBERS], [test x$has_anon_members = xyes])
 AM_CONDITIONAL([HAVE_OPEN_MEMSTREAM], [test x$has_open_memstream = xyes])
 AM_CONDITIONAL([HAVE_POSIX200809_C11], [test x$has_anon_members = xyes && test x$has_open_memstream = xyes])
+AM_CONDITIONAL([HAVE_ELF], [test x$has_elf = xyes])
 
 dnl check if the helper executables should be build and/or installed
 AC_ARG_ENABLE([install-auxbins],