Gentoo Websites Logo
Go to: Gentoo Home Documentation Forums Lists Bugs Planet Store Wiki Get Gentoo!
Bug 759457 - dev-libs/stp-2.3.3 : -- Could NOT find cryptominisat5 (missing: cryptominisat5_DIR)
Summary: dev-libs/stp-2.3.3 : -- Could NOT find cryptominisat5 (missing: cryptominisat...
Status: RESOLVED FIXED
Alias: None
Product: Gentoo Linux
Classification: Unclassified
Component: Current packages (show other bugs)
Hardware: All Linux
: Normal normal (vote)
Assignee: Jeffrey Lin
URL:
Whiteboard:
Keywords:
Depends on:
Blocks:
 
Reported: 2020-12-11 10:30 UTC by Toralf Förster
Modified: 2021-12-27 13:08 UTC (History)
1 user (show)

See Also:
Package list:
Runtime testing required: ---


Attachments
emerge-info.txt (emerge-info.txt,15.88 KB, text/plain)
2020-12-11 10:30 UTC, Toralf Förster
Details
CMakeError.log (CMakeError.log,863 bytes, text/plain)
2020-12-11 10:30 UTC, Toralf Förster
Details
CMakeOutput.log (CMakeOutput.log,54.33 KB, text/plain)
2020-12-11 10:30 UTC, Toralf Förster
Details
dev-libs:stp-2.3.3:20201211-083237.log (dev-libs:stp-2.3.3:20201211-083237.log,7.08 KB, text/plain)
2020-12-11 10:30 UTC, Toralf Förster
Details
emerge-history.txt (emerge-history.txt,155.56 KB, text/plain)
2020-12-11 10:30 UTC, Toralf Förster
Details
environment (environment,87.89 KB, text/plain)
2020-12-11 10:30 UTC, Toralf Förster
Details
etc.portage.tbz2 (etc.portage.tbz2,15.81 KB, application/x-bzip)
2020-12-11 10:30 UTC, Toralf Förster
Details
logs.tbz2 (logs.tbz2,5.46 KB, application/x-bzip)
2020-12-11 10:30 UTC, Toralf Förster
Details
temp.tbz2 (temp.tbz2,23.17 KB, application/x-bzip)
2020-12-11 10:30 UTC, Toralf Förster
Details

Note You need to log in before you can comment on or make changes to this bug.
Description Toralf Förster gentoo-dev 2020-12-11 10:30:12 UTC
-- 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"
Comment 1 Toralf Förster gentoo-dev 2020-12-11 10:30:13 UTC
Created attachment 677839 [details]
emerge-info.txt
Comment 2 Toralf Förster gentoo-dev 2020-12-11 10:30:14 UTC
Created attachment 677842 [details]
CMakeError.log
Comment 3 Toralf Förster gentoo-dev 2020-12-11 10:30:15 UTC
Created attachment 677845 [details]
CMakeOutput.log
Comment 4 Toralf Förster gentoo-dev 2020-12-11 10:30:16 UTC
Created attachment 677848 [details]
dev-libs:stp-2.3.3:20201211-083237.log
Comment 5 Toralf Förster gentoo-dev 2020-12-11 10:30:18 UTC
Created attachment 677851 [details]
emerge-history.txt
Comment 6 Toralf Förster gentoo-dev 2020-12-11 10:30:19 UTC
Created attachment 677854 [details]
environment
Comment 7 Toralf Förster gentoo-dev 2020-12-11 10:30:21 UTC
Created attachment 677857 [details]
etc.portage.tbz2
Comment 8 Toralf Förster gentoo-dev 2020-12-11 10:30:22 UTC
Created attachment 677860 [details]
logs.tbz2
Comment 9 Toralf Förster gentoo-dev 2020-12-11 10:30:23 UTC
Created attachment 677863 [details]
temp.tbz2
Comment 10 Larry the Git Cow gentoo-dev 2021-12-27 13:08:30 UTC
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(-)