--- configure.orig	2013-06-24 10:16:01 UTC
+++ configure
@@ -7254,6 +7254,10 @@ case "$host" in
   *-*-freebsd6*) plat_name="FreeBSD";  plat_def="__freebsd__";  os_v="6";;
   *-*-freebsd7*) plat_name="FreeBSD";  plat_def="__freebsd__";  os_v="7";;
   *-*-freebsd8*) plat_name="FreeBSD";  plat_def="__freebsd__";  os_v="8";;
+  *-*-freebsd9*) plat_name="FreeBSD";  plat_def="__freebsd__";  os_v="9";;
+  *-*-freebsd10*) plat_name="FreeBSD";  plat_def="__freebsd__";  os_v="10";;
+  *-*-freebsd11*) plat_name="FreeBSD";  plat_def="__freebsd__";  os_v="11";;
+  *-*-freebsd12*) plat_name="FreeBSD";  plat_def="__freebsd__";  os_v="12";;
   *-*-kfreebsd*) plat_name="kFreeBSD";  plat_def="__FreeBSD_kernel__";  os_v="6";;
   *-*-netbsd*)   plat_name="NetBSD";   plat_def="__netbsd__";   os_v="1";;
   *-*-openbsd*)  plat_name="OpenBSD";  plat_def="__openbsd__";  os_v="3";;
