summaryrefslogtreecommitdiff
path: root/dev-lang
diff options
context:
space:
mode:
authorV3n3RiX <venerix@koprulu.sector>2024-05-18 00:01:42 +0100
committerV3n3RiX <venerix@koprulu.sector>2024-05-18 00:01:42 +0100
commit075fd1f8cabc5879c6eb42127fb84c3058677fde (patch)
tree8b761e85416656264e041b1954427a58894b3333 /dev-lang
parent6c9dc10e04cd513437e046ccca0e51a3d6d4dc7c (diff)
gentoo auto-resync : 18:05:2024 - 00:01:41
Diffstat (limited to 'dev-lang')
-rw-r--r--dev-lang/Manifest.gzbin22153 -> 22155 bytes
-rw-r--r--dev-lang/gprolog/Manifest4
-rw-r--r--dev-lang/gprolog/gprolog-1.4.5.ebuild85
-rw-r--r--dev-lang/gprolog/gprolog-1.5.0-r1.ebuild2
-rw-r--r--dev-lang/xsb/Manifest3
-rw-r--r--dev-lang/xsb/files/0001-modern-C-fix-for-implicit-int.patch25
-rw-r--r--dev-lang/xsb/xsb-4.0.0-r1.ebuild (renamed from dev-lang/xsb/xsb-4.0.0.ebuild)19
7 files changed, 44 insertions, 94 deletions
diff --git a/dev-lang/Manifest.gz b/dev-lang/Manifest.gz
index 2082d15db48b..10bde5157e45 100644
--- a/dev-lang/Manifest.gz
+++ b/dev-lang/Manifest.gz
Binary files differ
diff --git a/dev-lang/gprolog/Manifest b/dev-lang/gprolog/Manifest
index a66bde0a47c2..f30e5952356a 100644
--- a/dev-lang/gprolog/Manifest
+++ b/dev-lang/gprolog/Manifest
@@ -8,8 +8,6 @@ AUX gprolog-1.5.0-destdir.patch 1981 BLAKE2B d670a73ce06fe6318bb838a1f7e55b93643
AUX gprolog-1.5.0-ldflags.patch 3961 BLAKE2B 0571c24bbe50a39b901f0ac6d2167b3a6a12670698310c7ecdbb47588f3a214570a5cd71f03d26c21e2426e61d9c59d9b92dca45c08695a2912eb25368f9a6b2 SHA512 7c405d9027ad7d78558059e27ddce8820b7f0adf5f3d8ebbc200e0ccc0ada000b611c2d17a31dc489b2d0c4b3d3686ddf966fb2ffc14e1dddc2ce82c61660833
AUX gprolog-1.5.0-links.patch 501 BLAKE2B 61d7fb23cb418c0ac4e938ec476fcbc0f3d83ad6f87694752de20c2cbec983e89a7b13bbd396ab93fae4da7f030361200b13aca4fbf5362e3371211ef21b1106 SHA512 a9eef1d3431ad61f16dd8fd48f316e727764c944b658ef1b633000e620dd871fe5625103b0a21889a7629a643317141264df95d522dcb2333de78458b1d85d20
AUX gprolog-1.5.0-llvm-as.patch 1507 BLAKE2B 658033e193191722236e2b67b99ac045c27a9dea0f184b1f15782215cb9ac33580dfb9e4ae99935b4e45504504696b4cd5b5b3ade6adbcf568f0ee6975afe191 SHA512 553a4a88e7e1a7c70d8be672c5c2f36e8dc7bd1780910917652158265a3014bb092dc666a5168eed427cc0ad18299c7743b434822516c12791b8c4028cb61724
-DIST gprolog-1.4.5.tar.gz 3587361 BLAKE2B c0c73ce249d7c26b914a3f831c6ac93aeb884bded6c5ebbe51223f0685de0be2e746533aade1633a953b93e88a30796fa52ecd5e609d05bc051363cbf34e0477 SHA512 425103bc9e5bdbdb4ae331f5be0cf49524fbdb4f5e2809fb973360de9e7ad9935c1b28f3603e0be696a647153d9f0d3dacdc87251098ac99faf7d0b3c652fc60
DIST gprolog-1.5.0.tar.gz 3813899 BLAKE2B e1d82393f122f37b1e139732c1b954b8a407feac4973b56c2e39dcf907424acca67bd10ea0e833ebbd6764a47b075911a29e05b51c37d3751a5d5fc751a08789 SHA512 7ef1a3555ffa58d3fb0db2b55ffc1d00868021f0f9f3d63dd1f43b5b833e6e00ecc74abfc0573828a3d53f20c134dffaf7fe79ab21b3e16dccfca8c73b5dfb8d
-EBUILD gprolog-1.4.5.ebuild 1938 BLAKE2B 65bbebccf772394fed4dc8aa5dced5e95991ec77297e3e4d26dcaefb943dc1666e49d4af15982121c6da662a5b799ba5f04833007d5de311d39618269fc56b16 SHA512 9ba3eacaed57ae38b71176793acc61820135f836decdf6397cadef568d3f8b5b6e32aa5433f07a8450bacb1dedd5afedd7e6a3ccc7348965d9a1b2515080bde0
-EBUILD gprolog-1.5.0-r1.ebuild 1880 BLAKE2B 3fa688e5945119cc7f8d5b49297daa0d6e49cbcbbf83047a24082b8ae95b7cc380968f8cd0a8b2174207834eab618cf8f2130714618dba37f71a7c02712ba206 SHA512 dcefe6bb01791f1e427743b212c239611738cda6f17400966ee128120b4e41482757f966b6b817fe19b0fa69e3f92e52ee68a36e55f9dc0aa2210b1deb2c0796
+EBUILD gprolog-1.5.0-r1.ebuild 1875 BLAKE2B 42c63838795db150945a583a30d04e4f106ea2837078b91229c1f58d0869f524ee41d507913bb5507f6718b040260e41eb33caf896d0754a2a2cbf6405938a72 SHA512 94d3bdbed04e030f31dc85bc386659945461a7c2b4af985a30a1d266b5e413fbd3b3313bdbe5b85896e69eb2f01a60a27d7a9f8742cf4396154c069d3b2360c8
MISC metadata.xml 316 BLAKE2B 618fb8e9262c5a1761a107e6b1d79153b8275f6f50942693c29fc07635228292c08fefa6fce4618d0b6ada2fe3707904c95c39c027faee5645aa2fd94db1daf5 SHA512 b4514895fd49ab20e90bdade573a0bade67ebf59c1afe47747e2558fa5c309be0e0a94e4c8ba3abf140ee209f5582ab632a7258b21d09921222591b7ab2c77cb
diff --git a/dev-lang/gprolog/gprolog-1.4.5.ebuild b/dev-lang/gprolog/gprolog-1.4.5.ebuild
deleted file mode 100644
index 355d3940417f..000000000000
--- a/dev-lang/gprolog/gprolog-1.4.5.ebuild
+++ /dev/null
@@ -1,85 +0,0 @@
-# Copyright 1999-2021 Gentoo Authors
-# Distributed under the terms of the GNU General Public License v2
-
-EAPI=6
-
-inherit autotools flag-o-matic toolchain-funcs
-
-DESCRIPTION="A native Prolog compiler with constraint solving over finite domains (FD)"
-HOMEPAGE="http://www.gprolog.org/"
-SRC_URI="http://www.gprolog.org/${P}.tar.gz"
-S="${WORKDIR}"/${P}
-
-LICENSE="|| ( GPL-2+ LGPL-3+ )"
-SLOT="0"
-KEYWORDS="amd64 ppc x86 ~amd64-linux ~x86-linux ~ppc-macos"
-IUSE="debug doc examples"
-
-PATCHES=(
- "${FILESDIR}"/${P}-ldflags.patch
- "${FILESDIR}"/${P}-links.patch
- "${FILESDIR}"/${P}-nodocs.patch
- "${FILESDIR}"/${P}-txt-file.patch
- "${FILESDIR}"/${P}-check-boot.patch
- "${FILESDIR}"/${P}-llvm-as.patch
-)
-
-src_prepare() {
- default
-
- cd "${S}"/src
- eautoconf
-}
-
-src_configure() {
- CFLAGS_MACHINE="`get-flag -march` `get-flag -mcpu` `get-flag -mtune`"
-
- # Work around -fno-common (GCC 10 default), bug #71202
- append-flags -fcommon
-
- append-flags -fno-strict-aliasing
- use debug && append-flags -DDEBUG
-
- if tc-enables-pie; then
- # gplc generates its own native ASM; disable PIE
- append-ldflags -no-pie
- fi
-
- if tc-is-gcc && ! use x86; then
- gprolog_use_regs=yes
- else
- gprolog_use_regs=no
- fi
-
- cd "${S}"/src || die
- econf \
- CFLAGS_MACHINE="${CFLAGS_MACHINE}" \
- --with-c-flags="${CFLAGS}" \
- --with-install-dir="${EPREFIX}"/usr/$(get_libdir)/${P} \
- --with-links-dir="${EPREFIX}"/usr/bin \
- --enable-regs=${gprolog_use_regs} \
- $(use_with doc doc-dir "${EPREFIX}"/usr/share/doc/${PF}) \
- $(use_with doc html-dir "${EPREFIX}"/usr/share/doc/${PF}/html) \
- $(use_with examples examples-dir "${EPREFIX}"/usr/share/doc/${PF}/examples)
-}
-
-src_compile() {
- cd "${S}"/src || die
-
- # gprolog is compiled using gplc which cannot be run in parallel
- emake -j1
-}
-
-src_test() {
- cd "${S}"/src || die
-
- emake -j1 check
-}
-
-src_install() {
- cd "${S}"/src || die
- emake DESTDIR="${D}" install
-
- cd "${S}" || die
- dodoc ChangeLog NEWS PROBLEMS README
-}
diff --git a/dev-lang/gprolog/gprolog-1.5.0-r1.ebuild b/dev-lang/gprolog/gprolog-1.5.0-r1.ebuild
index 54de50f89002..9762d540b63f 100644
--- a/dev-lang/gprolog/gprolog-1.5.0-r1.ebuild
+++ b/dev-lang/gprolog/gprolog-1.5.0-r1.ebuild
@@ -12,7 +12,7 @@ S="${WORKDIR}"/${P}
LICENSE="|| ( GPL-2+ LGPL-3+ )"
SLOT="0"
-KEYWORDS="amd64 ~ppc x86 ~amd64-linux ~x86-linux ~ppc-macos"
+KEYWORDS="amd64 x86 ~amd64-linux ~x86-linux ~ppc-macos"
IUSE="debug doc examples"
PATCHES=(
diff --git a/dev-lang/xsb/Manifest b/dev-lang/xsb/Manifest
index 7e006e60c2f0..74b208b64e84 100644
--- a/dev-lang/xsb/Manifest
+++ b/dev-lang/xsb/Manifest
@@ -1,7 +1,8 @@
+AUX 0001-modern-C-fix-for-implicit-int.patch 998 BLAKE2B 4a9212fc68098914ac12593e2007c7444eb6d7b8f9461640ecc50c8c8c30631475c9e0663808df450b168d8156c346807454eb8795b11e43ac7f4abfa08475e0 SHA512 cb857bdd2bd496531c96a30fb2f4b84f894614adcaed7b6b4f809c3e9e256366e06218e0553c7c15af2b718653f2be3d2a45393849392650550c8d61a7b6bf60
DIST XSB-4-0-0.tar.gz 15340635 BLAKE2B 4832185a64c6c5786ae78e111c25cd3a5ffc2f80aec9c0c83f030ead482868c77b0d7abbfdf0d113b56fea395eb7e69ca2970a82ea70004fb78c0bf4de258a9d SHA512 fed1e0db4874db2508e0c1e716be20cbfbc4f7ed4c16e0b220750cfb3dfceb78bbdce0f8564b68c400af1bc2b8f9e3b35014e8849bba1705bddfab824f41e816
DIST XSB38.tar.gz 13830570 BLAKE2B 60a6ab38435348d09e2d08bc65ca62c06b38495b72f40a6f3f10fe8d23949bfed0c580c9be0c8304d8a88a53b227bb695870b558d67f33a47543de6c1529180f SHA512 457c691450afcf3ed4e2fffc28deaef0949ef4bbf6fd69b504acc6507fbb144f2c6e427a25da2b6346b15b82e803c02d1b6962af698d16c1fcb9a3d56160ea30
DIST xsb-3.8.0-gentoo-patchset-5.tar.gz 7748 BLAKE2B 291beb7a2bf567708119eb200e06fd0d6ac976b5eaea9646d9b5fe9fe67908e01f48b1e55e36fc98f7fe75ee4b654422bc0f9c565e00ac75fe36cccd0439bc2b SHA512 cd3762545bb0b0c5532607741f5946658cacf062c21913c8261988a2162ab848d860ae5a0d11d7a4b8b36994f7fbc91c6e6b4fa607e8cc6ebed434dbf421dec1
DIST xsb-4.0.0-gentoo-patchset-3.tar.gz 10487 BLAKE2B 37253b8e5bfd36cdf51f231e75215ea31d50f121e3c8b1126adfbc8998622f2a4ebdb976b3c67c13738095fd4b23b35e166a895c4ee038b1cae7ad962684ce86 SHA512 51738e5dd64711f42e5c8d831c955c533dbe900a129cc0e7eb5d393ef13d7b6206e5e9fc0e90b1422adb2d8c00ec870a50164d420a02da23770ba0ad3350b10b
EBUILD xsb-3.8.0.ebuild 3684 BLAKE2B f3cb8e31a72ba410cbd38ca3da137097bca0fa5bce2799d47b848a12c32dbd4918cbdc440df570833ff377b85c565ff8417d7d244a7421989508df4ae2c837a3 SHA512 bec9a89c10256988a9ab42ebd75ee25fab4acf0eb3cf08614e6644e6dee8c49e3d95c77095fcd31fbd017b3c53a337d30efa418a4129570b8d2c2268704d8250
-EBUILD xsb-4.0.0.ebuild 4193 BLAKE2B 6f8ca08d69f02672c62c42607cf6b8f3002211eab29df515a6b75f6dee1c19b1a956d1c9306e7440ca87eea531ed22fa0b718512f385f9e4751cf17d563aa11f SHA512 dc4751a7bf7c9cdcfd16f0a8a2055c068ec5220174aabdc50fe42088645cdcf02aa590edb01c0aa6bed1b2302b258111eb9342fd795668977859764c3a8731a6
+EBUILD xsb-4.0.0-r1.ebuild 4520 BLAKE2B a85b4ca2f2912984c0eeb173c578fc69698ef01f66399ccc062b23c55998d5bfa57a96eafed35e9913b52e0768bdfe332e49092964edf34742f5762bb90e38c9 SHA512 9f4ad90c5686f5b4c8a91ecad0a0abc3892d0e3ff8981d99e1aeaa594f8c9b3d5038592d6dc1ed15cab082f414f487240feebd61e1db83fbfa9decacc0a52488
MISC metadata.xml 407 BLAKE2B bf2a1312d435a5b31fcc0536849ded569d7512ec8e2e7471c253586bc866e7ffb915311725efeef8f2c7d227a82ba615a5fa69380454efb654e719177e35a67e SHA512 87aa031c2a64c878f24be293a3e4cdf391b696a7ef96faa4f209fcfeb56db74f29a1e3de7ad845f84eca86d8b81944ecae6e4ea1119699b72bfcf125735a0c03
diff --git a/dev-lang/xsb/files/0001-modern-C-fix-for-implicit-int.patch b/dev-lang/xsb/files/0001-modern-C-fix-for-implicit-int.patch
new file mode 100644
index 000000000000..d70019db4b5f
--- /dev/null
+++ b/dev-lang/xsb/files/0001-modern-C-fix-for-implicit-int.patch
@@ -0,0 +1,25 @@
+From 3dd24018e4f5c48c382588dd9d8da5b80056a55b Mon Sep 17 00:00:00 2001
+From: Eli Schwartz <eschwartz93@gmail.com>
+Date: Thu, 14 Mar 2024 20:28:31 -0400
+Subject: [PATCH] modern C fix for implicit-int
+
+---
+ build/configure.in | 2 +-
+ 1 file changed, 1 insertion(+), 1 deletion(-)
+
+diff --git a/build/configure.in b/build/configure.in
+index d51bfeb..6999565 100644
+--- a/build/configure.in
++++ b/build/configure.in
+@@ -1346,7 +1346,7 @@ LDFLAGS="-Wl,-export-dynamic"
+ AC_MSG_CHECKING([whether loader understands -Wl,-export-dynamic])
+ # Ideally we should use AC_LINK_IFELSE instead of the obsolete AC_TRY_LINK
+ #AC_TRY_LINK([],[], __export_dynamic=yes, __export_dynamic=no)
+-AC_LINK_IFELSE([AC_LANG_SOURCE([[main(){return 0;}]])], __export_dynamic=yes, __export_dynamic=no)
++AC_LINK_IFELSE([AC_LANG_SOURCE([[int main(){return 0;}]])], __export_dynamic=yes, __export_dynamic=no)
+ AC_MSG_RESULT($__export_dynamic)
+ LDFLAGS=$TEMP_LDFLAGS
+ ####### End of test for -export-dynamic option of ld
+--
+2.43.2
+
diff --git a/dev-lang/xsb/xsb-4.0.0.ebuild b/dev-lang/xsb/xsb-4.0.0-r1.ebuild
index 6739cc6695c0..bf99d5d3efb6 100644
--- a/dev-lang/xsb/xsb-4.0.0.ebuild
+++ b/dev-lang/xsb/xsb-4.0.0-r1.ebuild
@@ -1,14 +1,14 @@
# Copyright 1999-2024 Gentoo Authors
# Distributed under the terms of the GNU General Public License v2
-EAPI=7
+EAPI=8
PATCHSET_VER="3"
-inherit autotools java-pkg-opt-2
+inherit autotools flag-o-matic java-pkg-opt-2
DESCRIPTION="XSB is a logic programming and deductive database system"
-HOMEPAGE="http://xsb.sourceforge.net"
+HOMEPAGE="https://xsb.sourceforge.net"
SRC_URI="https://downloads.sourceforge.net/xsb/XSB-$(ver_rs 1-3 -).tar.gz
https://dev.gentoo.org/~keri/distfiles/xsb/${P}-gentoo-patchset-${PATCHSET_VER}.tar.gz"
@@ -30,7 +30,12 @@ DEPEND="${RDEPEND}"
S="${WORKDIR}"/XSB
-PATCHES=( "${WORKDIR}/${PV}" )
+PATCHES=(
+ "${WORKDIR}/${PV}"
+ # https://bugs.gentoo.org/870970
+ # https://sourceforge.net/p/xsb/bugs/265/
+ "${FILESDIR}"/0001-modern-C-fix-for-implicit-int.patch
+)
src_prepare() {
default
@@ -50,6 +55,12 @@ src_prepare() {
}
src_configure() {
+ # -Werror=strict-aliasing, -Werror=lto-type-mismatch
+ # https://bugs.gentoo.org/855659
+ # https://sourceforge.net/p/xsb/bugs/264/
+ append-flags -fno-strict-aliasing
+ filter-lto
+
cd "${S}"/build
econf \