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. -- To UNSUBSCRIBE, email to debian-wnpp-requ...@lists.debian.org with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org
