Hi Anthony, welcome to Launchpad. (And thanks for your patch)
Note that Debian/kFreeBSD (Debian with the FreeBSD kernel instead of Linux) also had some problems with execinfo. Might be general *BSD issues?
According to the changelog of widelands_17~rc2-3:
"on kfreebsd, the execinfo library cannot be found for an unkown reason.
Try to survive this fact to fix the resulting FTBFS."
Hi Anthony, welcome to Launchpad. (And thanks for your patch)
Note that Debian/kFreeBSD (Debian with the FreeBSD kernel instead of Linux) also had some problems with execinfo. Might be general *BSD issues?
According to the changelog of widelands_17~rc2-3:
"on kfreebsd, the execinfo library cannot be found for an unkown reason.
Try to survive this fact to fix the resulting FTBFS."
See http:// packages. debian. org/changelogs/ pool/main/ w/widelands/ widelands_ 17~rc2- 3/changelog and http:// bugs.debian. org/cgi- bin/bugreport. cgi?bug= 668670 for more info.