fd = fopen("conftest.out", "w");
fprintf(fd, "%s\n", rl_library_version);
fclose(fd);
- exit(0);
+ 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
RL_VERSION_MAJOR=`echo ${ginac_cv_rlversion} | sed -e 's/\([[0-9]]\)\.\([[0-9]]\)/\1/'`