aboutsummaryrefslogtreecommitdiff
path: root/sim/erc32/configure
diff options
context:
space:
mode:
Diffstat (limited to 'sim/erc32/configure')
-rwxr-xr-xsim/erc32/configure26
1 files changed, 2 insertions, 24 deletions
diff --git a/sim/erc32/configure b/sim/erc32/configure
index 2d5ff0f..0ac222d 100755
--- a/sim/erc32/configure
+++ b/sim/erc32/configure
@@ -778,7 +778,6 @@ enable_sim_debug
enable_sim_stdio
enable_sim_trace
enable_sim_profile
-enable_sim_assert
enable_sim_environment
enable_sim_inline
with_pkgversion
@@ -1430,7 +1429,6 @@ 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-environment=environment
Specify mixed, user, virtual or operating
environment
@@ -10780,7 +10778,7 @@ else
lt_dlunknown=0; lt_dlno_uscore=1; lt_dlneed_uscore=2
lt_status=$lt_dlunknown
cat > conftest.$ac_ext <<_LT_EOF
-#line 10783 "configure"
+#line 10781 "configure"
#include "confdefs.h"
#if HAVE_DLFCN_H
@@ -10886,7 +10884,7 @@ else
lt_dlunknown=0; lt_dlno_uscore=1; lt_dlneed_uscore=2
lt_status=$lt_dlunknown
cat > conftest.$ac_ext <<_LT_EOF
-#line 10889 "configure"
+#line 10887 "configure"
#include "confdefs.h"
#if HAVE_DLFCN_H
@@ -11269,26 +11267,6 @@ $as_echo "$sim_profile" >&6; }
-{ $as_echo "$as_me:${as_lineno-$LINENO}: checking whether to enable sim asserts" >&5
-$as_echo_n "checking whether to enable sim asserts... " >&6; }
-sim_assert="1"
-# 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="1";;
- no) sim_assert="0";;
- *) as_fn_error $? "--enable-sim-assert does not take a value" "$LINENO" 5;;
-esac
-fi
-
-cat >>confdefs.h <<_ACEOF
-#define WITH_ASSERT $sim_assert
-_ACEOF
-
-{ $as_echo "$as_me:${as_lineno-$LINENO}: result: $sim_assert" >&5
-$as_echo "$sim_assert" >&6; }
-
-
{ $as_echo "$as_me:${as_lineno-$LINENO}: checking default sim environment setting" >&5
$as_echo_n "checking default sim environment setting... " >&6; }
sim_environment="ALL_ENVIRONMENT"