Nightly snapshot build fails
When tried to build the last available snapshot (http://divine.fi.muni.cz/download/snapshots/divine-4.1.3+2018.03.04.tar.gz), the build fails with the following error:
$ make -j2
Makefile:124: recipe for target '/var/xchalup4/divine-4.1.3+2018.03.04/_build.toolchain/stamp-v2' failed
make[1]: *** [/var/xchalup4/divine-4.1.3+2018.03.04/_build.toolchain/stamp-v2] Error 1
Makefile:70: recipe for target 'release' failed
make: *** [release] Error 2