diff options
| author | Xavier Leroy <xavier.leroy@inria.fr> | 2014-04-18 09:54:34 +0000 |
|---|---|---|
| committer | Xavier Leroy <xavier.leroy@inria.fr> | 2014-04-18 09:54:34 +0000 |
| commit | 86bd9990f46272873db0d5f897201324279a355c (patch) | |
| tree | 071d4e7083a7d7cdd562c75e279b8e8764703e8d /byterun/config.h | |
| parent | e3aaa68105095e3dbcb2c08dd2b8203a62f8f1cc (diff) | |
configure: always define ARCH_INT64_TYPE in config/m.h because Coq
and maybe others rely on it
byterun/config.h: select "long long" in preference to "long" for "int64",
just because this is how it was done in earlier versions.
(Minimizing suprises.)
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@14635 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
Diffstat (limited to 'byterun/config.h')
| -rw-r--r-- | byterun/config.h | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/byterun/config.h b/byterun/config.h index 02bdd53be..b8d457818 100644 --- a/byterun/config.h +++ b/byterun/config.h @@ -47,14 +47,14 @@ typedef unsigned short uint32; #if defined(ARCH_INT64_TYPE) typedef ARCH_INT64_TYPE int64; typedef ARCH_UINT64_TYPE uint64; -#elif SIZEOF_LONG == 8 -typedef long int64; -typedef unsigned long uint64; -#define ARCH_INT64_PRINTF_FORMAT "l" #elif SIZEOF_LONGLONG == 8 typedef long long int64; typedef unsigned long long uint64; #define ARCH_INT64_PRINTF_FORMAT "ll" +#elif SIZEOF_LONG == 8 +typedef long int64; +typedef unsigned long uint64; +#define ARCH_INT64_PRINTF_FORMAT "l" #else #error "No 64-bit integer type available" #endif |