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 -- To UNSUBSCRIBE, email to debian-bugs-dist-requ...@lists.debian.org with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org
