Merge pull request #8211 from tautschnig/features/hurd

Add support for GNU Hurd

Author: tautschnig

doc/man/cbmc.1

@@ -202,7 +202,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/goto-cc/hybrid_binary.cpp

@@ -49,7 +49,8 @@ int hybrid_binary(
   int result = 0;
 
 #if defined(__linux__) || defined(__FreeBSD_kernel__) ||                       \
-  defined(__FreeBSD__) || defined(__OpenBSD__) || defined(__NetBSD__)
+  defined(__FreeBSD__) || defined(__OpenBSD__) || defined(__NetBSD__) ||       \
+  defined(__gnu_hurd__)
   // we can use objcopy for both object files and executables
   (void)building_executable;
 

src/util/config.cpp

@@ -985,7 +985,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;
@@ -1509,6 +1509,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"                                  \