diff options
| author | V3n3RiX <venerix@koprulu.sector> | 2024-09-10 12:30:41 +0100 |
|---|---|---|
| committer | V3n3RiX <venerix@koprulu.sector> | 2024-09-10 12:30:41 +0100 |
| commit | add278b9601ff9e4af091c91c851ee46a185be8f (patch) | |
| tree | 4b654beae0eec584ae1d1f3227a57607d591a0ea /sci-mathematics/twelf | |
| parent | d8a7472fc6314625f7d16e0427004eb448412908 (diff) | |
gentoo auto-resync : 10:09:2024 - 12:30:41
Diffstat (limited to 'sci-mathematics/twelf')
| -rw-r--r-- | sci-mathematics/twelf/Manifest | 4 | ||||
| -rw-r--r-- | sci-mathematics/twelf/metadata.xml | 3 | ||||
| -rw-r--r-- | sci-mathematics/twelf/twelf-1.7.1-r2.ebuild | 14 |
3 files changed, 15 insertions, 6 deletions
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. </longdescription> + <upstream> + <remote-id type="github">standardml/twelf</remote-id> + </upstream> </pkgmetadata> 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" |