“bus error” on snow leopard?
That’s a memory access error. It happened to me because I had a makefile (that worked on leopard) that set: -DSIZEOF_VOID_P=4 -DSIZEOF_LONG=4 -DSIZEOF_INT=4
But on my 32bit SL kernel it should be:
-DSIZEOF_VOID_P=8 -DSIZEOF_LONG=8 -DSIZEOF_INT=4
Anything with a configure script should test this, you can use that fact to get the correct values for your system (they might be different on a 64bit kernel, I’ve not checked).
P.S. Incase it affects anyone else, my issue was compiling CUDD with NuSMV.