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:
make[4]: Entering directory
`/home/smimram/prog/gnu/pkg-ocaml-maint/git/apron/apron/ppl'
g++ -Wcast-qual -Wswitch -Wall -Wextra -Wundef -Wcast-align -Wno-unused
-fPIC -O3 -DNDEBUG -I../newpolka
-I/home/smimram/prog/gnu/pkg-ocaml-maint/git/apron/debian/tmp/usr/include
-I../apron -I../mlapronidl -I../num -I../itv -I/usr/include
-I/usr/include -I/usr/include -I/usr/lib/ocaml -I/usr/lib/ocaml -c -o
ppl_user.o ppl_user.cc
In file included from ppl_user.hh:20,
from ppl_user.cc:20:
ppl_poly.hh:20:18: error: ppl.hh: No such file or directory
In file included from ppl_user.cc:20:
ppl_user.hh:39:2: error: #error "no version information"
ppl_user.hh:42:6: warning: "PPL_VERSION_MAJOR" is not defined
ppl_user.hh:42:32: warning: "PPL_VERSION_MINOR" is not defined
In file included from ppl_user.hh:20,
from ppl_user.cc:20:
ppl_poly.hh:23: error: ‘Parma_Polyhedra_Library’ is not a namespace-name
ppl_poly.hh:23: error: expected namespace-name before ‘;’ token
ppl_poly.hh:27: error: ISO C++ forbids declaration of ‘Polyhedron’ with
no type
ppl_poly.hh:27: error: expected ‘;’ before ‘*’ token
ppl_poly.hh:32: error: ‘Degenerate_Element’ has not been declared
In file included from ppl_user.cc:20:
ppl_user.hh:74: error: expected ‘,’ or ‘...’ before ‘&’ token
ppl_user.hh:74: error: ISO C++ forbids declaration of ‘mpz_class’ with
no type
ppl_user.hh: In function ‘void ap_ppl_mpz_to_scalar(ap_scalar_t*, int)’:
ppl_user.hh:77: error: ‘i’ was not declared in this scope
ppl_user.hh: At global scope:
ppl_user.hh:83: error: expected ‘,’ or ‘...’ before ‘&’ token
ppl_user.hh:83: error: ISO C++ forbids declaration of ‘mpz_class’ with
no type
ppl_user.hh: In function ‘void ap_ppl_mpz2_to_scalar(ap_scalar_t*, int)’:
ppl_user.hh:86: error: ‘n’ was not declared in this scope
ppl_user.hh:87: error: ‘d’ was not declared in this scope
ppl_user.hh: At global scope:
ppl_user.hh:93: error: variable or field ‘ap_ppl_mpq_of_coef’ declared void
ppl_user.hh:93: error: ‘mpq_class’ was not declared in this scope
ppl_user.hh:93: error: ‘res’ was not declared in this scope
ppl_user.hh:93: error: expected primary-expression before ‘const’
make[4]: *** [ppl_user.o] Error 1
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.
Cheers,
Samuel.
--
To UNSUBSCRIBE, email to debian-wnpp-requ...@lists.debian.org
with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org
