Go to:
Gentoo Home
Documentation
Forums
Lists
Bugs
Planet
Store
Wiki
Get Gentoo!
Gentoo's Bugzilla – Attachment 746988 Details for
Bug 820515
sci-mathematics/cvc4-1.8 cmake /usr/lib paths should be /usr/$(get_libdir)
Home
|
New
–
[Ex]
|
Browse
|
Search
|
Privacy Policy
|
[?]
|
Reports
|
Requests
|
Help
|
New Account
|
Log In
[x]
|
Forgot Password
Login:
[x]
Updated cvc4-1.8.ebuild patching CVC4Targets-gentoo.cmake via sed
cvc4-1.8.ebuild (text/plain), 1.39 KB, created by
Franz Brauße
on 2021-10-27 13:19:14 UTC
(
hide
)
Description:
Updated cvc4-1.8.ebuild patching CVC4Targets-gentoo.cmake via sed
Filename:
MIME Type:
Creator:
Franz Brauße
Created:
2021-10-27 13:19:14 UTC
Size:
1.39 KB
patch
obsolete
># Copyright 1999-2021 Gentoo Authors ># Distributed under the terms of the GNU General Public License v2 > >EAPI=7 > >CMAKE_MAKEFILE_GENERATOR=emake >PYTHON_COMPAT=( python3_{7,8,9} ) >inherit cmake python-any-r1 > >DESCRIPTION="Automatic theorem prover for satisfiability modulo theories (SMT) problems" >HOMEPAGE="https://cvc4.github.io/" >SRC_URI="https://github.com/CVC4/CVC4-archived/archive/refs/tags/${PV}.tar.gz -> ${P}.tar.gz" > >LICENSE="GPL-2" >SLOT="0" >KEYWORDS="~amd64 ~x86" >IUSE="+cln proofs readline replay +statistics" > >RDEPEND="dev-libs/antlr-c > dev-java/antlr:3 > dev-libs/boost > readline? ( sys-libs/readline:0= ) > cln? ( sci-libs/cln ) > !cln? ( dev-libs/gmp:= )" >DEPEND="${RDEPEND}" >BDEPEND="${PYTHON_DEPS}" > >S="${WORKDIR}"/${PN^^}-archived-${PV} > >PATCHES=( "${FILESDIR}"/${P}-gentoo.patch ) > >src_configure() { > local mycmakeargs=( > -DANTLR_BINARY=/usr/bin/antlr3 > -DENABLE_GPL=ON > -DENABLE_OPTIMIZED=ON > -DUSE_CLN="$(usex cln ON OFF)" > -DUSE_READLINE="$(usex readline ON OFF)" > -DENABLE_STATISTICS="$(usex statistics ON OFF)" > -DENABLE_PROOFS="$(usex proofs ON OFF)" > -DENABLE_REPLAY="$(usex replay ON OFF)" > ) > cmake_src_configure >} > >src_test() { > emake -C "${BUILD_DIR}" \ > systemtests > cmake_src_test >} > >src_install() { > cmake_src_install > sed -i 's:${_IMPORT_PREFIX}/lib/:${_IMPORT_PREFIX}/'"$(get_libdir)"'/:g' \ > "${D}"/usr/lib/cmake/CVC4/CVC4Targets-gentoo.cmake > mv "${D}"/usr/{lib,$(get_libdir)} >}
You cannot view the attachment while viewing its details because your browser does not support IFRAMEs.
View the attachment on a separate page
.
View Attachment As Raw
Actions:
View
Attachments on
bug 820515
: 746988