[petsc-dev] sizeof(PetscInt) from buildsystem

[Garth N. Wells]

On 2014-05-06 09:55, Jed Brown wrote:
> Aron Ahmadia <aron at ahmadia.net> writes:
> 
>> One way to do this is to consult the reconfigure-* script.  If
>> the -with-64-bit-indices flag is set, then you've got 64-bit ints.
>>  Otherwise, you've got 32-bit ints.
> 
> Will this work for you?
> 
> grep -q '#define PETSC_USE_64BIT_INDICES 1' 
> $PETSC_ARCH/include/petscconf.h

Not ideal, and I guess it's not platform-independent, i.e. Windows.

I could build a trivial program that printfs sizeof(PetscInt), but my 
first preference would be to extend our current approach using make and 
petscvariables.

Garth