Linbox in Debian (fwd)
Timothy G Abbott
archives. I'm not sure what went wrong here; perhaps it is that I also
sent it to debia...@googlegroups.com.
-Tim Abbott
---------- Forwarded message ----------
Date: Sat, 24 May 2008 23:44:36 -0400 (EDT)
From: Timothy G Abbott <tab...@MIT.EDU>
Reply-To: debia...@googlegroups.com
To: linbox...@googlegroups.com
Cc: debia...@googlegroups.com
X-Spam-Score: -4.66
Subject: [debian-sage] Linbox in Debian
I've been working on getting SAGE into Debian, and as part of this
project, I've packaged LinBox for Debian. My goal is to get LinBox and
SAGE into the Debian lenny release, which will be frozen in 4 or 5 weeks
(so ideally the package should be ready in 2-3 weeks).
I have a draft package for LinBox available in the repository described at
<http://wiki.sagemath.org/DebianSAGE> (only the amd64 binary is
up-to-date). My package is based on the SAGE 3.0.1 sources, which seem to
be very slightly modified from upstream 1.1.5.
There are some problems with the current package that need to be fixed and
I think would be best fixed upstream.
One problem is that both givaro and linbox try to install
/usr/include/gmp++/gmp++_int.inl and friends, but the versions they
install are slightly different. Obviously, one can only install one
version of these headers there at a time; I'd prefer if LinBox and Givaro
were to merge their gmp++ headers. My current solution is to only include
these headers in the givaro package, but I'm not sure this results in
correct behavior.
A trivial thing is that linbox-config should have a man page. You can
generate one automatically using
help2man -n "tool for linking against LinBox" linbox-config
Obviously, I can do this myself in the Debian package, but I think there
is interest in packaging LinBox for other distributions, and they'll
probably want the man page too, so it'd be best for this automation to
happen in upstream LinBox.
Finally, I'd really like to see the SAGE linbox wrapper included in the
linbox package, since I'd prefer to not create a linbox-wrapper source
package in Debian.
If it's likely that a LinBox release in the next week or two could fix
some or all of these problems, I'd greatly appreciate it. Thanks,
-Tim Abbott