Source: gmp Version: 2:6.0.0+dfsg-6 Tags: patch User: helm...@debian.org 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 -- debian-science-maintainers mailing list debian-science-maintainers@lists.alioth.debian.org http://lists.alioth.debian.org/cgi-bin/mailman/listinfo/debian-science-maintainers