[PPL-devel] Problems building snapshot 0.10pre32

[Roberto Bagnara]

Michael Tautschnig wrote:
> 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?

Dear Michael,

a fixed snapshot is being uploaded to

     ftp://ftp.cs.unipr.it/pub/ppl/snapshots/

Please, let us know how it goes.
Thanks for the report,

     Roberto

-- 
Prof. Roberto Bagnara
Computer Science Group
Department of Mathematics, University of Parma, Italy
http://www.cs.unipr.it/~bagnara/
mailto:bagnara at cs.unipr.it