build filaure (fatal error: dios.h: No such file or directory)

[Kamil Dudka]

While trying to write self-contained steps to reproduce https://divine.fi.muni.cz/trac/ticket/8 I hit a different build failure this time. Here are the steps to reproduce.

1. Install fresh Fedora 29 (minimal installation)
2. Download and unpack ​https://divine.fi.muni.cz/download/divine-4.1.20.tar.gz
3. Install make and tar
4. Run make prerequisites
5. Run make

The build ends up with the following failure:

[12/22] Building CXX object dios/libcxxabi/src/CMakeFiles/cxxabi_objects.dir/cxa_exception.cpp.o
FAILED: dios/libcxxabi/src/CMakeFiles/cxxabi_objects.dir/cxa_exception.cpp.o 
/usr/bin/g++  -DHAVE___CXA_THREAD_ATEXIT_IMPL -DLIBCXXABI_USE_LLVM_UNWINDER=1 -D_GNU_SOURCE -D_LIBCXXABI_BUILDING_LIBRARY -D__STDC_CONSTANT_MACROS -D__STDC_FORMAT_MACROS -D__STDC_LIMIT_MACROS -I../llvm/include -Illvm/include -I../clang/include -Iclang/include -I../lld/include -Illd/include -I../compiler-rt/include -Icompiler-rt/include -I../dios/libcxxabi/include -I../dios/libunwind/include -I../dios/libunwind/src -I../dios/libcxx/include -Werror=date-time -std=c++11 -Wall -W -Wno-unused-parameter -Wwrite-strings -Wcast-qual -Wno-missing-field-initializers -pedantic -Wno-long-long -Wno-maybe-uninitialized -Wdelete-non-virtual-dtor -Wno-comment -ffunction-sections -fdata-sections -std=c++11 -fstrict-aliasing -O3 -DNDEBUG -DNVALGRIND   -nostdinc++ -Werror=return-type -W -Wall -Wchar-subscripts -Wconversion -Wmissing-braces -Wno-unused-function -Wshadow -Wsign-compare -Wsign-conversion -Wstrict-aliasing=2 -Wstrict-overflow=4 -Wunused-parameter -Wunused-variable -Wwrite-strings -Wundef -Wno-error -pedantic -D_DEBUG -UNDEBUG -fPIC -std=gnu++11 -MD -MT dios/libcxxabi/src/CMakeFiles/cxxabi_objects.dir/cxa_exception.cpp.o -MF dios/libcxxabi/src/CMakeFiles/cxxabi_objects.dir/cxa_exception.cpp.o.d -o dios/libcxxabi/src/CMakeFiles/cxxabi_objects.dir/cxa_exception.cpp.o -c ../dios/libcxxabi/src/cxa_exception.cpp
../dios/libcxxabi/src/cxa_exception.cpp:14:10: fatal error: dios.h: No such file or directory
 #include <dios.h>
          ^~~~~~~~
compilation terminated.

[Kamil Dudka]

divine-build-log.txt

[mornfall]

Yes, this is a known problem that unfortunately affected the 4.1.20 tarball and is fixed in /current.

[mornfall]

Milestone renamed