compiles with gcc 4.3 (cf. http://gcc.gnu.org/gcc-4.3/changes.html and …

…http://gcc.gnu.org/gcc-4.3/porting_to.html)

git-svn-id: https://pet.opendfki.de/repos/pet/main@512 4200e16c-5112-0410-ac55-d7fb557a720a

cheap/chart.h

@@ -27,8 +27,10 @@
 
 #include "item.h"
 #include "hashing.h"
+
 #include <string>
 #include <list>
+#include <memory>
 #include <queue>
 
 /** Chart data structure for parsing, aka dynamic programming */

cheap/fs.cpp

@@ -29,6 +29,7 @@
 #include "configs.h"
 #include "logging.h"
 
+#include <cstring>
 #include <iostream>
 
 using namespace std;

cheap/vpm.cpp

@@ -1,5 +1,7 @@
 #include "vpm.h"
 
+#include <cstring>
+
 extern FILE* ferr;
 
 tVPM::~tVPM() {

common/bitcode.h

@@ -32,6 +32,7 @@
 #define _BITCODE_H_
 
 #include <cassert>
+#include <cstdio>
 #include <iosfwd>
 
 /** \c CODEWORD should be an unsigned numeric type that fits best into a CPU

common/dag-common.cpp

@@ -19,10 +19,13 @@
 
 /* operations on dags that are shared between different unifiers */
 
+#include "dag-common.h"
 #include "grammar-dump.h"
 #include "dag.h"
 #include "types.h"
 
+#include <cstring>
+
 /* global variables */
 
 dag_node *FAIL = (dag_node *) -1;

common/dumper.cpp

@@ -24,6 +24,8 @@
 #include "byteorder.h"
 #include "dumper.h"
 
+#include <cstring>
+
 #define DUMP_LITTLE_ENDIAN true
 
 #define BUFF_SIZE (128 * 1024)

common/hashing.h

@@ -11,10 +11,19 @@
 #include "pet-config.h"
 #include "hash.h"
 
+// TODO switch to <tr1/unordered_map> and <tr1/unordered_set>
+// cf. http://gcc.gnu.org/gcc-4.3/changes.html
 #ifdef HAVE_HASH_MAP
-#define HASH_SPACE std
 #include <hash_map>
 #include <hash_set>
+
+// gcc 4.3 declared ext/hash_map and ext/hash_set as obsolete, moving the
+// header files to the default include path backwards
+#if ((__GNUC__ == 4) && ( __GNUC_MINOR__ >= 3)) || (__GNUC__ > 4)
+#define HASH_SPACE __gnu_cxx
+#else
+#define HASH_SPACE std
+#endif
 #endif
 
 #ifdef HAVE_EXT_HASH_MAP

common/lex-io.cpp

@@ -37,6 +37,7 @@
 #include "logging.h"
 
 #include <cassert>
+#include <cstring>
 #include <errno.h>
 #include <sys/types.h>
 #include <sys/stat.h>

common/lex-tdl.cpp

@@ -28,6 +28,8 @@
 #endif
 
 #include <cassert>
+#include <cstdlib>
+#include <cstring>
 #include <iomanip>
 
 const char *keywords[N_KEYWORDS] = { "declare", "domain", "instance", "lisp",

common/utility.cpp

@@ -23,6 +23,8 @@
 #include "utility.h"
 #include "errors.h"
 
+#include <cstdlib>
+
 //#include <iostream>  // only for debugging
 #include <sys/stat.h>
 

common/utility.h

@@ -25,6 +25,7 @@
 #ifndef _UTILITY_H_
 #define _UTILITY_H_
 
+#include <cstring>
 #include <list> 
 #include <string>
 

flop/print-tdl.cpp

@@ -19,12 +19,16 @@
 
 /* printing of internal representation in TDL syntax */
 
+#include "pet-config.h"
 #include "flop.h"
 #include "lex-io.h"
 #include "list-int.h"
 #include "logging.h"
 #include "errors.h"
 
+#include <cstdio>
+#include <cstring>
+
 int tdl_save_lines = 1;
 
 /* the print_* functions return if what they printed out was complex enough to require a line