aboutsummaryrefslogtreecommitdiff
path: root/sim/erc32/configure
diff options
context:
space:
mode:
Diffstat (limited to 'sim/erc32/configure')
-rwxr-xr-xsim/erc32/configure21
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 :