[PPL-devel] Problems building snapshot 0.10pre32

Dear PPL developers,

I was just about to package and upload the pre32 snapshot to upload to Debian/unstable, but building fails because of an unused variable:

make[5]: Entering directory `/home/tautschn/ppl/ppl-0.10~pre32/demos/ppl_lpsol' i486-linux-gnu-gcc -DHAVE_CONFIG_H -I. -I../.. -I../../interfaces/C -pedantic -std=gnu89 -Werror -g -O2 -frounding-math -Wall -g -O2 -W -Wall -MT ppl_lpsol.o -MD -MP -MF .deps/ppl_lpsol.Tpo -c -o ppl_lpsol.o ppl_lpsol.c cc1: warnings being treated as errors ppl_lpsol.c:1184: error: 'glpk_message_interceptor' defined but not used

Could you let us know once a fixed snapshot is available?

Thanks, Michael