GNU Documentation and DFSG
Documentation (in info or pdf format) is no longer provided by the
standard GNU GSL packages. Debian takes a hard stand on the
interpretation of the GNU Free Documentation License (GFDL) and its
so-called 'invariant sections' and considers these to be 'not free'.
As maintainer, my hand was somewhat forced by bugreport #495935.
Documentation is provided via packages in the non-free archive which,
technically speaking, is not considered a true part of Debian. However,
apt-get and other tools can download from it.
-- Dirk Eddelbuettel <edd@debian.org>, Mon, 6 Dec 2021 15:17:55 -0600
Profiling GSL
Sometimes when writing complex code, you may want to profile it using
gprof. In this case, having libraries with profiling information
compiled in is invaluable. It is possible to build your own .deb
containing profiling libraries, that may be installed on your system
in parallel to the usual libraries. To do this, follow these simple
instructions:
i) download the gsl source (and the build dependencies if necessary):
apt-get source libgsl0
apt-get build-dep libgsl0
ii) build a binary profiling package:
DEB_BUILD_PROFILES=pkg.gsl.prof dpkg-buildpackage -b -rfakeroot -us -uc
iii) install the resulting .deb
dpkg -i ../libgsl0-prof_[version]_[arch].deb
Finally, you need to specify -lgsl_p and -lgslcblas_p to link your
program against the profiling libraries.
-- Matthew Vernon <matthew@debian.org>, Wed, 29 Oct 2008 10:34:19 +0000
Generated by dwww version 1.15 on Sun Jun 16 18:43:42 CEST 2024.