/******************************************************************************/
// This is used in ScriptManager.h
#include <llvm/ExecutionEngine/ExecutionEngine.h>
#include <llvm/Module.h>

// That file is updated by a script when the game is compiled
#include "build_infos.h"

#include <iostream>
#include <sstream>
#include <string>
#include <time.h>

typedef                       char               Char8    ; // Character ( 8-bit)
typedef unsigned int UInt;
/******************************************************************************/
