Hi Samuel, [...] > > > > Right now the PPL part does not seem to build: > > > [...] > > > > My guess is that some patch is still needed... > > > > So, my plans are to first upload the APRON package without PPL support > > and add it later on, when I find some time to dig into it. If you are > > willing to help, you can test the package on the following git repository: > > > > git://git.debian.org/git/pkg-ocaml-maint/packages/apron.git > > > > In order to add PPL support you only have to modify > > debian/Makefile.config and uncomment the HAS_PPL line. Please let me > > know if you make any progress so that I can enable PPL support in APRON. > > > > I'll look into this, hopefully this evening. If you'd like to upload as early as > possible I'm fine with doing so without PPL support at first, but long-term we > should probably try to make this work, and I'm sure it will be feasible as PPL > upstream is very cooperative. > 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. Please let me know if you need any help, I'd happily lend a hand for getting APRON packaged for Debian! Best, Michael
Attachment:
pgpL2JxNqOhTo.pgp
Description: PGP signature