> Hi, > > Michael Tautschnig wrote: > > It would be great to see APRON packaged for Debian; please make sure it > > uses/works with current PPL (Parma Polyhedra Library), which we already > > ship/maintain with Debian. I know that some earlier versions required > > patches to > > PPL to make it work, but I don't know whether this is still the case or has > > been > > fixed already. > > Thanks for you encouragements! > > 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. Best, Michael
pgpBmSqXVALYD.pgp
Description: PGP signature
