(*
 * xtc - The eXTensible Compiler
 * Copyright (C) 2005-2007 Robert Grimm
 *
 * This program is free software;you can redistribute it and/or
 * modify it under the terms of theGNU General Public License
 * version 2 as published by the Free Software Foundation.
 *
 * This program is distributed in the hope thatit will be useful,
 * but WITHOUT ANY WARRANTY;without even the implied warranty of
 * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
 * GNU General Public License for more details.
 *
 * You should have received a copy of the GNU General Public License
 * along with this program; if not, write to the Free Software
 * Foundation, 51 Franklin Street, Fifth Floor, Boston,MA 02110-1301,
 * USA.
 *)

(**
 * This domule are generated from Machdep.java,
 *   using values from xtc/Limits.java
 *
 * @author Anh Le
 * @version $Revision: 1.3 $
 *)
let os = "Linux 2.6.9-5.EL"

let arch = "i386"

let compiler = "gcc"

let compier_version = "3.4.3 20041212 (Red Hat 3.4.3-9.EL4)"

let compiler_major = 3

let compiler_minor = 4

let compiler_revision = 3

(*******************************************************)

let is_big_endian = false

let void_size = 1

let void_align = 1

let function_size = 1

let function_align = 1

let pointer_size = 4

let pointer_align = 4

let pointer_nat_align = 4

let ptrdiff_size = 4

let ptrdiff_rank = 3

let sizeof_size = 4

let sizeof_rank = 3

let array_max = 1073741824

(*******************************************************)

let bool_size = 1

let bool_align = 1

let bool_nat_align = 1

(*******************************************************)

let is_char_signed = true

let char_bits = 8

let char_min = -128

let char_max = 127

let uchar_max = 255

(*******************************************************)

let is_wchar_signed = true

let wchar_size = 4

let wchar_rank = 4

(*******************************************************)

let is_string_const = true

(*******************************************************)

let short_size = 2

let short_align = 2

let short_nat_align = 2

let short_min = -32768

let short_max = 32767

let ushort_max = 65535

(*******************************************************)

let is_int_signed = true

let int_size = 4

let int_align = 4

let int_nat_align = 4

(*******************************************************)

let long_size = 4

let long_align = 4

let long_nat_align = 4

(*******************************************************)

let long_long_size = 8

let long_long_align = 4

let long_long_nat_align = 8

(*******************************************************)

let float_size = 4

let float_align = 4

let float_nat_align = 4

let double_size = 8

let double_align = 4

let double_nat_align = 8

let long_double_size = 12

let long_double_align = 4

let long_double_nat_align = 4

let gccHas__builtin_va_list = true

let __thread_is_keyword = true


