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
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
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
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 work, but I
5 matches
Mail list logo
