Re: [pdf-devel] Assigning a 64-bit value to pdf_i64_t

[Aleksander Morgado]

>    >    I found that the "#if defined(int64_t)" is not working  (the previous
>    >    "#ifdef int64_t" didn't work either... my fault) in pdf-types.h. This
>    >    means we have always been compiling our own 64-bit support.
>    >
>    >    Attached is a patch to check for int64_t at configure time, which seems
>    >    to work ok.
>    >
>    > We are including gnulib's stdint.h in pdf-types.h. Is this change
>    > aware of that?
>
>    Not really, but I will check it.

gnulib will only include the stdint.h if not available in the system, or 
if not correctly implemented in a given system. In my Ubuntu/Debian the 
module is not needed, as that file is already in the system, so no 
stdint.h will be created after runnning configure.

The problem here is that #ifdef won't work if int64_t is a typedef, as 
in my stdint.h.

Checking for the specific int64_t with AC_CHECK_TYPE in configure.ac was 
the only solution I found, at least in GNU systems with a correct 
stdint.h not coming from gnulib. If the int64_t is not coming from the 
system, and it comes from gnulib's module, we can then try to use the 
#ifdef as gnulib will use macros to define the int64_t and friends. So a 
mixed approach will probably work.

What do you think?