question about hsc2hs

[Jose A. Ortega Ruiz]

Ross Paterson <ross at soi.city.ac.uk> writes:

> If you compile your C program with -D_FILE_OFFSET_BITS=64 you'll get the
> same numbers that hsc2hs does.

Aha, that was the key to solve my problem: programs or libraries
compiled with that flag must use statfs64() instead of statfs(). Binding
to the former in my .hsc produces correct results.

Thanks for the hint, Ross.

Cheers,
jao