diff options
Diffstat (limited to 'sim/arm/configure')
| -rwxr-xr-x | sim/arm/configure | 21 |
1 files changed, 19 insertions, 2 deletions
diff --git a/sim/arm/configure b/sim/arm/configure index e929ba2..cf8a451 100755 --- a/sim/arm/configure +++ b/sim/arm/configure @@ -752,6 +752,7 @@ enable_sim_debug enable_sim_stdio enable_sim_trace enable_sim_profile +enable_sim_assert enable_sim_inline with_pkgversion with_bugurl @@ -1404,6 +1405,7 @@ Optional Features: --enable-sim-trace=opts Enable tracing of simulated programs --enable-sim-profile=opts Enable profiling flags + --enable-sim-assert Specify whether to perform random assertions --enable-sim-inline=inlines Specify which functions should be inlined --enable-sim-endian=endian @@ -12846,7 +12848,7 @@ else lt_dlunknown=0; lt_dlno_uscore=1; lt_dlneed_uscore=2 lt_status=$lt_dlunknown cat > conftest.$ac_ext <<_LT_EOF -#line 12849 "configure" +#line 12851 "configure" #include "confdefs.h" #if HAVE_DLFCN_H @@ -12952,7 +12954,7 @@ else lt_dlunknown=0; lt_dlno_uscore=1; lt_dlneed_uscore=2 lt_status=$lt_dlunknown cat > conftest.$ac_ext <<_LT_EOF -#line 12955 "configure" +#line 12957 "configure" #include "confdefs.h" #if HAVE_DLFCN_H @@ -13306,6 +13308,21 @@ fi +# Check whether --enable-sim-assert was given. +if test "${enable_sim_assert+set}" = set; then : + enableval=$enable_sim_assert; case "${enableval}" in + yes) sim_assert="-DWITH_ASSERT=1";; + no) sim_assert="-DWITH_ASSERT=0";; + *) as_fn_error "\"--enable-sim-assert does not take a value\"" "$LINENO" 5; sim_assert="";; +esac +if test x"$silent" != x"yes" && test x"$sim_assert" != x""; then + echo "Setting assert flags = $sim_assert" 6>&1 +fi +else + sim_assert="" +fi + + sim_inline="-DDEFAULT_INLINE=0" # Check whether --enable-sim-inline was given. if test "${enable_sim_inline+set}" = set; then : |