Hi Julien,
> I think it's more sensible to add this to the sage ticket.
Very well, I've added the corresponding patch here:
http://trac.sagemath.org/sage_trac/ticket/13989#comment:10
Can you review it?
Best regards,
Alexander
--
Dr. rer. nat. Dipl.-Math. Alexander Dreyer
Abteilung "Systema
Le 12/03/2013 16:06, Alexander Dreyer a écrit :
1) #include
you need the /usr/include/polybori.h
This also include improved pkg-config files.
@Julien: The library names still needs to suffixed with -0.8 in Sage, as
well as the dependence on the obslote .conf file needs to be removed
from Sage.
Hello
It would be nice if you could close the bug from the Debian changelog
Instead of this
+ * Added missing dependencies for test target
+ * Generate cleaner pkgconfig files
+ * Install convenience header /user/include/polybori.h
write
+ * Added missing dependencies for test target
+
Hi everybody,
I've pushed a new version to alioth, which brings back the convenience
header:
> 1) #include
>
> you need the /usr/include/polybori.h
This also include improved pkg-config files.
@Julien: The library names still needs to suffixed with -0.8 in Sage, as
well as the dependence on the
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
Hi Julien,
> I also notice:
>
> - the debian package has libpolybory-0.8.so and
> libpolybori-groebner-0.8.so, while the sage 5.7 polybori spkg has
> libpolybory.so and libpolybori-groebner.so ;
this is due to debian library versioning policy and was explicitly
requested for the debianization.
>
Hi,
I also notice:
- the debian package has libpolybory-0.8.so and
libpolybori-groebner-0.8.so, while the sage 5.7 polybori spkg has
libpolybory.so and libpolybori-groebner.so ;
- polybori.h is only in /usr/include/polybori/ in the debian package,
while in sage there is one in $SAGE_LOCAL/i
7 matches
Mail list logo
