From add278b9601ff9e4af091c91c851ee46a185be8f Mon Sep 17 00:00:00 2001 From: V3n3RiX Date: Tue, 10 Sep 2024 12:30:41 +0100 Subject: gentoo auto-resync : 10:09:2024 - 12:30:41 --- sci-mathematics/Manifest.gz | Bin 19348 -> 19347 bytes sci-mathematics/dunshire/Manifest | 2 +- sci-mathematics/dunshire/metadata.xml | 4 ---- sci-mathematics/twelf/Manifest | 4 ++-- sci-mathematics/twelf/metadata.xml | 3 +++ sci-mathematics/twelf/twelf-1.7.1-r2.ebuild | 14 ++++++++++---- 6 files changed, 16 insertions(+), 11 deletions(-) (limited to 'sci-mathematics') diff --git a/sci-mathematics/Manifest.gz b/sci-mathematics/Manifest.gz index a5da9bc5633c..0b1d3a21d175 100644 Binary files a/sci-mathematics/Manifest.gz and b/sci-mathematics/Manifest.gz differ diff --git a/sci-mathematics/dunshire/Manifest b/sci-mathematics/dunshire/Manifest index 65ae812ea476..c47b31611654 100644 --- a/sci-mathematics/dunshire/Manifest +++ b/sci-mathematics/dunshire/Manifest @@ -1,3 +1,3 @@ DIST dunshire-0.1.3.tar.gz 52450 BLAKE2B 047f732daa7f2a53b8d24ea0aafdad3234aa5ee151a66f776ba22746d58b4b91a5047ba615978d4017e56345ac608fd1f537adef06f38b5a429276e284a88d02 SHA512 227d142347ad7b7eb5b283aaa94f457b20b686f40aa86b2a74057eed00d3d90e87fb4a0f32071db3bd73412489794a0b398a557f8194931a6e7d51ff442aa2b0 EBUILD dunshire-0.1.3-r1.ebuild 719 BLAKE2B 679250a87250bc36635f7df83d877af9d5726bed7b310fcc40aaf4e08ba236f5d76bb04451da248aaef1c79472e13d381a8c392e75a3a04dee254b2c6d69edcb SHA512 e85fb5dcd889e617269d54629a46c7f814e4c2e42c1986828a0a0af4cd520031159ba77c176589df30879b63aa9f83185e24c1ecfd9b40a4d6d1a8c67edce81c -MISC metadata.xml 329 BLAKE2B e9cf64a4fd7f360e350a97ca0a9efe8e64ce485f2b025e456271c8e3d8bbf3f6950750a157eaa66e0639a800285351f84abd07789697acfbaf5422b9cb725ec6 SHA512 f8f757c9f662dfba3c0717720a7d2fe6e2c2bea517d6811cf9785d39cef92714c0ddddf3c56eecb6be37fc97fcd6ebdeba0412108b41ffc0c9cdde34c3e8a74a +MISC metadata.xml 253 BLAKE2B 63a51cab94d3e978d2c7dd1d124efd1c9e11c5ae277806a1f12359b2db370c37382fc1947e85940f6b0a439e3d49eecdd8d9bfb96587352d6a83803d2fd40bb6 SHA512 8da7cfe0cd26a54c106f2c029bbde93abf77576835e4fa66bc538dcf12fd41160f7cc2dd843a221962bb9a6f965311c076a1557caa38d503f371569b84841e33 diff --git a/sci-mathematics/dunshire/metadata.xml b/sci-mathematics/dunshire/metadata.xml index 24ac776863fa..f2908ee10b59 100644 --- a/sci-mathematics/dunshire/metadata.xml +++ b/sci-mathematics/dunshire/metadata.xml @@ -5,8 +5,4 @@ mjo@gentoo.org Michael Orlitzky - - - dunshire - diff --git a/sci-mathematics/twelf/Manifest b/sci-mathematics/twelf/Manifest index fcb0c8796695..c452d44c10e9 100644 --- a/sci-mathematics/twelf/Manifest +++ b/sci-mathematics/twelf/Manifest @@ -11,5 +11,5 @@ AUX twelf-1.7.1-mlton-20180207.patch 310 BLAKE2B b372c7ca65b4bb12983d84e590d4e30 AUX twelf-1.7.1-mlton-mlb.patch 11244 BLAKE2B e07adfd1520179a8ca3c292638689c8cc344b8d01ebcf2ba9f668cbf2afa5b5132a88d0521ca4123a9165d8fea49cdbab20b48b791bd3e78610d54b534e9e596 SHA512 2d0f42399e444cbb736f38ad7bdc54f51322c17c010b273c365d9db9a1e6c045c19b872d4b5c1e50444559a981aa5569764ac859c7702c116c97c935fd959bfd AUX twelf-1.7.1-remove-svnversion.patch 241 BLAKE2B f92db57c82d31fae8518d0a3947fd0ebf24ab06aa51fbf0e3a2b271eb30583904d5487f3f4b2605d5ca168f78ca7eed0fdcb4473604c4ae83a2807416341c99b SHA512 07bb5f88580dcb6ae722d7af98c58c96453871f8ce6eb107fbedafc6939a0d8871e3820e933cdc90aa6ca17d8909717f607e3819c34f5f852b7606a7680e7462 DIST twelf-src-1.7.1.tar.gz 1147610 BLAKE2B 9fbb3c5a4823845a0c721112744330658be0e68784ef209a3d17fb72874ef50d7dbb434a7104704a5540f2f0bc30727bfe1ff602f986570f944454e77c24609d SHA512 1b4baa0f385b6b605583a9da312f23c775aab43e7398c6e151833a6b95c74112492530f44fcb7b14f8288774e9b63e2f9618a5debfbc4d34737bc2588f5850df -EBUILD twelf-1.7.1-r2.ebuild 2717 BLAKE2B 03351db21a04ed6555f7dd9b559d29ad03a10451a29740e92877d447c45da8baefc19256b8b8e0c98b7149dcde41cea25900249086fb460d955b75a5f0f9ef84 SHA512 2188bdc4a8299a0fd4dea45f3a3c9565ec2c546f7c895898190df7dd05545ca143658d6f4a5ec3bcdf4c5d4db6813e6f5a666da2b9f9ca50e320aad94b8ab73a -MISC metadata.xml 373 BLAKE2B 850c000dae8d5cdd0725b5a998d7e3920c479af1a9afd5cb01874a7551bbcd8fff6a32fa50b74aa315a9cb3bd9471841def5874f528002f124e273e0b06b5c7e SHA512 0bd1b4a19e53f141a0c83a0a97a6d291b43da9fd6158ec869691c99d3efe7cc9179d214ef01ee04b60b51256be9d2f1d2b393978a9e55d06555655332f67fa8e +EBUILD twelf-1.7.1-r2.ebuild 2972 BLAKE2B dc7703eea09e460af089e2a3a1b4782acd4e592d1ce6fda49eb372c6a16130898a617d92339e85ea8fabb7bc5368b8ef92053cb362df07efb96ce991cb598776 SHA512 079fa00a4a3c6a5b3f5cd659d19fa6de017a823460b4711e594371fe6b69afbc0a2800f5b44a47365232e7052c01729f65f909aa3cbcf0dba7f60bf538a85905 +MISC metadata.xml 458 BLAKE2B aa7ab9c9f6e70163558b1802a4950663f61cdf8b5cbbf78b5be65ee028594314cdd336bb9f4d5b5d1fd06bf54110e4bf6c0f8b574322f9c5aff9975eedd5467d SHA512 545a0f35e20a33da4f344e170cc17ab306f3bb3bb4160ba8721736ae8f50070c0e5cabe31fd9c06d3d538efe9976ff592d0827bf775f4c6c2d45c78490825ea3 diff --git a/sci-mathematics/twelf/metadata.xml b/sci-mathematics/twelf/metadata.xml index d4994fb246a4..938124fd245e 100644 --- a/sci-mathematics/twelf/metadata.xml +++ b/sci-mathematics/twelf/metadata.xml @@ -7,4 +7,7 @@ logic programming and for the formalization of programming language theory. + + standardml/twelf + diff --git a/sci-mathematics/twelf/twelf-1.7.1-r2.ebuild b/sci-mathematics/twelf/twelf-1.7.1-r2.ebuild index 0a7237065277..1fc16b00baa4 100644 --- a/sci-mathematics/twelf/twelf-1.7.1-r2.ebuild +++ b/sci-mathematics/twelf/twelf-1.7.1-r2.ebuild @@ -1,16 +1,16 @@ -# Copyright 1999-2022 Gentoo Authors +# Copyright 1999-2024 Gentoo Authors # Distributed under the terms of the GNU General Public License v2 EAPI="8" -inherit elisp-common +inherit elisp-common flag-o-matic MY_PN="${PN}-src" MY_P="${MY_PN}-${PV}" DESCRIPTION="Implementation of the logical framework LF" -HOMEPAGE="http://twelf.org/" -SRC_URI="http://twelf.plparty.org/releases/${MY_P}.tar.gz" +HOMEPAGE="https://twelf.org/" +SRC_URI="https://github.com/standardml/twelf/releases/download/v${PV}/${MY_P}.tar.gz" SLOT="0/${PV}" KEYWORDS="~amd64 ~x86" @@ -59,6 +59,12 @@ src_prepare() { } src_compile() { + # relocation R_X86_64_32 against hidden symbol `globalCPointer' can not be used when making a PIE object + # https://bugs.gentoo.org/863266 + # + # The software is unmaintained and disables bug reports. + filter-lto + emake mlton CFLAGS="${CFLAGS}" LDFLAGS="${LDFLAGS} -fno-PIE" if use emacs ; then pushd "${S}/emacs" || die "Could change directory to emacs" -- cgit v1.2.3