configure: error out if jni is enabled and cannot be found
authorMatthieu Bouron <matthieu.bouron@gmail.com>
Wed, 15 Mar 2017 14:23:34 +0000 (15:23 +0100)
committerMatthieu Bouron <matthieu.bouron@gmail.com>
Mon, 20 Mar 2017 17:48:44 +0000 (18:48 +0100)
configure

index e1b7c61..3232b9f 100755 (executable)
--- a/configure
+++ b/configure
@@ -5751,7 +5751,7 @@ enabled frei0r            && { check_header frei0r.h || die "ERROR: frei0r.h hea
 enabled gmp               && require gmp gmp.h mpz_export -lgmp
 enabled gnutls            && require_pkg_config gnutls gnutls/gnutls.h gnutls_global_init
 enabled jni               && { [ $target_os = "android" ] && check_header jni.h && enabled pthreads &&
-                               check_lib "dlfcn.h" dlopen -ldl; }
+                               check_lib "dlfcn.h" dlopen -ldl || die "ERROR: jni not found"; }
 enabled ladspa            && { check_header ladspa.h || die "ERROR: ladspa.h header not found"; }
 enabled libiec61883       && require libiec61883 libiec61883/iec61883.h iec61883_cmp_connect -lraw1394 -lavc1394 -lrom1394 -liec61883
 enabled libass            && require_pkg_config libass ass/ass.h ass_library_init