Accept the --build-id option in goto-ld

Includes clean-up of documentation placement and disable clang-format for the
collection of options.

Author: tautschnig

src/goto-cc/ld_cmdline.cpp

@@ -16,9 +16,7 @@ Author: Daniel Kroening, 2013
 
 #include <util/prefix.h>
 
-/// parses the command line options into a cmdlinet
-/// \par parameters: argument count, argument strings
-/// \return none
+// clang-format off
 const char *goto_ld_options_with_argument[]=
 {
   "--verbosity",
@@ -99,6 +97,7 @@ const char *ld_options_with_argument[]=
   "--ios_version_min", // Apple only
   "--macosx_version_min", // Apple only
   "--install_name", // Apple only
+  "--build-id",
   nullptr
 };
 
@@ -235,7 +234,11 @@ const char *ld_options_without_argument[]=
   "--bundle", // Apple only
   nullptr
 };
+// clang-format on
 
+/// parses the command line options into a cmdlinet
+/// \par parameters: argument count, argument strings
+/// \return none
 bool ld_cmdlinet::parse(int argc, const char **argv)
 {
   assert(argc>0);