diff options
Diffstat (limited to 'src')
-rwxr-xr-x | src/auto/configure | 3 | ||||
-rw-r--r-- | src/configure.ac | 3 | ||||
-rw-r--r-- | src/version.c | 2 |
3 files changed, 8 insertions, 0 deletions
diff --git a/src/auto/configure b/src/auto/configure index 37a60fad2b..13eaea6f85 100755 --- a/src/auto/configure +++ b/src/auto/configure @@ -5823,6 +5823,9 @@ $as_echo "not found" >&6; } MZSCHEME_CFLAGS="-DMZ_PRECISE_GC" elif test -f "${path}/libracket3m.a"; then MZSCHEME_LIBS="${path}/libracket3m.a" + if test -f "${path}/librktio.a"; then + MZSCHEME_LIBS="${MZSCHEME_LIBS} ${path}/librktio.a" + fi MZSCHEME_CFLAGS="-DMZ_PRECISE_GC" elif test -f "${path}/libracket.a"; then MZSCHEME_LIBS="${path}/libracket.a ${path}/libmzgc.a" diff --git a/src/configure.ac b/src/configure.ac index d26299003a..457f2b82b1 100644 --- a/src/configure.ac +++ b/src/configure.ac @@ -880,6 +880,9 @@ if test "$enable_mzschemeinterp" = "yes"; then MZSCHEME_CFLAGS="-DMZ_PRECISE_GC" elif test -f "${path}/libracket3m.a"; then MZSCHEME_LIBS="${path}/libracket3m.a" + if test -f "${path}/librktio.a"; then + MZSCHEME_LIBS="${MZSCHEME_LIBS} ${path}/librktio.a" + fi MZSCHEME_CFLAGS="-DMZ_PRECISE_GC" elif test -f "${path}/libracket.a"; then MZSCHEME_LIBS="${path}/libracket.a ${path}/libmzgc.a" diff --git a/src/version.c b/src/version.c index 40a5ea8cd9..33d39bdd6f 100644 --- a/src/version.c +++ b/src/version.c @@ -751,6 +751,8 @@ static char *(features[]) = static int included_patches[] = { /* Add new patch number below this line */ /**/ + 1792, +/**/ 1791, /**/ 1790, |