Opened 2 years ago

Last modified 2 years ago

#106 accepted defect

make: CMake does not set PYTHON_INTERP during libcxx configuration

Reported by: Lukáš Zaoral Owned by: Vladimír Štill
Priority: major Milestone: 4.4
Component: other Keywords:
Cc: kdudka@…, lzaoral@…


Hi, as previously discussed in the comments 6-10 of issue #73, the make install target still fails to complete without some additional downstream patching. This issue occurs on Fedora, Manjaro, Ubuntu (and probably on other Linux distros too). Thanks.

Change History (2)

comment:1 Changed 2 years ago by Vladimír Štill

Owner: changed from mornfall to Vladimír Štill
Status: newaccepted

I was able to reproduce this on Archlinux, the problem occurs only in make install, apparently in the toolchain part of the install.

$ make install PREFIX=/tmp/divine JOBS=1                                                                                       
[1/648] Generating ../__generated_config                                                                                          
FAILED: dios/libcxx/__generated_config                                                                                            
cd /var/obj/xstill-divine-interp/toolchain/dios/libcxx/include && /tmp/interp/dios/libcxx/utils/ /var/obj/xstill-divin|
e-interp/toolchain/dios/libcxx/__config_site /tmp/interp/dios/libcxx/include/__config -o /var/obj/xstill-divine-interp/toolchain/d
/bin/sh: /tmp/interp/dios/libcxx/utils/ Permission denied
ninja: build stopped: subcommand failed.
make: *** [Makefile:164: toolchain-install] Error 1

comment:2 Changed 2 years ago by Lukáš Zaoral

This particular problem seems to be fixed in 4.4.2. However, it introduced another one in the final phase of toolchain installation. The script replaces with a plaintext file containing instructions for linker, but CMake expects that this file is in an ELF format.

-- Installing: /opt/divine/lib/
-- Set runtime path of "/opt/divine/lib/" to "/opt/divine/lib"
-- Installing: /opt/divine/lib/
CMake Error at dios/libcxx/src/cmake_install.cmake:83 (file):
  file RPATH_CHANGE could not write new RPATH:


  to the file:


  No valid ELF RPATH or RUNPATH entry exists in the file; File does not have
  a valid ELF identification.
Call Stack (most recent call first):
  dios/libcxx/cmake_install.cmake:51 (include)
  cmake_install.cmake:44 (include)

FAILED: CMakeFiles/install.util 
cd /builds/lzaoral/divine/_build.toolchain && /usr/bin/cmake -P cmake_install.cmake
ninja: build stopped: subcommand failed.
make: *** [Makefile:164: install] Error 1
Note: See TracTickets for help on using tickets.