dnl This file is free software; the Free Software Foundation
dnl gives unlimited permission to copy and/or distribute it,
dnl with or without modifications, as long as this notice is preserved.
dnl This file is free software; the Free Software Foundation
dnl gives unlimited permission to copy and/or distribute it,
dnl with or without modifications, as long as this notice is preserved.
- AC_ARG_ENABLE(random-device,
- AC_HELP_STRING([--enable-random-device],
+ AC_ARG_ENABLE([random-device],
+ AS_HELP_STRING([--enable-random-device],
[device with (strong) randomness (for Nettle)]),
NAME_OF_RANDOM_DEVICE=$enableval)
[device with (strong) randomness (for Nettle)]),
NAME_OF_RANDOM_DEVICE=$enableval)
- AC_ARG_ENABLE(pseudo-random-device,
- AC_HELP_STRING([--enable-pseudo-random-device],
+ AC_ARG_ENABLE([pseudo-random-device],
+ AS_HELP_STRING([--enable-pseudo-random-device],
[device with pseudo randomness (for Nettle)]),
NAME_OF_PSEUDO_RANDOM_DEVICE=$enableval)
[device with pseudo randomness (for Nettle)]),
NAME_OF_PSEUDO_RANDOM_DEVICE=$enableval)
- AC_ARG_ENABLE(nonce-device,
- AC_HELP_STRING([--enable-nonce-device],
+ AC_ARG_ENABLE([nonce-device],
+ AS_HELP_STRING([--enable-nonce-device],
[device with unpredictable nonces (for Nettle)]),
NAME_OF_NONCE_DEVICE=$enableval)
[device with unpredictable nonces (for Nettle)]),
NAME_OF_NONCE_DEVICE=$enableval)
AC_MSG_WARN([[Device `$NAME_OF_RANDOM_DEVICE' does not exist, consider to use --enable-random-device]]))
fi
if test "$NAME_OF_PSEUDO_RANDOM_DEVICE" != "no"; then
AC_MSG_WARN([[Device `$NAME_OF_RANDOM_DEVICE' does not exist, consider to use --enable-random-device]]))
fi
if test "$NAME_OF_PSEUDO_RANDOM_DEVICE" != "no"; then
AC_MSG_WARN([[Device `$NAME_OF_PSEUDO_RANDOM_DEVICE' does not exist, consider to use --enable-pseudo-random-device]]))
fi
if test "$NAME_OF_NONCE_DEVICE" != "no"; then
AC_MSG_WARN([[Device `$NAME_OF_PSEUDO_RANDOM_DEVICE' does not exist, consider to use --enable-pseudo-random-device]]))
fi
if test "$NAME_OF_NONCE_DEVICE" != "no"; then
"$NAME_OF_PSEUDO_RANDOM_DEVICE",
[defined to the name of the pseudo random device])
"$NAME_OF_PSEUDO_RANDOM_DEVICE",
[defined to the name of the pseudo random device])