#10 Conflicting declarations of variable bddproduced

[Michael Tautschnig]

While compiling your package with our research compiler infrastructure we noticed the following conflicting declarations:

- kernel.c: long int bddproduced;
- reorder.c: extern int bddproduced;

For any architecture with sizeof(long)!=sizeof(int) this may cause undefined behaviour. In particular, big endian architectures will inevitably cause wrong counter values.

Best,
Michael

[Apangshu Das]

HELP ME...

I've configured buddy-2.4, I did make and make install. Facing errors at the end:
make[1]: Entering directory /home/apangshu/buddy-2.4/src' make bddtest make[2]: Entering directory/home/apangshu/buddy-2.4/src'
if g++ -DHAVE_CONFIG_H -I.. -DDEFAULT_CLOCK=1000 -g -O2 -MT bddtest.o -MD -MP -MF ".deps/bddtest.Tpo" -c -o bddtest.o bddtest.cxx; \
then mv -f ".deps/bddtest.Tpo" ".deps/bddtest.Po"; else rm -f ".deps/bddtest.Tpo"; exit 1; fi
bddtest.cxx: In function ‘void fail(std::string, const char*, int)’:
bddtest.cxx:42:9: error: ‘exit’ was not declared in this scope
make[2]: *** [bddtest.o] Error 1
make[2]: Leaving directory /home/apangshu/buddy-2.4/src' make[1]: *** [check-am] Error 2 make[1]: Leaving directory/home/apangshu/buddy-2.4/src'
make: *** [check-recursive] Error 1

Does anyone know what can I do to fix the error?

Thank you,

Apangshu Das