Debian Patches

Status for topcom/1.1.2+ds-1.1

Patch Description Author Forwarded Bugs Origin Last update
dont-build-libraries.patch Use Debian gmp and cdd library packages instead of building them. Doug Torrance <dtorrance@debian.org> not-needed 2022-06-23
rename-binaries.patch Prefix all binaries with topcom-. Several of the binaries (esp. cross and cube) have very generic names
which may clash with other packages on the user's system. Other distros
have taken a similar approach (e.g., Gentoo renames cube to topcom_cube
and Fedora prefixes cross, cube, cyclic, hypersimplex, and lattice with
TOPCOM-).
We take the same approach as the nauty package -- prefix *everything*.
This has the advantage of consistency, which is useful for other programs
which may call TOPCOM, e.g., Macaulay2's Topcom package.
Doug Torrance <dtorrance@debian.org> not-needed 2022-06-23
shared-library.patch Use libtool to build shared libraries. Upstream only builds static libraries. We also install the headers
in /usr/include/topcom instead of /usr/include.
Doug Torrance <dtorrance@debian.org> not-needed 2022-10-03
pkg-config.patch Add pkg-config file. Doug Torrance <dtorrance@debian.org> not-needed 2022-09-14

All known versions for source package 'topcom'

Links