0004877: Definition of uint64 in caml/config.h conflicts. (MacOSX Snow Leopard, X86_64)

Notes
(0005232) monipol (reporter) 2010-01-22 04:00	Hello, kiyoshi. Does your patch prevent uint64 from being defined on Mac OS X? What if <caml/config.h> is being used by a non-Cocoa, non-Carbon program that's supposed to build on Mac OS X — wouldn't uint64 need to be defined by OCaml then? One alternative solution would be config.h to consider a new macro that would determine whether config.h should define those types or not. For what it's worth, this issue also affects Mac OS 10.5 (Leopard) when building 64-bit programs that use both Cocoa and OCaml.

(0005234) kiyoshi (reporter) 2010-01-28 12:33	Hi, monipol. > Does your patch prevent uint64 from being defined on Mac OS X? No. My patch only affects lines on "m.h" generated by config script. Please look at the config file affected by my patch: --- echo "#define SIZEOF_PTR $3" >> m.h echo "#define SIZEOF_SHORT $4" >> m.h -if test $2 = 8; then +if test $2 = 8 && $system != macosx; then echo "#define ARCH_INT64_TYPE long" >> m.h echo "#define ARCH_UINT64_TYPE unsigned long" >> m.h echo '#define ARCH_INT64_PRINTF_FORMAT "l"' >> m.h int64_native=true else sh ./runtest longlong.c case $? in 0) echo "64-bit \"long long\" integer type found (printf with \"%ll\")." echo "#define ARCH_INT64_TYPE long long" >> m.h echo "#define ARCH_UINT64_TYPE unsigned long long" >> m.h echo '#define ARCH_INT64_PRINTF_FORMAT "ll"' >> m.h int64_native=true;; --- Execution of original configure script on 64-bit Mac OS X processes 'then' part, so uint64 is defined as "long". This type is not equals to "long long", the type of uint64 defined in /System/Library/Frameworks/Security.framework/Headers/cssmconfig.h. In the case of the script my patch applied, "else" pat is executed. Execution of "runtiest longlong.c" returns 0, so uint64 is defined as "long long", and the result is no type conflict errors. I think that you can select 64/32-bit binary with C-compiler options so that "runtest sizes.c" returns the expected value: --- echo "Checking the sizes of integers and pointers..." set `sh ./runtest sizes.c` case "$2,$3" in 4,4) echo "OK, this is a regular 32 bit architecture." echo "#undef ARCH_SIXTYFOUR" >> m.h arch64=false;; ,8) echo "Wow! A 64 bit architecture!" echo "#define ARCH_SIXTYFOUR" >> m.h arch64=true;; ,) echo "This architecture seems to be neither 32 bits nor 64 bits." echo "Objective Caml won't run on this architecture." exit 2;; ) echo "Unable to compile the test program." echo "Make sure the C compiler $cc is properly installed." exit 2;; --- For example, 'configure -cc "cc -arch x86_64"; make world' on Mac OS X 10.5 will generate 64-bit binaries.

(0008096) doligez (manager) 2012-09-17 17:34	Watch out, there is a bug in the patch. This problem should be properly solved when we fix PR#4164.

Issue History
Date Modified	Username	Field	Change
2009-09-30 20:46	kiyoshi	New Issue
2009-09-30 20:46	kiyoshi	File Added: patch-configure.diff
2010-01-22 04:00	monipol	Note Added: 0005232
2010-01-28 12:33	kiyoshi	Note Added: 0005234
2011-05-31 16:51	doligez	Status	new => acknowledged
2012-07-11 14:50	doligez	Target Version	=> 4.01.0+dev
2012-07-31 13:36	doligez	Target Version	4.01.0+dev => 4.00.1+dev
2012-09-17 17:34	doligez	Note Added: 0008096
2012-09-17 17:34	doligez	Target Version	4.00.1+dev => 4.01.0+dev
2012-09-17 17:34	doligez	Relationship added	related to 0001956
2012-09-17 17:34	doligez	Relationship added	related to 0004164