--- nvptx-tools/configure.ac.jj	2017-01-13 12:48:31.000000000 +0100

+++ nvptx-tools/configure.ac	2017-05-03 10:26:57.076092259 +0200

@@ -66,6 +66,8 @@ CPPFLAGS=$save_CPPFLAGS

 LDFLAGS=$save_LDFLAGS

 LIBS=$save_LIBS

+AC_CHECK_DECLS(getopt)

+

 AC_CONFIG_SUBDIRS([libiberty])

 AC_CONFIG_FILES([Makefile dejagnu.exp])

 AC_OUTPUT

--- nvptx-tools/configure.jj	2017-01-13 12:48:54.000000000 +0100

+++ nvptx-tools/configure	2017-05-03 10:27:13.503876809 +0200

@@ -3963,6 +3963,18 @@ CPPFLAGS=$save_CPPFLAGS

 LDFLAGS=$save_LDFLAGS

 LIBS=$save_LIBS

+ac_fn_c_check_decl "$LINENO" "getopt" "ac_cv_have_decl_getopt" "$ac_includes_default"

+if test "x$ac_cv_have_decl_getopt" = x""yes; then :

+  ac_have_decl=1

+else

+  ac_have_decl=0

+fi

+

+cat >>confdefs.h <<_ACEOF

+#define HAVE_DECL_GETOPT $ac_have_decl

+_ACEOF

+

+

 subdirs="$subdirs libiberty"