moved get_base_name to util

Author: Daniel Kroening

src/goto-cc/Makefile

@@ -1,5 +1,4 @@
 SRC = goto_cc_main.cpp goto_cc_mode.cpp gcc_mode.cpp \
-      get_base_name.cpp \
       gcc_cmdline.cpp ms_cl_cmdline.cpp ld_cmdline.cpp \
       compile.cpp armcc_cmdline.cpp run.cpp \
       goto_cc_languages.cpp goto_cc_cmdline.cpp \

src/goto-cc/compile.cpp

@@ -22,6 +22,7 @@ Date: June 2006
 #include <util/unicode.h>
 #include <util/irep_serialization.h>
 #include <util/suffix.h>
+#include <util/get_base_name.h>
 
 #include <ansi-c/ansi_c_language.h>
 
@@ -37,7 +38,6 @@ Date: June 2006
 
 #include <cbmc/version.h>
 
-#include "get_base_name.h"
 #include "compile.h"
 
 #define DOTGRAPHSETTINGS  "color=black;" \

src/goto-cc/goto_cc_main.cpp

@@ -12,8 +12,8 @@ Date: May 2006
 #include <iostream>
 
 #include <util/unicode.h>
+#include <util/get_base_name.h>
 
-#include "get_base_name.h"
 #include "gcc_cmdline.h"
 #include "armcc_cmdline.h"
 #include "ms_cl_cmdline.h"

src/jsil/jsil_language.cpp

@@ -7,7 +7,7 @@ Author: Michael Tautschnig, [email protected]
 \*******************************************************************/
 
 #include <util/symbol_table.h>
-#include <goto-cc/get_base_name.h>
+#include <util/get_base_name.h>
 
 #include "expr2jsil.h"
 #include "jsil_convert.h"
@@ -37,7 +37,6 @@ std::set<std::string> jsil_languaget::extensions() const
   return s;
 }
 
-
 /*******************************************************************\
 
 Function: jsil_languaget::modules_provided

src/util/Makefile

@@ -4,7 +4,7 @@ SRC = arith_tools.cpp base_type.cpp cmdline.cpp config.cpp symbol_table.cpp \
       mp_arith.cpp namespace.cpp parse_options.cpp rename.cpp \
       replace_expr.cpp threeval.cpp typecheck.cpp graph.cpp \
       type.cpp cnf_simplify.cpp pointer_predicates.cpp merge_irep.cpp \
-      parser.cpp replace_symbol.cpp json.cpp \
+      parser.cpp replace_symbol.cpp json.cpp get_base_name.cpp \
       simplify_expr.cpp simplify_expr_floatbv.cpp simplify_expr_int.cpp \
       simplify_expr_array.cpp simplify_expr_struct.cpp \
       simplify_expr_boolean.cpp simplify_expr_pointer.cpp \