Bug#702056: RE : Bug#702056: Additional remarks

[PICCA Frédéric-Emmanuel]

Hello Alexander

> > - polybori.h is only in /usr/include/polybori/ in the debian package,
> > while in sage there is one in $SAGE_LOCAL/include and one in
> > $SAGE_LOCAL/include/polybori/ (!)

> polybori.h is just a convenience wrapper to polybori/polybori.h
> I'm not sure whether we deliberately omitted the first one in the debian
> package.

> @Fred: Would it cause any trouble if we add /usr/include/polybori.h to
> libpolybori-dev.install ?

Reading the include files of polybory it seems that you use

#include <polybory/xxx.h>

so the right include path is /usr/include

so now the question is

do you want that external project use:

1) #include <polybori.h>

you need the /usr/include/polybori.h

2) #include <polybori/polybory.h>

nothing to do except modify SAGE.

Cheers

Fred