--- configure.orig	2013-06-24 12:16:01.000000000 +0200
+++ configure	2014-10-19 21:25:59.000000000 +0200
@@ -7254,6 +7254,9 @@
   *-*-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";;
   *-*-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";;