return 0;
}], ginac_cv_rlversion=`cat 'conftest.out'`, ginac_cv_rlversion='unknown', ginac_cv_rlversion='4.2')])
if test "x${ginac_cv_rlversion}" != "xunknown"; then
return 0;
}], ginac_cv_rlversion=`cat 'conftest.out'`, ginac_cv_rlversion='unknown', ginac_cv_rlversion='4.2')])
if test "x${ginac_cv_rlversion}" != "xunknown"; then