> Mac OS X is still 32bit last I checked. You're likely having an EFI related
> issue.
MacOS X 10.4.9+ is already 64 bit capable, at least on the
MacBook Pro
$ sysctl machdep.cpu.brand_string
machdep.cpu.brand_string: Intel(R) Core(TM)2 CPU T7400 @ 2.16GHz
$ sysctl hw.optional.x86_64
hw.optional.x86_64: 1
$ cat > ilp.c <EOF
#include <stdio.h>
int main(int c, char**v) {
printf("i:%d l:%d ll:%d p:%d\n",
sizeof(int), sizeof(long), sizeof(long long), sizeof(void*));
}
EOF
$ cc -m32 ilp.c -o ilp4
$ cc -m64 ilp.c -o ilp8
$ file ilp4 ilp8
ilp4: Mach-O executable i386
ilp8: Mach-O 64-bit executable x86_64
$ ilp4
i:4 l:4 L:8 p:4
$ ilp8
i:4 l:8 L:8 p:8
