Index: configure
===================================================================
--- configure	(revision 12437)
+++ configure	(working copy)
@@ -1,5 +1,5 @@
 #! /bin/sh
-# From configure.ac Id: configure.ac 12410 2011-09-21 09:18:38Z tack .
+# From configure.ac Id: configure.ac 12437 2011-10-10 08:13:21Z schulte .
 # Guess values for system-dependent variables and create Makefiles.
 # Generated by GNU Autoconf 2.68 for GECODE 3.7.1.
 #
@@ -1449,7 +1449,7 @@
   --with-PACKAGE[=ARG]    use PACKAGE [ARG=yes]
   --without-PACKAGE       do not use PACKAGE (same as --with-PACKAGE=no)
   --with-host-os          Override operating system test. Valid values are
-                          Linux, Darwin, FreeBSD, and Windows.
+                          Linux, Darwin, FreeBSD, NetBSD, and Windows.
   --with-compiler-vendor  Override compiler test. Valid values are gnu, intel,
                           and microsoft.
   --with-sdk              SDK to use on Mac OS X
@@ -2691,7 +2691,7 @@
        guess_host_os=${with_host_os}
         fi
           case ${guess_host_os} in
-       GNU/kFreeBSD|*inux*|FreeBSD)
+       GNU/kFreeBSD|*inux*|FreeBSD|NetBSD)
        host_os=linux
        { $as_echo "$as_me:${as_lineno-$LINENO}: result: Linux" >&5
 $as_echo "Linux" >&6; }
Index: gecode.m4
===================================================================
--- gecode.m4	(revision 12437)
+++ gecode.m4	(working copy)
@@ -38,7 +38,7 @@
 AC_DEFUN([AC_GECODE_GET_OS],
     [AC_ARG_WITH([host-os],
            AC_HELP_STRING([--with-host-os],
-       [Override operating system test. Valid values are Linux, Darwin, FreeBSD, and Windows.]))
+       [Override operating system test. Valid values are Linux, Darwin, FreeBSD, NetBSD, and Windows.]))
      AC_MSG_CHECKING([for the host operating system])
          if test "${with_host_os:-no}" = "no"; then
        guess_host_os=$(uname -s 2>/dev/null)
@@ -47,7 +47,7 @@
         fi
      dnl Try to find out operating system
      case ${guess_host_os} in
-       GNU/kFreeBSD|*inux*|FreeBSD)
+       GNU/kFreeBSD|*inux*|FreeBSD|NetBSD)
        host_os=linux
        AC_MSG_RESULT([Linux])
        ;;