#27 closed defect (fixed)
build filaure (fatal error: dios.h: No such file or directory)
Reported by: | Kamil Dudka | Owned by: | mornfall |
---|---|---|---|
Priority: | major | Milestone: | 5.0 |
Component: | other | Keywords: | |
Cc: |
Description
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.
- Install fresh Fedora 29 (minimal installation)
- Download and unpack https://divine.fi.muni.cz/download/divine-4.1.20.tar.gz
- Install
make
andtar
- Run
make prerequisites
- 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.
Attachments (1)
Change History (3)
Changed 4 years ago by
Attachment: | divine-build-log.txt added |
---|
comment:1 Changed 4 years ago by
Resolution: | → fixed |
---|---|
Status: | new → closed |
Yes, this is a known problem that unfortunately affected the 4.1.20 tarball and is fixed in /current.
Note: See
TracTickets for help on using
tickets.
divine-build-log.txt