diff options
Diffstat (limited to 'sim/erc32/configure')
-rwxr-xr-x | sim/erc32/configure | 21 |
1 files changed, 19 insertions, 2 deletions
diff --git a/sim/erc32/configure b/sim/erc32/configure index 2344ad5..857e093 100755 --- a/sim/erc32/configure +++ b/sim/erc32/configure @@ -754,6 +754,7 @@ enable_sim_debug enable_sim_stdio enable_sim_trace enable_sim_profile +enable_sim_assert enable_sim_inline with_pkgversion with_bugurl @@ -1400,6 +1401,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 @@ -12829,7 +12831,7 @@ else lt_dlunknown=0; lt_dlno_uscore=1; lt_dlneed_uscore=2 lt_status=$lt_dlunknown cat > conftest.$ac_ext <<_LT_EOF -#line 12832 "configure" +#line 12834 "configure" #include "confdefs.h" #if HAVE_DLFCN_H @@ -12935,7 +12937,7 @@ else lt_dlunknown=0; lt_dlno_uscore=1; lt_dlneed_uscore=2 lt_status=$lt_dlunknown cat > conftest.$ac_ext <<_LT_EOF -#line 12938 "configure" +#line 12940 "configure" #include "confdefs.h" #if HAVE_DLFCN_H @@ -13289,6 +13291,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 : |