Welcome to mirror list, hosted at ThFree Co, Russian Federation.

github.com/FFmpeg/FFmpeg.git - Unnamed repository; edit this file 'description' to name the repository.
summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorJames Almer <jamrial@gmail.com>2018-04-08 19:30:19 +0300
committerJames Almer <jamrial@gmail.com>2018-04-11 02:43:25 +0300
commit234a5e08313c6b8b0774796dfa1f285a3f877d14 (patch)
tree7c33469f6b45d8a07a331763208dfc44b160a638 /configure
parent05f1a3face140373ae658ab1abd6bacc841a770d (diff)
configure: check that the required header for Linux Perf is available
Should fix compilation on targets like some old Android NDK versions. Signed-off-by: James Almer <jamrial@gmail.com>
Diffstat (limited to 'configure')
-rwxr-xr-xconfigure3
1 files changed, 3 insertions, 0 deletions
diff --git a/configure b/configure
index 08d6fc5983..4ea30762f4 100755
--- a/configure
+++ b/configure
@@ -2016,6 +2016,7 @@ HEADERS_LIST="
ES2_gl_h
gsm_h
io_h
+ linux_perf_event_h
machine_ioctl_bt848_h
machine_ioctl_meteor_h
malloc_h
@@ -2478,6 +2479,7 @@ simd_align_32_if_any="avx"
simd_align_64_if_any="avx512"
# system capabilities
+linux_perf_deps="linux_perf_event_h"
symver_if_any="symver_asm_label symver_gnu_asm"
valgrind_backtrace_conflict="optimizations"
valgrind_backtrace_deps="valgrind_valgrind_h"
@@ -5800,6 +5802,7 @@ check_header dxgidebug.h
check_header dxva.h
check_header dxva2api.h -D_WIN32_WINNT=0x0600
check_header io.h
+check_header linux/perf_event.h
check_header libcrystalhd/libcrystalhd_if.h
check_header malloc.h
check_header net/udplite.h