Compilation error
Up-to-date repo on archlinux.
$ make [0]
make release-divine
make[1]: Entering directory '/home/marek/src/divine'
make /home/marek/src/divine/_build.release/cmake.stamp CONFDEP1=`ls _darcs/hashed_inventory 2>/dev/null` CONFDEP2=`ls _darcs/patches/pending 2> /dev/null` FLAVOUR=release
make[2]: Entering directory '/home/marek/src/divine'
make[2]: '/home/marek/src/divine/_build.release/cmake.stamp' is up to date.
make[2]: Leaving directory '/home/marek/src/divine'
env TOOLCHAIN_RPATH=/home/marek/src/divine/_build.toolchain/runtime TESTHOOK="" cmake --build /home/marek/src/divine/_build.release --target divine --
make[2]: Entering directory '/home/marek/src/divine/_build.release'
make[3]: Entering directory '/home/marek/src/divine/_build.release'
make[4]: Entering directory '/home/marek/src/divine/_build.release'
make[5]: Entering directory '/home/marek/src/divine/_build.release'
make[5]: Leaving directory '/home/marek/src/divine/_build.release'
make[5]: Entering directory '/home/marek/src/divine/_build.release'
[ 0%] Building CXX object llvm/lib/Support/CMakeFiles/LLVMSupport.dir/RandomNumberGenerator.cpp.o
In file included from /home/marek/src/divine/llvm/lib/Support/RandomNumberGenerator.cpp:16:
In file included from /home/marek/src/divine/llvm/include/llvm/Support/RandomNumberGenerator.h:22:
In file included from /home/marek/src/divine/runtime/libcxx/include/random:1646:
In file included from /home/marek/src/divine/runtime/libcxx/include/istream:163:
In file included from /home/marek/src/divine/runtime/libcxx/include/ostream:138:
In file included from /home/marek/src/divine/runtime/libcxx/include/ios:216:
/home/marek/src/divine/runtime/libcxx/include/__locale:39:11: fatal error: 'xlocale.h' file not found
# include <xlocale.h>
^
1 error generated.
make[5]: *** [llvm/lib/Support/CMakeFiles/LLVMSupport.dir/build.make:1095: llvm/lib/Support/CMakeFiles/LLVMSupport.dir/RandomNumberGenerator.cpp.o] Error 1
make[5]: Leaving directory '/home/marek/src/divine/_build.release'
make[4]: *** [CMakeFiles/Makefile2:2325: llvm/lib/Support/CMakeFiles/LLVMSupport.dir/all] Error 2
make[4]: Leaving directory '/home/marek/src/divine/_build.release'
make[3]: *** [CMakeFiles/Makefile2:26391: tools/CMakeFiles/divine.dir/rule] Error 2
make[3]: Leaving directory '/home/marek/src/divine/_build.release'
make[2]: *** [Makefile:6907: divine] Error 2
make[2]: Leaving directory '/home/marek/src/divine/_build.release'
make[1]: *** [Makefile:103: release-divine] Error 2
make[1]: Leaving directory '/home/marek/src/divine'
make: *** [Makefile:71: release] Error 2