Opened 8 months ago

Closed 8 months ago

Last modified 7 months ago

#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.

  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.

Attachments (1)

divine-build-log.txt (202.3 KB) - added by Kamil Dudka 8 months ago.
divine-build-log.txt

Download all attachments as: .zip

Change History (3)

Changed 8 months ago by Kamil Dudka

Attachment: divine-build-log.txt added

divine-build-log.txt

comment:1 Changed 8 months ago by mornfall

Resolution: fixed
Status: newclosed

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

comment:2 Changed 7 months ago by mornfall

Milestone: future5.0

Milestone renamed

Note: See TracTickets for help on using tickets.