| 1 | dnl AC_VALIDATE_CACHE_SYSTEM_TYPE[(cmd)] |
| 2 | dnl if the cache file is inconsistent with the current host, |
| 3 | dnl target and build system types, execute CMD or print a default |
| 4 | dnl error message. |
| 5 | AC_DEFUN(AC_VALIDATE_CACHE_SYSTEM_TYPE, [ |
| 6 | AC_REQUIRE([AC_CANONICAL_SYSTEM]) |
| 7 | AC_MSG_CHECKING([config.cache system type]) |
| 8 | if { test x"${ac_cv_host_system_type+set}" = x"set" && |
| 9 | test x"$ac_cv_host_system_type" != x"$host"; } || |
| 10 | { test x"${ac_cv_build_system_type+set}" = x"set" && |
| 11 | test x"$ac_cv_build_system_type" != x"$build"; } || |
| 12 | { test x"${ac_cv_target_system_type+set}" = x"set" && |
| 13 | test x"$ac_cv_target_system_type" != x"$target"; }; then |
| 14 | AC_MSG_RESULT([different]) |
| 15 | ifelse($#, 1, [$1], |
| 16 | [AC_MSG_ERROR(["you must remove config.cache and restart configure"])]) |
| 17 | else |
| 18 | AC_MSG_RESULT([same]) |
| 19 | fi |
| 20 | ac_cv_host_system_type="$host" |
| 21 | ac_cv_build_system_type="$build" |
| 22 | ac_cv_target_system_type="$target" |
| 23 | ]) |