org.handhelds.familiar/packages/ode/files/config.h

   1 /* per-machine configuration. this file is automatically generated. */
   2
   3 #ifndef _ODE_CONFIG_H_
   4 #define _ODE_CONFIG_H_
   5
   6 /* standard system headers */
   7 #include <stdio.h>
   8 #include <stdlib.h>
   9 #include <math.h>
  10 #include <string.h>
  11 #include <stdarg.h>
  12 #include <malloc.h>
  13 #include <alloca.h>
  14 #include <values.h>
  15 #include <float.h>
  16
  17 #ifdef __cplusplus
  18 extern "C" {
  19 #endif
  20
  21 /* is this a pentium on a gcc-based platform? */
  22 #undef PENTIUM
  23
  24 /* integer types (we assume int >= 32 bits) */
  25 typedef char int8;
  26 typedef unsigned char uint8;
  27 typedef short int16;
  28 typedef unsigned short uint16;
  29 typedef int int32;
  30 typedef unsigned int uint32;
  31
  32 /* an integer type that we can safely cast a pointer to and
  33  * from without loss of bits.
  34  */
  35 typedef unsigned int intP;
  36
  37 /* select the base floating point type */
  38 #define dDOUBLE 1
  39
  40 /* the floating point infinity */
  41 #define dInfinity DBL_MAX
  42
  43 /* available functions */
  44
  45 #ifdef __cplusplus
  46 }
  47 #endif
  48 #endif