/* per-machine configuration. this file is automatically generated. */

#ifndef _ODE_CONFIG_H_
#define _ODE_CONFIG_H_

#if HAVE_CONFIG_H
#   include <config.h>
#endif

/* standard system headers */
#include <stdio.h>
#include <stdlib.h>
#include <math.h>
#include <string.h>
#include <stdarg.h>
#include <stdint.h>

#if BA_OSTYPE_WINDOWS
//#include <malloc.h>
#else
#include <alloca.h>
#endif

//#include <values.h>
#include <float.h>

#ifdef __cplusplus
extern "C" {
#endif

/* is this a pentium on a gcc-based platform? */
// moved to makefile
//#define PENTIUM 1

/* #if BA_PROCTYPE_X86 */
// moved to makefile
/* #   define PENTIUM 1 */
/* #endif */

/* #if BA_PROCTYPE_X86_64 */
/* #   define PENTIUM 1 */
/* #   define SYS64bits 1 */
/* #endif */

/* #if !BA_DEBUG_BUILD */
/* #endif */

/* is this a 64bit system on a gcc-based platform? */
// #define SYS64bits 1

/* integer types (we assume int >= 32 bits) */
typedef int8_t int8;
typedef uint8_t uint8;
typedef int16_t int16;
typedef uint16_t uint16;
typedef int32_t int32;
typedef uint32_t uint32;

/* an integer type that we can safely cast a pointer to and
 * from without loss of bits.
 */
typedef uintptr_t intP;

/* select the base floating point type */
//#define dDOUBLE 1
#define dSINGLE 1

/* the floating point infinity */
//#define dInfinity DBL_MAX
#define dInfinity FLT_MAX

/* available functions */

#ifdef __cplusplus
}
#endif
#endif
