Bug#552326: Relation to PPL

[Samuel Mimram <samuel.mimram@ens-lyon.org>]

Hi,

Michael Tautschnig wrote:
> Sorry, it took me a bit longer until I found the time to look into this. For me
> it seems to build fine until some non-PPL related error during dpkg-shlibs run!
> All I did was
> 
> - git clone git://git.debian.org/git/pkg-ocaml-maint/packages/apron.git
> - apt-get install libppl0.10-dev (should be added as build-dep)
> - edit debian/Makefile.config to enable the HAS_PPL line
> - dpkg-buildpackage -I.git -i'\.git'
> 
> and it seemed to work fine, including the ppl stuff! Note that I did all this on
> an up-to-date sid AMD64 system. I had some GMP-related warnings that don't look
> really good, but nothing PPL-specific!?
> 
> Could you check, whether the above also works for you? According to APRON docs
> the PPL patch was only needed for PPL 0.9, but it's all fine with PPL 0.10.

Yes! Sorry I did not mail you, but I found out that PPL support is
building fine (I'm not sure what went wrong on the first time). I have
already patched the package and will make an upload with PPL support as
soon as the package goes through the NEW queue.

> Please let me know if you need any help, I'd happily lend a hand for getting
> APRON packaged for Debian!

Thanks!

Cheers,

Samuel.