-- Boost -- found at library: /usr/lib64/libboost_program_options-mt.so -- Boost -- adding '/usr/lib64' to link directories -- Could NOT find cryptominisat5 (missing: cryptominisat5_DIR) CMake Warning at CMakeLists.txt:452 (message): CryptoMiniSat5 (5.0 or above) or C++11 support not found, not allowing --cryptominisat option ------------------------------------------------------------------- This is an unstable amd64 chroot image at a tinderbox (==build bot) name: 17.1_systemd-libressl_test-20201207-113004 ------------------------------------------------------------------- gcc-config -l: [1] x86_64-pc-linux-gnu-10.2.0 * Available Python interpreters, in order of preference: [1] python3.9 [2] python3.8 (fallback) [3] python3.7 (fallback) [4] python2.7 (fallback) Available Rust versions: [1] rust-1.48.0 * The following VMs are available for generation-2: *) AdoptOpenJDK 8.272_p10 [openjdk-bin-8] Available Java Virtual Machines: [1] openjdk-bin-8 system-vm The Glorious Glasgow Haskell Compilation System, version 8.8.4 timestamp(s) of HEAD at this tinderbox image: /var/db/repos/gentoo Fri Dec 11 08:05:13 AM UTC 2020 /var/db/repos/libressl Wed Dec 9 02:37:52 PM UTC 2020 emerge -qpvO dev-libs/stp [ebuild N ] dev-libs/stp-2.3.3 USE="python test"
Created attachment 677839 [details] emerge-info.txt
Created attachment 677842 [details] CMakeError.log
Created attachment 677845 [details] CMakeOutput.log
Created attachment 677848 [details] dev-libs:stp-2.3.3:20201211-083237.log
Created attachment 677851 [details] emerge-history.txt
Created attachment 677854 [details] environment
Created attachment 677857 [details] etc.portage.tbz2
Created attachment 677860 [details] logs.tbz2
Created attachment 677863 [details] temp.tbz2
The bug has been closed via the following commit(s): https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=317c9f66693a8341a07ba45fe158e8699cc1cd19 commit 317c9f66693a8341a07ba45fe158e8699cc1cd19 Author: Maciej Barć <xgqt@gentoo.org> AuthorDate: 2021-12-27 13:08:03 +0000 Commit: Maciej Barć <xgqt@gentoo.org> CommitDate: 2021-12-27 13:08:10 +0000 sci-mathematics/stp: multiple fixes - add missing test submodules - add optional cryptominisat dependency (USE=dependency) - add the Gentoo Mathematics Project to co-maintainers - change python to optional dependency (USE=python) - install PDF documentation - patch CMakeLists.txt to fix CFLAGS - patch stp.py to fix python module Closes: https://bugs.gentoo.org/759457 Package-Manager: Portage-3.0.28, Repoman-3.0.3 Signed-off-by: Maciej Barć <xgqt@gentoo.org> sci-mathematics/stp/Manifest | 2 + .../stp/files/stp-CMakeLists.txt-fix_cflags.patch | 21 +++++ .../stp/files/stp-stp.py-library_path.patch | 15 ++++ sci-mathematics/stp/metadata.xml | 51 +++++++----- sci-mathematics/stp/stp-2.3.3-r1.ebuild | 94 ++++++++++++++++++++++ sci-mathematics/stp/stp-2.3.3.ebuild | 45 ----------- 6 files changed, 161 insertions(+), 67 deletions(-)