gentoo-mirror/gentoo
1
0
Fork 0
mirror of https://github.com/gentoo-mirror/gentoo.git synced 2025-12-21 21:17:37 -08:00
Code Issues Projects Releases Wiki Activity

dev-lang/polyml: fix deps and lto build

Browse Source 
Signed-off-by: Maciej Barć <xgqt@gentoo.org>
This commit is contained in:
Maciej Barć 2025-08-19 17:29:41 +02:00
parent 8fbc7a9c35
commit 1d44b65ee1
No known key found for this signature in database
GPG Key ID: 031C9FE65BED714A
1 changed files with 8 additions and 3 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

11
dev-lang/polyml/polyml-5.9.2.ebuild → dev-lang/polyml/polyml-5.9.2-r1.ebuild
View File

@ -3,7 +3,7 @@
EAPI=8 EAPI=8
inherit autotools inherit dot-a autotools
DESCRIPTION="Poly/ML is a full implementation of Standard ML" DESCRIPTION="Poly/ML is a full implementation of Standard ML"
HOMEPAGE="https://www.polyml.org/ HOMEPAGE="https://www.polyml.org/
@ -25,11 +25,13 @@ SLOT="0/${PV}"
IUSE="X +gmp portable" IUSE="X +gmp portable"
RDEPEND=" RDEPEND="
dev-libs/libffi:=
X? ( x11-libs/motif:0 ) X? ( x11-libs/motif:0 )
gmp? ( >=dev-libs/gmp-5:= ) gmp? ( >=dev-libs/gmp-5:= )
portable? ( dev-libs/libffi:= )
"
DEPEND="
${RDEPEND}
" "
DEPEND="${RDEPEND}"
PATCHES=( PATCHES=(
"${FILESDIR}/polyml-5.9-c++11.patch" "${FILESDIR}/polyml-5.9-c++11.patch"
@ -41,6 +43,8 @@ src_prepare() {
} }
src_configure() { src_configure() {
lto-guarantee-fat
local myconf=( local myconf=(
--enable-shared --enable-shared
--with-pic=pic-only --with-pic=pic-only
@ -57,6 +61,7 @@ src_test() {
src_install() { src_install() {
default default
strip-lto-bytecode
if [[ -f "${ED}"/usr/$(get_libdir)/libpolymain.la ]] ; then if [[ -f "${ED}"/usr/$(get_libdir)/libpolymain.la ]] ; then
rm "${ED}"/usr/$(get_libdir)/libpolymain.la || die rm "${ED}"/usr/$(get_libdir)/libpolymain.la || die