diff options
Diffstat (limited to 'src/auto/configure')
| -rwxr-xr-x | src/auto/configure | 3 |
1 files changed, 3 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" |