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
> - a
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
>
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
> 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 w
Hi!
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
5 matches
Mail list logo
