Source: gmp
Version: 2:6.0.0+dfsg-6
Tags: patch
User: [email protected]
Usertags: rebootstrap
Dear gmp maintainer,
gmp fails to build from source on nios2 (which is a new architecture
from a Debian point of view). dpkg-gensymbols fails missing a lot of
symbols. This is kinda expected for a new port. As it happens, nios2
behaves exactly the same as mips (and a few other architectures) from a
gmp symbols point of view. Thus
sed -i 's/!mips /!nios2 &/' debian/libgmp10.symbols
can be used to make the gmp build succeed on nios2. Can you apply this
fix?
Helmut
