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