diff options
author | Dirk Herrmann <dirk@dirk-herrmanns-seiten.de> | 2000-05-16 12:11:08 +0000 |
---|---|---|
committer | Dirk Herrmann <dirk@dirk-herrmanns-seiten.de> | 2000-05-16 12:11:08 +0000 |
commit | 56100716270fae40cfa71a69c45a2ed03f2510da (patch) | |
tree | 3f665f188e7f5339bb1e909019233afde2b4aa41 /libguile/__scm.h | |
parent | 3c9f20f849ad67b8ba6f35b6f0eca2cde1c3e103 (diff) | |
download | guile-56100716270fae40cfa71a69c45a2ed03f2510da.tar.gz |
* Makefile.am: Let 'make clean' remove *.x and *.doc files.
* Renamed SCM_STRICT_TYPING to SCM_DEBUG_TYPING_STRICTNESS.
* Removed conditionally compiled code for Turbo C.
* gdbint.c: Eliminated call to scm_tag.
Diffstat (limited to 'libguile/__scm.h')
-rw-r--r-- | libguile/__scm.h | 12 |
1 files changed, 11 insertions, 1 deletions
diff --git a/libguile/__scm.h b/libguile/__scm.h index cb10c5142..da510f385 100644 --- a/libguile/__scm.h +++ b/libguile/__scm.h @@ -147,7 +147,8 @@ * * Note: Some SCM_DEBUG_XXX options are not settable at configure time. * To change the value of such options you will have to edit this header - * file or give -DSCM_DEBUG_XXX options to make. + * file or give suitable options to make, like: + * make all CFLAGS="-DSCM_DEBUG_XXX=1 ..." */ @@ -158,6 +159,15 @@ #define SCM_DEBUG_DEPRECATED 0 #endif +/* Use this for _compile time_ type checking only, since the compiled result + * will be quite inefficient. The right way to make use of this option is to + * do a 'make clean; make CFLAGS=-DSCM_DEBUG_TYPING_STRICTNESS=1', fix your + * errors, and then do 'make clean; make'. +*/ +#ifndef SCM_DEBUG_TYPING_STRICTNESS +#define SCM_DEBUG_TYPING_STRICTNESS 0 +#endif + #ifdef HAVE_LONG_LONGS |