1 files changed, 103 insertions, 0 deletions
diff --git a/gdb/filesystem.c b/gdb/filesystem.c
new file mode 100644
index 0000000..38a597d
--- /dev/null
+++ b/gdb/filesystem.c
@@ -0,0 +1,103 @@
+/* Handle different target file systems for GDB, the GNU Debugger.
+
+   Copyright (C) 2010 Free Software Foundation, Inc.
+
+   This file is part of GDB.
+
+   This program is free software; you can redistribute it and/or modify
+   it under the terms of the GNU General Public License as published by
+   the Free Software Foundation; either version 3 of the License, or
+   (at your option) any later version.
+
+   This program is distributed in the hope that it will be useful,
+   but WITHOUT ANY WARRANTY; without even the implied warranty of
+   MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
+   GNU General Public License for more details.
+
+   You should have received a copy of the GNU General Public License
+   along with this program.  If not, see <http://www.gnu.org/licenses/>.  */
+
+#include "defs.h"
+#include "filesystem.h"
+#include "gdbarch.h"
+#include "gdbcmd.h"
+
+const char file_system_kind_auto[] = "auto";
+const char file_system_kind_unix[] = "unix";
+const char file_system_kind_dos_based[] = "dos-based";
+const char *target_file_system_kinds[] =
+{
+  file_system_kind_auto,
+  file_system_kind_unix,
+  file_system_kind_dos_based,
+  NULL
+};
+const char *target_file_system_kind = file_system_kind_auto;
+
+const char *
+effective_target_file_system_kind (void)
+{
+  if (target_file_system_kind == file_system_kind_auto)
+    {
+      if (gdbarch_has_dos_based_file_system (target_gdbarch))
+	return file_system_kind_dos_based;
+      else
+	return file_system_kind_unix;
+    }
+  else
+    return target_file_system_kind;
+}
+
+const char *
+target_lbasename (const char *kind, const char *name)
+{
+  if (kind == file_system_kind_dos_based)
+    return dos_lbasename (name);
+  else
+    return unix_lbasename (name);
+}
+
+static void
+show_target_file_system_kind_command (struct ui_file *file,
+				      int from_tty,
+				      struct cmd_list_element *c,
+				      const char *value)
+{
+  if (target_file_system_kind == file_system_kind_auto)
+    fprintf_filtered (file, _("\
+The assumed file system kind for target reported file names \
+is \"%s\" (currently \"%s\").\n"),
+		      value,
+		      effective_target_file_system_kind ());
+  else
+    fprintf_filtered (file, _("\
+The assumed file system kind for target reported file names \
+is \"%s\".\n"),
+		      value);
+}
+
+/* Provide a prototype to silence -Wmissing-prototypes.  */
+extern initialize_file_ftype _initialize_filesystem;
+
+void
+_initialize_filesystem (void)
+{
+  add_setshow_enum_cmd ("target-file-system-kind",
+			class_files,
+			target_file_system_kinds,
+			&target_file_system_kind, _("\
+Set assumed file system kind for target reported file names"), _("\
+Show assumed file system kind for target reported file names"),
+			_("\
+If `unix', target file names (e.g., loaded shared library file names) \n\
+starting the forward slash (`/') character are considered absolute, \n\
+and the directory separator character is the forward slash (`/').  If \n\
+`dos-based', target file names starting with a drive letter followed \n\
+by a colon (e.g., `c:'), are also considered absolute, and the \n\
+backslash (`\\') is also considered a directory separator.  Set to \n\
+`auto' (which is the default), to let GDB decide, based on its \n\
+knowledge of the target operating system."),
+			NULL, /* setfunc */
+			show_target_file_system_kind_command,
+			&setlist, &showlist);
+}