Permalink
Browse files

Add configure option to build Scheme runtime library with debugging i…

…nformation
  • Loading branch information...
1 parent 6cfc6df commit ade9476f5929f975e5023277b75e1f3d8b040474 @feeley feeley committed Mar 6, 2014
Showing with 155 additions and 1 deletion.
  1. +19 −0 INSTALL.txt
  2. +81 −0 configure
  3. +54 −0 configure.ac
  4. +1 −1 include/stamp.h
View
@@ -249,6 +249,25 @@ The configure options which are specific to the Gambit-C system are:
cause strict operations such as car, but not
cons, to automatically force their arguments
(requires: make bootstrap; make bootclean; make)
+ --enable-rtlib-debug
+ cause the inclusion of all debugging information
+ in the code generated for the Scheme runtime library
+ (requires: make bootstrap; make bootclean; make)
+ --enable-rtlib-debug-location
+ cause the inclusion of source code location
+ debugging information in the code generated
+ for the Scheme runtime library
+ (requires: make bootstrap; make bootclean; make)
+ --enable-rtlib-debug-source
+ cause the inclusion of source code debugging
+ information in the code generated for the
+ Scheme runtime library
+ (requires: make bootstrap; make bootclean; make)
+ --enable-rtlib-debug-environments
+ cause the inclusion of environment debugging
+ information in the code generated for the
+ Scheme runtime library
+ (requires: make bootstrap; make bootclean; make)
--enable-thread-system[=thread-system]
cause the selection of a specific thread system
(either posix or win32)
View
@@ -934,6 +934,10 @@ enable_lib_suffix
enable_help_browser
enable_type_checking
enable_auto_forcing
+enable_rtlib_debug
+enable_rtlib_debug_location
+enable_rtlib_debug_source
+enable_rtlib_debug_environments
enable_poll
enable_high_res_timing
enable_multiple_vms
@@ -1615,6 +1619,21 @@ Optional Features:
Browser to use for help (default is to search)
--enable-type-checking perform type checking (default is YES)
--enable-auto-forcing automatically force promises (default is NO)
+ --enable-rtlib-debug Include all debugging information in the code
+ generated for the Scheme runtime library (default is
+ NO)
+ --enable-rtlib-debug-location
+ Include source code location debugging information
+ in the code generated for the Scheme runtime library
+ (default is NO)
+ --enable-rtlib-debug-source
+ Include the source code debugging information in the
+ code generated for the Scheme runtime library
+ (default is NO)
+ --enable-rtlib-debug-environments
+ Include environment debugging information in the
+ code generated for the Scheme runtime library
+ (default is NO)
--enable-poll Enable poll as the select method (default is NO)
--enable-high-res-timing
Enable high-resolution timing (default is NO)
@@ -5230,6 +5249,68 @@ fi
###############################################################################
#
+# Check if debugging information for the Scheme runtime library is to
+# be generated when the system is bootstrapped (with
+# "make bootstrap; make bootclean; make").
+
+# Check whether --enable-rtlib-debug was given.
+if test "${enable_rtlib_debug+set}" = set; then :
+ enableval=$enable_rtlib_debug; ENABLE_RTLIB_DEBUG=$enableval
+else
+ ENABLE_RTLIB_DEBUG=no
+fi
+
+
+if test "$ENABLE_RTLIB_DEBUG" = yes; then
+
+ COMPILATION_OPTIONS="$COMPILATION_OPTIONS -debug"
+
+fi
+
+# Check whether --enable-rtlib-debug-location was given.
+if test "${enable_rtlib_debug_location+set}" = set; then :
+ enableval=$enable_rtlib_debug_location; ENABLE_RTLIB_DEBUG_LOCATION=$enableval
+else
+ ENABLE_RTLIB_DEBUG_LOCATION=no
+fi
+
+
+if test "$ENABLE_RTLIB_DEBUG_LOCATION" = yes; then
+
+ COMPILATION_OPTIONS="$COMPILATION_OPTIONS -debug-location"
+
+fi
+
+# Check whether --enable-rtlib-debug-source was given.
+if test "${enable_rtlib_debug_source+set}" = set; then :
+ enableval=$enable_rtlib_debug_source; ENABLE_RTLIB_DEBUG_SOURCE=$enableval
+else
+ ENABLE_RTLIB_DEBUG_SOURCE=no
+fi
+
+
+if test "$ENABLE_RTLIB_DEBUG_SOURCE" = yes; then
+
+ COMPILATION_OPTIONS="$COMPILATION_OPTIONS -debug-source"
+
+fi
+
+# Check whether --enable-rtlib-debug-environments was given.
+if test "${enable_rtlib_debug_environments+set}" = set; then :
+ enableval=$enable_rtlib_debug_environments; ENABLE_RTLIB_DEBUG_ENVIRONMENTS=$enableval
+else
+ ENABLE_RTLIB_DEBUG_ENVIRONMENTS=no
+fi
+
+
+if test "$ENABLE_RTLIB_DEBUG_ENVIRONMENTS" = yes; then
+
+ COMPILATION_OPTIONS="$COMPILATION_OPTIONS -debug-environments"
+
+fi
+
+###############################################################################
+#
# Check whether to enable poll as the select method
# Check whether --enable-poll was given.
View
@@ -544,6 +544,60 @@ fi
###############################################################################
#
+# Check if debugging information for the Scheme runtime library is to
+# be generated when the system is bootstrapped (with
+# "make bootstrap; make bootclean; make").
+
+AC_ARG_ENABLE(rtlib-debug,
+ AC_HELP_STRING([--enable-rtlib-debug],
+ [Include all debugging information in the code generated for the Scheme runtime library (default is NO)]),
+ ENABLE_RTLIB_DEBUG=$enableval,
+ ENABLE_RTLIB_DEBUG=no)
+
+if test "$ENABLE_RTLIB_DEBUG" = yes; then
+
+ COMPILATION_OPTIONS="$COMPILATION_OPTIONS -debug"
+
+fi
+
+AC_ARG_ENABLE(rtlib-debug-location,
+ AC_HELP_STRING([--enable-rtlib-debug-location],
+ [Include source code location debugging information in the code generated for the Scheme runtime library (default is NO)]),
+ ENABLE_RTLIB_DEBUG_LOCATION=$enableval,
+ ENABLE_RTLIB_DEBUG_LOCATION=no)
+
+if test "$ENABLE_RTLIB_DEBUG_LOCATION" = yes; then
+
+ COMPILATION_OPTIONS="$COMPILATION_OPTIONS -debug-location"
+
+fi
+
+AC_ARG_ENABLE(rtlib-debug-source,
+ AC_HELP_STRING([--enable-rtlib-debug-source],
+ [Include the source code debugging information in the code generated for the Scheme runtime library (default is NO)]),
+ ENABLE_RTLIB_DEBUG_SOURCE=$enableval,
+ ENABLE_RTLIB_DEBUG_SOURCE=no)
+
+if test "$ENABLE_RTLIB_DEBUG_SOURCE" = yes; then
+
+ COMPILATION_OPTIONS="$COMPILATION_OPTIONS -debug-source"
+
+fi
+
+AC_ARG_ENABLE(rtlib-debug-environments,
+ AC_HELP_STRING([--enable-rtlib-debug-environments],
+ [Include environment debugging information in the code generated for the Scheme runtime library (default is NO)]),
+ ENABLE_RTLIB_DEBUG_ENVIRONMENTS=$enableval,
+ ENABLE_RTLIB_DEBUG_ENVIRONMENTS=no)
+
+if test "$ENABLE_RTLIB_DEBUG_ENVIRONMENTS" = yes; then
+
+ COMPILATION_OPTIONS="$COMPILATION_OPTIONS -debug-environments"
+
+fi
+
+###############################################################################
+#
# Check whether to enable poll as the select method
AC_ARG_ENABLE(poll,
View
@@ -3,4 +3,4 @@
*/
#define ___STAMP_YMD 20140306
-#define ___STAMP_HMS 64940
+#define ___STAMP_HMS 224317

0 comments on commit ade9476

Please sign in to comment.