lang/gnat_util: Add set_std_prefix and update_path symbols

Rather than require each user of libgnat_util to link in set_std_prefix
and update_path functions, let's assume each user needs the same version
of these functions and just add them directly to the library.

Adjust gnatcoll accordingly -- hack no longer necessary.

1 files changed, 26 insertions, 0 deletions

diff --git a/lang/gnat_util/files/set_std_prefix.c b/lang/gnat_util/files/set_std_prefix.c
new file mode 100644
index 000000000000..5c28bb3b5e3b
--- /dev/null
+++ b/lang/gnat_util/files/set_std_prefix.c
@@ -0,0 +1,26 @@
+/*********************************************************************
+ *                               G P S                               *
+ *                                                                   *
+ *                      Copyright (C) 2002-2004                      *
+ *                            ACT-Europe                             *
+ *                                                                   *
+ * GPS 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 2 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,  write to the  Free Software Foundation, Inc.,  59 Temple *
+ * Place - Suite 330, Boston, MA 02111-1307, USA.                    *
+ *********************************************************************/
+
+/* Dummy version of set_std_prefix (needed by osint.adb) */
+
+void
+set_std_prefix (char *path, int len)
+{
+}