reassign 941933 libnormaliz-dev kthxbye I'm reassigning this bug to normaliz. As noted by the polymake maintainer, this is a question of normaliz headers missing a dependency, not polymake itself being buggy.
In Ubuntu, I patched[1] normaliz to have the arch:any header package depend on libeantic-dev on the same arches where we build-depend on and enable the integration, and that did indeed cause polymake to be buildable[2] once again (well, okay, I also cut the concurrency in half to avoid an entirely different bug, but that's not relevant to this one :P). ... Adam [1] http://launchpadlibrarian.net/447693482/normaliz_3.7.1+ds-3_3.7.1+ds-3ubuntu1.diff.gz [2] https://launchpad.net/ubuntu/+source/polymake/3.2r4-4ubuntu1