kfreebsd also uses ELF, and hybrid binaries are thus supported

tautschnig · tautschnig · commit 60ad26c4765f · 2018-07-07T07:06:35.000+01:00
diff --git a/src/goto-cc/as_mode.cpp b/src/goto-cc/as_mode.cpp
@@ -303,7 +303,7 @@ int as_modet::as_hybrid_binary()
   debug() << "merging " << output_file << eom;
   std::string saved=output_file+".goto-cc-saved";
 
-  #ifdef __linux__
+  #if defined(__linux__) || defined(__FreeBSD_kernel__)
   if(result==0)
   {
     // remove any existing goto-cc section
diff --git a/src/goto-cc/hybrid_binary.cpp b/src/goto-cc/hybrid_binary.cpp
@@ -26,7 +26,7 @@ int hybrid_binary(
 
   int result;
 
-#ifdef __linux__
+#if defined(__linux__) || defined(__FreeBSD_kernel__)
   std::string objcopy_cmd;
 
   if(has_suffix(compiler_or_linker, "-ld"))

Original file line number	Diff line number	Diff line change
`@@ -303,7 +303,7 @@ int as_modet::as_hybrid_binary()`
`303`	`303`	`debug() << "merging " << output_file << eom;`
`304`	`304`	`std::string saved=output_file+".goto-cc-saved";`
`305`	`305`
`306`		`- #ifdef __linux__`
	`306`	`+ #if defined(__linux__) \|\| defined(__FreeBSD_kernel__)`
`307`	`307`	`if(result==0)`
`308`	`308`	`{`
`309`	`309`	`// remove any existing goto-cc section`