Opened 6 weeks ago

Last modified 3 weeks ago

#73 accepted defect

make install failure - Divine 4.3.2

Reported by: Lukáš Zaoral Owned by: mornfall
Priority: major Milestone: 4.3
Component: other Keywords:



I am trying to build divine 4.3.2 on Fedora 30. The build itself is fine (after applying patch in #71), but the subsequent installation fails because of a missing file in includes. The problem persists even with the latest nightly build. The error message is attached.

Attachments (2)

error (1.2 KB) - added by Lukáš Zaoral 6 weeks ago.
make_install.patch (19.8 KB) - added by Lukáš Zaoral 3 weeks ago.

Download all attachments as: .zip

Change History (4)

Changed 6 weeks ago by Lukáš Zaoral

Attachment: error added

comment:1 Changed 6 weeks ago by mornfall

Status: newaccepted

Yes, sorry, the install target is not exactly maintained (partly because we build LLVM and also need to install that, which might mess up a different LLVM installation in the same prefix). What we usually do is build static binaries, which are standalone and can be installed with 'cp'. That said, I'll look into fixing 'make install'.

comment:2 Changed 3 weeks ago by Lukáš Zaoral

I was able to successfully install the latest release of Divine on Fedora 30 with following modifications:

1) The 'dios/libcxx/utils/' script should have the executable bit set.

2) The 'DarwinLdOptions?.inc' file is missing from the include directories of lld.
Creating a symbolic link from '_build.toolchain/lld/lib/Driver/' to one of these directories solves the issue.

3) The 'gtest-dev' package must be installed to resolve linking problems.

The attached patch contains following modifications:

4) Assuming a user without root privileges, all occurrences of the PWD variable in the main Makefile should be replaced with a CURDIR directive, because running make install (or anything else) with sudo with no options (like -E) does not preserve this variable and cmake fails.

5) The 'stp/lib/Interface/CMakeLists.txt' file has a wrong source path for installation of headers on line 43. '/include' should be 'stp/include'.

6) The 'releng/install-rpath.cmake' is outdated to be used with latest Divine builds.

7) The 'divine/CMakeLists.txt' file has missing install targets for divine-sim, divine-mc, divine-smt and divine-dbg.

Few of these modifications are more of a workaround than fix, but I hope they point to the right direction.

Last edited 3 weeks ago by Lukáš Zaoral (previous) (diff)

Changed 3 weeks ago by Lukáš Zaoral

Attachment: make_install.patch added
Note: See TracTickets for help on using tickets.