On 09/10/2009 03:58 AM, Daniel Dunbar wrote:
> It builds with trunk for me, what problem are you seeing?
Hi again, I don't know what I did wrong. I svn up'ped llvm trunk (one
file change) and it compiles.
However I needed the following changes to klee. Otherwise u_int* types
are undefined and compilation fails for me.
Thanks.
Index: lib/Core/ExternalDispatcher.h
===================================================================
--- lib/Core/ExternalDispatcher.h (revision 81437)
+++ lib/Core/ExternalDispatcher.h (working copy)
@@ -12,6 +12,7 @@
#include <map>
#include <string>
+#include <stdint.h>
namespace llvm {
class ExecutionEngine;
Index: stp/AST/AST.cpp
===================================================================
--- stp/AST/AST.cpp (revision 81437)
+++ stp/AST/AST.cpp (working copy)
@@ -7,6 +7,7 @@
********************************************************************/
// -*- c++ -*-
+#include <stdint.h>
#include "AST.h"
namespace BEEV {
//some global variables that are set through commandline options. it
