Bug#948109: z3: FTBFS on riscv64, needs -latomic, blocks rustc:riscv64

[Fabian Wolff]

On 1/10/20 6:50 PM, Ximin Luo wrote:
> Sorry. I changed it to -headless because it *usually* is sufficient for a java package, and it avoids installing extra unnecessary X libraries during the build. I tested this with version -2 and it worked fine before switching to cmake, so I don't know why it is failing now.
> 
> Oh, do the tests require X libraries? Maybe that is why. Cross-compiling doesn't run the tests of course. I may or may not have also run a native amd64->amd64 build to run the tests, but I can't remember now.

No problem. The reason why the build fails is because the CMake configuration
can't find 'jawt.h', and an 'apt-file search jawt.h' reveals that this file
is apparently only included in the full openjdk-{11,13}-jdk (and not in the
corresponding -headless).