* [gentoo-commits] repo/gentoo:master commit in: dev-lang/gprolog/
@ 2017-04-08 21:57 Patrice Clement
0 siblings, 0 replies; 16+ messages in thread
From: Patrice Clement @ 2017-04-08 21:57 UTC (permalink / raw
To: gentoo-commits
commit: 3b7db1118da815aace9e50ef0838f3bce7eb886e
Author: Harri Nieminen <moikkis <AT> gmail <DOT> com>
AuthorDate: Tue Apr 4 13:27:15 2017 +0000
Commit: Patrice Clement <monsieurp <AT> gentoo <DOT> org>
CommitDate: Sat Apr 8 21:52:20 2017 +0000
URL: https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=3b7db111
dev-lang/gprolog: fix toolong DESCRIPTION.
Package-Manager: Portage-2.3.5, Repoman-2.3.2
dev-lang/gprolog/gprolog-1.4.4.ebuild | 4 ++--
1 file changed, 2 insertions(+), 2 deletions(-)
diff --git a/dev-lang/gprolog/gprolog-1.4.4.ebuild b/dev-lang/gprolog/gprolog-1.4.4.ebuild
index e121637f98a..7116f2c8c4d 100644
--- a/dev-lang/gprolog/gprolog-1.4.4.ebuild
+++ b/dev-lang/gprolog/gprolog-1.4.4.ebuild
@@ -1,11 +1,11 @@
-# Copyright 1999-2013 Gentoo Foundation
+# Copyright 1999-2017 Gentoo Foundation
# Distributed under the terms of the GNU General Public License v2
EAPI=4
inherit eutils flag-o-matic multilib
-DESCRIPTION="GNU Prolog is a native Prolog compiler with constraint solving over finite domains (FD)"
+DESCRIPTION="A native Prolog compiler with constraint solving over finite domains (FD)"
HOMEPAGE="http://www.gprolog.org/"
SRC_URI="mirror://gnu/gprolog/${P}.tar.gz"
S="${WORKDIR}"/${P}
^ permalink raw reply related [flat|nested] 16+ messages in thread
* [gentoo-commits] repo/gentoo:master commit in: dev-lang/gprolog/
@ 2018-09-02 19:14 Keri Harris
0 siblings, 0 replies; 16+ messages in thread
From: Keri Harris @ 2018-09-02 19:14 UTC (permalink / raw
To: gentoo-commits
commit: e43856e49d6b4d4f49517423ae23560f12c19301
Author: Keri Harris <keri <AT> gentoo <DOT> org>
AuthorDate: Sun Sep 2 19:13:40 2018 +0000
Commit: Keri Harris <keri <AT> gentoo <DOT> org>
CommitDate: Sun Sep 2 19:14:23 2018 +0000
URL: https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=e43856e4
dev-lang/gprolog: enabled PL -> WAM compilation on x86
Package-Manager: Portage-2.3.40, Repoman-2.3.9
dev-lang/gprolog/gprolog-1.4.5.ebuild | 1 +
1 file changed, 1 insertion(+)
diff --git a/dev-lang/gprolog/gprolog-1.4.5.ebuild b/dev-lang/gprolog/gprolog-1.4.5.ebuild
index 8d202ff4101..55a9c9558bb 100644
--- a/dev-lang/gprolog/gprolog-1.4.5.ebuild
+++ b/dev-lang/gprolog/gprolog-1.4.5.ebuild
@@ -40,6 +40,7 @@ src_configure() {
--with-c-flags="${CFLAGS}" \
--with-install-dir="${EPREFIX}"/usr/$(get_libdir)/${P} \
--with-links-dir="${EPREFIX}"/usr/bin \
+ $(use_enable !x86 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)
^ permalink raw reply related [flat|nested] 16+ messages in thread
* [gentoo-commits] repo/gentoo:master commit in: dev-lang/gprolog/
@ 2018-09-03 11:36 Keri Harris
0 siblings, 0 replies; 16+ messages in thread
From: Keri Harris @ 2018-09-03 11:36 UTC (permalink / raw
To: gentoo-commits
commit: 5e188b0f18e9db395ae0e730ec25d14a8c4d18a7
Author: Keri Harris <keri <AT> gentoo <DOT> org>
AuthorDate: Mon Sep 3 11:36:17 2018 +0000
Commit: Keri Harris <keri <AT> gentoo <DOT> org>
CommitDate: Mon Sep 3 11:36:33 2018 +0000
URL: https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=5e188b0f
dev-lang/gprolog: disable PIE as gplc generates native ASM
Package-Manager: Portage-2.3.40, Repoman-2.3.9
dev-lang/gprolog/gprolog-1.4.5.ebuild | 5 +++++
1 file changed, 5 insertions(+)
diff --git a/dev-lang/gprolog/gprolog-1.4.5.ebuild b/dev-lang/gprolog/gprolog-1.4.5.ebuild
index 55a9c9558bb..7e7d7363ac9 100644
--- a/dev-lang/gprolog/gprolog-1.4.5.ebuild
+++ b/dev-lang/gprolog/gprolog-1.4.5.ebuild
@@ -34,6 +34,11 @@ src_configure() {
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
+
cd "${S}"/src
econf \
CFLAGS_MACHINE="${CFLAGS_MACHINE}" \
^ permalink raw reply related [flat|nested] 16+ messages in thread
* [gentoo-commits] repo/gentoo:master commit in: dev-lang/gprolog/
@ 2020-05-28 11:01 Keri Harris
0 siblings, 0 replies; 16+ messages in thread
From: Keri Harris @ 2020-05-28 11:01 UTC (permalink / raw
To: gentoo-commits
commit: f71d8e157973d0a0bf7e7534d6512c25103039fe
Author: Keri Harris <keri <AT> gentoo <DOT> org>
AuthorDate: Thu May 28 11:01:00 2020 +0000
Commit: Keri Harris <keri <AT> gentoo <DOT> org>
CommitDate: Thu May 28 11:01:22 2020 +0000
URL: https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=f71d8e15
dev-lang/gprolog: work around GCC10 (-fno-common) build failures
Package-Manager: Portage-2.3.99, Repoman-2.3.22
Signed-off-by: Keri Harris <keri <AT> gentoo.org>
dev-lang/gprolog/gprolog-1.4.5.ebuild | 3 +++
1 file changed, 3 insertions(+)
diff --git a/dev-lang/gprolog/gprolog-1.4.5.ebuild b/dev-lang/gprolog/gprolog-1.4.5.ebuild
index 0e9c8c97589..0a47ce2d34c 100644
--- a/dev-lang/gprolog/gprolog-1.4.5.ebuild
+++ b/dev-lang/gprolog/gprolog-1.4.5.ebuild
@@ -31,6 +31,9 @@ src_prepare() {
src_configure() {
CFLAGS_MACHINE="`get-flag -march` `get-flag -mcpu` `get-flag -mtune`"
+ # Work around -fno-common ( GCC10 default ), bug #71202
+ append-flags -fcommon
+
append-flags -fno-strict-aliasing
use debug && append-flags -DDEBUG
^ permalink raw reply related [flat|nested] 16+ messages in thread
* [gentoo-commits] repo/gentoo:master commit in: dev-lang/gprolog/
@ 2020-07-17 10:17 Keri Harris
0 siblings, 0 replies; 16+ messages in thread
From: Keri Harris @ 2020-07-17 10:17 UTC (permalink / raw
To: gentoo-commits
commit: 017204a626fe6fd33eaf7146d7fb82507ef969f0
Author: Keri Harris <keri <AT> gentoo <DOT> org>
AuthorDate: Fri Jul 17 10:16:34 2020 +0000
Commit: Keri Harris <keri <AT> gentoo <DOT> org>
CommitDate: Fri Jul 17 10:17:31 2020 +0000
URL: https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=017204a6
dev-lang/gprolog: fixed Prolog registers can only be used with GCC
Package-Manager: Portage-2.3.99, Repoman-2.3.22
Signed-off-by: Keri Harris <keri <AT> gentoo.org>
dev-lang/gprolog/gprolog-1.4.5.ebuild | 8 +++++++-
1 file changed, 7 insertions(+), 1 deletion(-)
diff --git a/dev-lang/gprolog/gprolog-1.4.5.ebuild b/dev-lang/gprolog/gprolog-1.4.5.ebuild
index 0a47ce2d34c..9ba2832a0da 100644
--- a/dev-lang/gprolog/gprolog-1.4.5.ebuild
+++ b/dev-lang/gprolog/gprolog-1.4.5.ebuild
@@ -42,13 +42,19 @@ src_configure() {
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
econf \
CFLAGS_MACHINE="${CFLAGS_MACHINE}" \
--with-c-flags="${CFLAGS}" \
--with-install-dir="${EPREFIX}"/usr/$(get_libdir)/${P} \
--with-links-dir="${EPREFIX}"/usr/bin \
- $(use_enable !x86 regs) \
+ --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)
^ permalink raw reply related [flat|nested] 16+ messages in thread
* [gentoo-commits] repo/gentoo:master commit in: dev-lang/gprolog/
@ 2020-07-20 18:08 Keri Harris
0 siblings, 0 replies; 16+ messages in thread
From: Keri Harris @ 2020-07-20 18:08 UTC (permalink / raw
To: gentoo-commits
commit: 5ee3351b25432e597bae4f14df92d65d216fc3ea
Author: Keri Harris <keri <AT> gentoo <DOT> org>
AuthorDate: Mon Jul 20 18:07:35 2020 +0000
Commit: Keri Harris <keri <AT> gentoo <DOT> org>
CommitDate: Mon Jul 20 18:07:35 2020 +0000
URL: https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=5ee3351b
dev-lang/gprolog: amd64, x86 stable. (Bug #733338)
Package-Manager: Portage-2.3.103, Repoman-2.3.22
Signed-off-by: Keri Harris <keri <AT> gentoo.org>
dev-lang/gprolog/gprolog-1.4.5.ebuild | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/dev-lang/gprolog/gprolog-1.4.5.ebuild b/dev-lang/gprolog/gprolog-1.4.5.ebuild
index 9ba2832a0da..44407d723f0 100644
--- a/dev-lang/gprolog/gprolog-1.4.5.ebuild
+++ b/dev-lang/gprolog/gprolog-1.4.5.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 ~x86-solaris"
+KEYWORDS="amd64 ~ppc x86 ~amd64-linux ~x86-linux ~ppc-macos ~x86-solaris"
IUSE="debug doc examples"
DEPEND=""
^ permalink raw reply related [flat|nested] 16+ messages in thread
* [gentoo-commits] repo/gentoo:master commit in: dev-lang/gprolog/
@ 2020-07-20 18:49 Sam James
0 siblings, 0 replies; 16+ messages in thread
From: Sam James @ 2020-07-20 18:49 UTC (permalink / raw
To: gentoo-commits
commit: 153c245ed519aeee3c4a2d78d9f8c71a845bce8f
Author: Sam James <sam <AT> gentoo <DOT> org>
AuthorDate: Mon Jul 20 18:49:03 2020 +0000
Commit: Sam James <sam <AT> gentoo <DOT> org>
CommitDate: Mon Jul 20 18:49:04 2020 +0000
URL: https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=153c245e
dev-lang/gprolog: ppc stable (bug #733338)
Package-Manager: Portage-2.3.103, Repoman-2.3.23
Signed-off-by: Sam James <sam <AT> gentoo.org>
dev-lang/gprolog/gprolog-1.4.5.ebuild | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/dev-lang/gprolog/gprolog-1.4.5.ebuild b/dev-lang/gprolog/gprolog-1.4.5.ebuild
index 44407d723f0..80e33c7e618 100644
--- a/dev-lang/gprolog/gprolog-1.4.5.ebuild
+++ b/dev-lang/gprolog/gprolog-1.4.5.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 ~x86-solaris"
+KEYWORDS="amd64 ppc x86 ~amd64-linux ~x86-linux ~ppc-macos ~x86-solaris"
IUSE="debug doc examples"
DEPEND=""
^ permalink raw reply related [flat|nested] 16+ messages in thread
* [gentoo-commits] repo/gentoo:master commit in: dev-lang/gprolog/
@ 2021-04-21 18:51 Sam James
0 siblings, 0 replies; 16+ messages in thread
From: Sam James @ 2021-04-21 18:51 UTC (permalink / raw
To: gentoo-commits
commit: 4eb645e6e68f8d3a31e290dd01ac8fb8a2e2d09c
Author: Sam James <sam <AT> gentoo <DOT> org>
AuthorDate: Wed Apr 21 09:14:30 2021 +0000
Commit: Sam James <sam <AT> gentoo <DOT> org>
CommitDate: Wed Apr 21 18:50:07 2021 +0000
URL: https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=4eb645e6
dev-lang/gprolog: drop epatch
Signed-off-by: Sam James <sam <AT> gentoo.org>
dev-lang/gprolog/gprolog-1.4.5.ebuild | 18 ++++++++----------
1 file changed, 8 insertions(+), 10 deletions(-)
diff --git a/dev-lang/gprolog/gprolog-1.4.5.ebuild b/dev-lang/gprolog/gprolog-1.4.5.ebuild
index 500e990fa48..5892e1fbf17 100644
--- a/dev-lang/gprolog/gprolog-1.4.5.ebuild
+++ b/dev-lang/gprolog/gprolog-1.4.5.ebuild
@@ -3,7 +3,7 @@
EAPI=6
-inherit epatch flag-o-matic toolchain-funcs
+inherit flag-o-matic toolchain-funcs
DESCRIPTION="A native Prolog compiler with constraint solving over finite domains (FD)"
HOMEPAGE="http://www.gprolog.org/"
@@ -15,15 +15,13 @@ SLOT="0"
KEYWORDS="amd64 ppc x86 ~amd64-linux ~x86-linux ~ppc-macos ~x86-solaris"
IUSE="debug doc examples"
-src_prepare() {
- epatch "${FILESDIR}"/${P}-ldflags.patch
- epatch "${FILESDIR}"/${P}-links.patch
- epatch "${FILESDIR}"/${P}-nodocs.patch
- epatch "${FILESDIR}"/${P}-txt-file.patch
- epatch "${FILESDIR}"/${P}-check-boot.patch
-
- eapply_user
-}
+PATCHES=(
+ "${FILESDIR}"/${P}-ldflags.patch
+ "${FILESDIR}"/${P}-links.patch
+ "${FILESDIR}"/${P}-nodocs.patch
+ "${FILESDIR}"/${P}-txt-file.patch
+ "${FILESDIR}"/${P}-check-boot.patch
+)
src_configure() {
CFLAGS_MACHINE="`get-flag -march` `get-flag -mcpu` `get-flag -mtune`"
^ permalink raw reply related [flat|nested] 16+ messages in thread
* [gentoo-commits] repo/gentoo:master commit in: dev-lang/gprolog/
@ 2024-03-11 22:53 Sam James
0 siblings, 0 replies; 16+ messages in thread
From: Sam James @ 2024-03-11 22:53 UTC (permalink / raw
To: gentoo-commits
commit: 56af840d83504d2047dbc220db1d7cc4e5f3bb0e
Author: Sam James <sam <AT> gentoo <DOT> org>
AuthorDate: Mon Mar 11 22:08:58 2024 +0000
Commit: Sam James <sam <AT> gentoo <DOT> org>
CommitDate: Mon Mar 11 22:53:13 2024 +0000
URL: https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=56af840d
dev-lang/gprolog: add github upstream metadata
Signed-off-by: Sam James <sam <AT> gentoo.org>
dev-lang/gprolog/metadata.xml | 3 +++
1 file changed, 3 insertions(+)
diff --git a/dev-lang/gprolog/metadata.xml b/dev-lang/gprolog/metadata.xml
index 7b573c773244..feaa047cb2f9 100644
--- a/dev-lang/gprolog/metadata.xml
+++ b/dev-lang/gprolog/metadata.xml
@@ -5,4 +5,7 @@
<email>prolog@gentoo.org</email>
<name>Prolog</name>
</maintainer>
+<upstream>
+ <remote-id type="github">didoudiaz/gprolog</remote-id>
+</upstream>
</pkgmetadata>
^ permalink raw reply related [flat|nested] 16+ messages in thread
* [gentoo-commits] repo/gentoo:master commit in: dev-lang/gprolog/
@ 2024-04-14 16:04 Arthur Zamarin
0 siblings, 0 replies; 16+ messages in thread
From: Arthur Zamarin @ 2024-04-14 16:04 UTC (permalink / raw
To: gentoo-commits
commit: b45d8bedc653828a0f72654a83fa7441b03622b9
Author: Michael Mair-Keimberger <mmk <AT> levelnine <DOT> at>
AuthorDate: Tue Mar 26 18:58:33 2024 +0000
Commit: Arthur Zamarin <arthurzam <AT> gentoo <DOT> org>
CommitDate: Sun Apr 14 16:02:38 2024 +0000
URL: https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=b45d8bed
dev-lang/gprolog: EAPI8 bump, minor improvements
Signed-off-by: Michael Mair-Keimberger <mmk <AT> levelnine.at>
Closes: https://github.com/gentoo/gentoo/pull/35933
Signed-off-by: Arthur Zamarin <arthurzam <AT> gentoo.org>
...prolog-1.5.0.ebuild => gprolog-1.5.0-r1.ebuild} | 30 ++++++++++++----------
1 file changed, 16 insertions(+), 14 deletions(-)
diff --git a/dev-lang/gprolog/gprolog-1.5.0.ebuild b/dev-lang/gprolog/gprolog-1.5.0-r1.ebuild
similarity index 70%
rename from dev-lang/gprolog/gprolog-1.5.0.ebuild
rename to dev-lang/gprolog/gprolog-1.5.0-r1.ebuild
index e5959b8c30f4..29233aa9547b 100644
--- a/dev-lang/gprolog/gprolog-1.5.0.ebuild
+++ b/dev-lang/gprolog/gprolog-1.5.0-r1.ebuild
@@ -1,11 +1,11 @@
-# Copyright 1999-2021 Gentoo Authors
+# Copyright 1999-2024 Gentoo Authors
# Distributed under the terms of the GNU General Public License v2
-EAPI=6
+EAPI=8
inherit autotools flag-o-matic toolchain-funcs
-DESCRIPTION="A native Prolog compiler with constraint solving over finite domains (FD)"
+DESCRIPTION="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}
@@ -25,12 +25,12 @@ PATCHES=(
src_prepare() {
default
- cd "${S}"/src
+ cd "${S}"/src || die
eautoconf
}
src_configure() {
- CFLAGS_MACHINE="`get-flag -march` `get-flag -mcpu` `get-flag -mtune`"
+ CFLAGS_MACHINE="$(get-flag -march) $(get-flag -mcpu) $(get-flag -mtune)"
use debug && append-flags -DDEBUG
@@ -52,16 +52,18 @@ src_configure() {
fi
cd "${S}"/src || die
- econf \
- AS="${AS}" \
- 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) \
+ local myeconfargs=(
+ AS="${AS}"
+ 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)
+ )
+ econf "${myeconfargs[@]}"
}
src_compile() {
^ permalink raw reply related [flat|nested] 16+ messages in thread
* [gentoo-commits] repo/gentoo:master commit in: dev-lang/gprolog/
@ 2024-05-15 10:31 Sam James
0 siblings, 0 replies; 16+ messages in thread
From: Sam James @ 2024-05-15 10:31 UTC (permalink / raw
To: gentoo-commits
commit: 143775d70cf89d456fa1f192df8fde430d899860
Author: Sam James <sam <AT> gentoo <DOT> org>
AuthorDate: Wed May 15 10:30:34 2024 +0000
Commit: Sam James <sam <AT> gentoo <DOT> org>
CommitDate: Wed May 15 10:30:34 2024 +0000
URL: https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=143775d7
dev-lang/gprolog: Stabilize 1.5.0-r1 amd64, #931919
Signed-off-by: Sam James <sam <AT> gentoo.org>
dev-lang/gprolog/gprolog-1.5.0-r1.ebuild | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/dev-lang/gprolog/gprolog-1.5.0-r1.ebuild b/dev-lang/gprolog/gprolog-1.5.0-r1.ebuild
index 29233aa9547b..0ba9a66d2815 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 ~ppc ~x86 ~amd64-linux ~x86-linux ~ppc-macos"
IUSE="debug doc examples"
PATCHES=(
^ permalink raw reply related [flat|nested] 16+ messages in thread
* [gentoo-commits] repo/gentoo:master commit in: dev-lang/gprolog/
@ 2024-05-15 12:06 Sam James
0 siblings, 0 replies; 16+ messages in thread
From: Sam James @ 2024-05-15 12:06 UTC (permalink / raw
To: gentoo-commits
commit: d4463ef9a135e770d6cf5c1be85f2c7e427c1738
Author: Sam James <sam <AT> gentoo <DOT> org>
AuthorDate: Wed May 15 12:05:40 2024 +0000
Commit: Sam James <sam <AT> gentoo <DOT> org>
CommitDate: Wed May 15 12:05:40 2024 +0000
URL: https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=d4463ef9
dev-lang/gprolog: Stabilize 1.5.0-r1 x86, #931919
Signed-off-by: Sam James <sam <AT> gentoo.org>
dev-lang/gprolog/gprolog-1.5.0-r1.ebuild | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/dev-lang/gprolog/gprolog-1.5.0-r1.ebuild b/dev-lang/gprolog/gprolog-1.5.0-r1.ebuild
index 0ba9a66d2815..54de50f89002 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 ~ppc x86 ~amd64-linux ~x86-linux ~ppc-macos"
IUSE="debug doc examples"
PATCHES=(
^ permalink raw reply related [flat|nested] 16+ messages in thread
* [gentoo-commits] repo/gentoo:master commit in: dev-lang/gprolog/
@ 2024-05-17 6:24 Arthur Zamarin
0 siblings, 0 replies; 16+ messages in thread
From: Arthur Zamarin @ 2024-05-17 6:24 UTC (permalink / raw
To: gentoo-commits
commit: fe5a0e5e1967c5962e24294189ba1045dab0a723
Author: Arthur Zamarin <arthurzam <AT> gentoo <DOT> org>
AuthorDate: Fri May 17 06:24:01 2024 +0000
Commit: Arthur Zamarin <arthurzam <AT> gentoo <DOT> org>
CommitDate: Fri May 17 06:24:01 2024 +0000
URL: https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=fe5a0e5e
dev-lang/gprolog: unkeyword ppc
Closes: https://bugs.gentoo.org/931919
Signed-off-by: Arthur Zamarin <arthurzam <AT> gentoo.org>
dev-lang/gprolog/gprolog-1.4.5.ebuild | 4 ++--
dev-lang/gprolog/gprolog-1.5.0-r1.ebuild | 2 +-
2 files changed, 3 insertions(+), 3 deletions(-)
diff --git a/dev-lang/gprolog/gprolog-1.4.5.ebuild b/dev-lang/gprolog/gprolog-1.4.5.ebuild
index 355d3940417f..c842dc66a4ea 100644
--- a/dev-lang/gprolog/gprolog-1.4.5.ebuild
+++ b/dev-lang/gprolog/gprolog-1.4.5.ebuild
@@ -1,4 +1,4 @@
-# Copyright 1999-2021 Gentoo Authors
+# Copyright 1999-2024 Gentoo Authors
# Distributed under the terms of the GNU General Public License v2
EAPI=6
@@ -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/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=(
^ permalink raw reply related [flat|nested] 16+ messages in thread
* [gentoo-commits] repo/gentoo:master commit in: dev-lang/gprolog/
@ 2024-05-17 6:24 Arthur Zamarin
0 siblings, 0 replies; 16+ messages in thread
From: Arthur Zamarin @ 2024-05-17 6:24 UTC (permalink / raw
To: gentoo-commits
commit: 6b199d5490c623ed16a62d5e19c1e6e11a0c6297
Author: Arthur Zamarin <arthurzam <AT> gentoo <DOT> org>
AuthorDate: Fri May 17 06:24:21 2024 +0000
Commit: Arthur Zamarin <arthurzam <AT> gentoo <DOT> org>
CommitDate: Fri May 17 06:24:25 2024 +0000
URL: https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=6b199d54
dev-lang/gprolog: drop 1.4.5, EAPI6--
Closes: https://bugs.gentoo.org/931919
Signed-off-by: Arthur Zamarin <arthurzam <AT> gentoo.org>
dev-lang/gprolog/Manifest | 1 -
dev-lang/gprolog/gprolog-1.4.5.ebuild | 85 -----------------------------------
2 files changed, 86 deletions(-)
diff --git a/dev-lang/gprolog/Manifest b/dev-lang/gprolog/Manifest
index c39f0b3c5d47..a1f25fe789db 100644
--- a/dev-lang/gprolog/Manifest
+++ b/dev-lang/gprolog/Manifest
@@ -1,2 +1 @@
-DIST gprolog-1.4.5.tar.gz 3587361 BLAKE2B c0c73ce249d7c26b914a3f831c6ac93aeb884bded6c5ebbe51223f0685de0be2e746533aade1633a953b93e88a30796fa52ecd5e609d05bc051363cbf34e0477 SHA512 425103bc9e5bdbdb4ae331f5be0cf49524fbdb4f5e2809fb973360de9e7ad9935c1b28f3603e0be696a647153d9f0d3dacdc87251098ac99faf7d0b3c652fc60
DIST gprolog-1.5.0.tar.gz 3813899 BLAKE2B e1d82393f122f37b1e139732c1b954b8a407feac4973b56c2e39dcf907424acca67bd10ea0e833ebbd6764a47b075911a29e05b51c37d3751a5d5fc751a08789 SHA512 7ef1a3555ffa58d3fb0db2b55ffc1d00868021f0f9f3d63dd1f43b5b833e6e00ecc74abfc0573828a3d53f20c134dffaf7fe79ab21b3e16dccfca8c73b5dfb8d
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 c842dc66a4ea..000000000000
--- a/dev-lang/gprolog/gprolog-1.4.5.ebuild
+++ /dev/null
@@ -1,85 +0,0 @@
-# Copyright 1999-2024 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 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
-}
^ permalink raw reply related [flat|nested] 16+ messages in thread
* [gentoo-commits] repo/gentoo:master commit in: dev-lang/gprolog/
@ 2024-09-05 4:08 Eli Schwartz
0 siblings, 0 replies; 16+ messages in thread
From: Eli Schwartz @ 2024-09-05 4:08 UTC (permalink / raw
To: gentoo-commits
commit: 628886ee3e4364da8e389ba12b7c980073c6d656
Author: Eli Schwartz <eschwartz <AT> gentoo <DOT> org>
AuthorDate: Tue Sep 3 22:21:43 2024 +0000
Commit: Eli Schwartz <eschwartz <AT> gentoo <DOT> org>
CommitDate: Thu Sep 5 04:07:44 2024 +0000
URL: https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=628886ee
dev-lang/gprolog: mark as LTO-unsafe
It is using global register variables, and there's a GCC bug that makes
this not work with LTO.
Closes: https://bugs.gentoo.org/855599
Signed-off-by: Eli Schwartz <eschwartz <AT> gentoo.org>
dev-lang/gprolog/gprolog-1.5.0-r1.ebuild | 5 +++++
1 file changed, 5 insertions(+)
diff --git a/dev-lang/gprolog/gprolog-1.5.0-r1.ebuild b/dev-lang/gprolog/gprolog-1.5.0-r1.ebuild
index bab7b4d79adb..cb842b4a31b1 100644
--- a/dev-lang/gprolog/gprolog-1.5.0-r1.ebuild
+++ b/dev-lang/gprolog/gprolog-1.5.0-r1.ebuild
@@ -32,6 +32,11 @@ src_prepare() {
}
src_configure() {
+ # src/EnginePl/wam_archi.h:64:33: error: global register variable follows a function definition
+ # https://bugs.gentoo.org/855599
+ # https://gcc.gnu.org/bugzilla/show_bug.cgi?id=68384
+ filter-lto
+
CFLAGS_MACHINE="$(get-flag -march) $(get-flag -mcpu) $(get-flag -mtune)"
use debug && append-flags -DDEBUG
^ permalink raw reply related [flat|nested] 16+ messages in thread
* [gentoo-commits] repo/gentoo:master commit in: dev-lang/gprolog/
@ 2024-09-05 4:08 Eli Schwartz
0 siblings, 0 replies; 16+ messages in thread
From: Eli Schwartz @ 2024-09-05 4:08 UTC (permalink / raw
To: gentoo-commits
commit: 6c0264a3a687cf3c7a640c0111b9cfcb9cb884cd
Author: Eli Schwartz <eschwartz <AT> gentoo <DOT> org>
AuthorDate: Tue Sep 3 22:16:05 2024 +0000
Commit: Eli Schwartz <eschwartz <AT> gentoo <DOT> org>
CommitDate: Thu Sep 5 04:07:44 2024 +0000
URL: https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=6c0264a3
dev-lang/gprolog: comment PATCHES to indicate where they are applied upstream
Signed-off-by: Eli Schwartz <eschwartz <AT> gentoo.org>
dev-lang/gprolog/gprolog-1.5.0-r1.ebuild | 2 ++
1 file changed, 2 insertions(+)
diff --git a/dev-lang/gprolog/gprolog-1.5.0-r1.ebuild b/dev-lang/gprolog/gprolog-1.5.0-r1.ebuild
index 9762d540b63f..bab7b4d79adb 100644
--- a/dev-lang/gprolog/gprolog-1.5.0-r1.ebuild
+++ b/dev-lang/gprolog/gprolog-1.5.0-r1.ebuild
@@ -16,9 +16,11 @@ KEYWORDS="amd64 x86 ~amd64-linux ~x86-linux ~ppc-macos"
IUSE="debug doc examples"
PATCHES=(
+ # https://github.com/didoudiaz/gprolog/commit/0ba64c81255e910d68be2191fd1e688801320db8
"${FILESDIR}"/${P}-ldflags.patch
"${FILESDIR}"/${P}-links.patch
"${FILESDIR}"/${P}-destdir.patch
+
"${FILESDIR}"/${P}-llvm-as.patch
)
^ permalink raw reply related [flat|nested] 16+ messages in thread
end of thread, other threads:[~2024-09-05 4:08 UTC | newest]
Thread overview: 16+ messages (download: mbox.gz follow: Atom feed
-- links below jump to the message on this page --
2024-05-15 12:06 [gentoo-commits] repo/gentoo:master commit in: dev-lang/gprolog/ Sam James
-- strict thread matches above, loose matches on Subject: below --
2024-09-05 4:08 Eli Schwartz
2024-09-05 4:08 Eli Schwartz
2024-05-17 6:24 Arthur Zamarin
2024-05-17 6:24 Arthur Zamarin
2024-05-15 10:31 Sam James
2024-04-14 16:04 Arthur Zamarin
2024-03-11 22:53 Sam James
2021-04-21 18:51 Sam James
2020-07-20 18:49 Sam James
2020-07-20 18:08 Keri Harris
2020-07-17 10:17 Keri Harris
2020-05-28 11:01 Keri Harris
2018-09-03 11:36 Keri Harris
2018-09-02 19:14 Keri Harris
2017-04-08 21:57 Patrice Clement
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox