Add support for GNU Hurd

Work in progress.

Author: tautschnig

doc/man/cbmc.1

@@ -199,7 +199,7 @@ Set analysis architecture, which defaults to the host architecture. Use one of:
 \fB\-\-os\fR \fIos\fR
 Set analysis operating system, which defaults to the host operating system. Use
 one of: \fBfreebsd\fR, \fBlinux\fR, \fBmacos\fR, \fBnetbsd\fR, \fBopenbsd\fR,
-\fBsolaris\fR, or \fBwindows\fR.
+\fBsolaris\fR, \fBhurd\fR, or \fBwindows\fR.
 .TP
 \fB\-\-i386\-linux\fR, \fB\-\-i386\-win32\fR, \fB\-\-i386\-macos\fR, \fB\-\-ppc\-macos\fR, \fB\-\-win32\fR, \fB\-\-winx64\fR
 Set analysis architecture and operating system.

doc/man/goto-analyzer.1

@@ -461,7 +461,7 @@ Set analysis architecture, which defaults to the host architecture. Use one of:
 \fB\-\-os\fR \fIos\fR
 Set analysis operating system, which defaults to the host operating system. Use
 one of: \fBfreebsd\fR, \fBlinux\fR, \fBmacos\fR, \fBnetbsd\fR, \fBopenbsd\fR,
-\fBsolaris\fR, or \fBwindows\fR.
+\fBsolaris\fR, \fBhurd\fR, or \fBwindows\fR.
 .TP
 \fB\-\-i386\-linux\fR, \fB\-\-i386\-win32\fR, \fB\-\-i386\-macos\fR, \fB\-\-ppc\-macos\fR, \fB\-\-win32\fR, \fB\-\-winx64\fR
 Set analysis architecture and operating system.

doc/man/janalyzer.1

@@ -279,7 +279,7 @@ Set analysis architecture, which defaults to the host architecture. Use one of:
 \fB\-\-os\fR \fIos\fR
 Set analysis operating system, which defaults to the host operating system. Use
 one of: \fBfreebsd\fR, \fBlinux\fR, \fBmacos\fR, \fBnetbsd\fR, \fBopenbsd\fR,
-\fBsolaris\fR, or \fBwindows\fR.
+\fBsolaris\fR, \fBhurd\fR, or \fBwindows\fR.
 .TP
 \fB\-\-i386\-linux\fR, \fB\-\-i386\-win32\fR, \fB\-\-i386\-macos\fR, \fB\-\-ppc\-macos\fR, \fB\-\-win32\fR, \fB\-\-winx64\fR
 Set analysis architecture and operating system.

doc/man/jbmc.1

@@ -83,7 +83,7 @@ Set analysis architecture, which defaults to the host architecture. Use one of:
 \fB\-\-os\fR \fIos\fR
 Set analysis operating system, which defaults to the host operating system. Use
 one of: \fBfreebsd\fR, \fBlinux\fR, \fBmacos\fR, \fBnetbsd\fR, \fBopenbsd\fR,
-\fBsolaris\fR, or \fBwindows\fR.
+\fBsolaris\fR, \fBhurd\fR, or \fBwindows\fR.
 .TP
 \fB\-\-i386\-linux\fR, \fB\-\-i386\-win32\fR, \fB\-\-i386\-macos\fR, \fB\-\-ppc\-macos\fR, \fB\-\-win32\fR, \fB\-\-winx64\fR
 Set analysis architecture and operating system.

src/util/config.cpp

@@ -952,7 +952,7 @@ bool configt::set(const cmdlinet &cmdline)
     ansi_c.mode = ansi_ct::flavourt::CLANG;
     ansi_c.preprocessor=ansi_ct::preprocessort::CLANG;
   }
-  else if(os == "linux" || os == "solaris" || os == "netbsd")
+  else if(os == "linux" || os == "solaris" || os == "netbsd" || os == "hurd")
   {
     ansi_c.lib=configt::ansi_ct::libt::LIB_FULL;
     ansi_c.os=configt::ansi_ct::ost::OS_LINUX;
@@ -1474,6 +1474,8 @@ irep_idt configt::this_operating_system()
   this_os="linux";
 #elif __SVR4
   this_os="solaris";
+#elif __gnu_hurd__
+  this_os = "hurd";
 #else
   this_os="unknown";
 #endif

src/util/config.h

@@ -107,7 +107,7 @@ class symbol_table_baset;
     "set operating system (default: " +                                        \
     id2string(configt::this_operating_system()) +                              \
     ") to one of: {yfreebsd}, {ylinux}, {ymacos}, {ynetbsd}, {yopenbsd}, "     \
-    "{ysolaris}, or {ywindows}\n"                                              \
+    "{ysolaris}, {yhurd}, or {ywindows}\n"                                     \
     " {y--i386-linux}, {y--i386-win32}, {y--i386-macos}, {y--ppc-macos}, "     \
     "{y--win32}, {y--winx64} \t "                                              \
     "set architecture and operating system\n"                                  \