* [gentoo-commits] repo/gentoo:master commit in: sci-mathematics/twelf/
@ 2016-02-12 4:03 Vikraman Choudhury
0 siblings, 0 replies; 7+ messages in thread
From: Vikraman Choudhury @ 2016-02-12 4:03 UTC (permalink / raw
To: gentoo-commits
commit: aedff2b4225c052c353186a00494e4d3752c429d
Author: Vikraman Choudhury <vikraman <AT> gentoo <DOT> org>
AuthorDate: Fri Feb 12 04:02:54 2016 +0000
Commit: Vikraman Choudhury <vikraman <AT> gentoo <DOT> org>
CommitDate: Fri Feb 12 04:03:14 2016 +0000
URL: https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=aedff2b4
sci-mathematics/twelf: Fix typo
Package-Manager: portage-2.2.27
sci-mathematics/twelf/twelf-1.7.1.ebuild | 4 ++--
1 file changed, 2 insertions(+), 2 deletions(-)
diff --git a/sci-mathematics/twelf/twelf-1.7.1.ebuild b/sci-mathematics/twelf/twelf-1.7.1.ebuild
index e5e8a82..dde30a1 100644
--- a/sci-mathematics/twelf/twelf-1.7.1.ebuild
+++ b/sci-mathematics/twelf/twelf-1.7.1.ebuild
@@ -1,4 +1,4 @@
-# Copyright 1999-2015 Gentoo Foundation
+# Copyright 1999-2016 Gentoo Foundation
# Distributed under the terms of the GNU General Public License v2
# $Id$
@@ -45,7 +45,7 @@ PATCHES=(
)
src_prepare() {
- epatch ${PYTCHES[@]}
+ epatch ${PATCHES[@]}
sed \
-e "s@/usr/bin@${ROOT}usr/bin@g" \
-e "s@/usr/share@${ROOT}usr/share@" \
^ permalink raw reply related [flat|nested] 7+ messages in thread* [gentoo-commits] repo/gentoo:master commit in: sci-mathematics/twelf/
@ 2016-02-12 4:28 Vikraman Choudhury
0 siblings, 0 replies; 7+ messages in thread
From: Vikraman Choudhury @ 2016-02-12 4:28 UTC (permalink / raw
To: gentoo-commits
commit: a33c7189a6d16afe8237df197f753c84cb9f3bf3
Author: Vikraman Choudhury <vikraman <AT> gentoo <DOT> org>
AuthorDate: Fri Feb 12 04:27:56 2016 +0000
Commit: Vikraman Choudhury <vikraman <AT> gentoo <DOT> org>
CommitDate: Fri Feb 12 04:27:56 2016 +0000
URL: https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=a33c7189
sci-mathematics/twelf: Fix doc generation
app-text/texi2html is necessary for doc generation.
Package-Manager: portage-2.2.27
sci-mathematics/twelf/twelf-1.7.1.ebuild | 1 +
1 file changed, 1 insertion(+)
diff --git a/sci-mathematics/twelf/twelf-1.7.1.ebuild b/sci-mathematics/twelf/twelf-1.7.1.ebuild
index dde30a1..7a097dd 100644
--- a/sci-mathematics/twelf/twelf-1.7.1.ebuild
+++ b/sci-mathematics/twelf/twelf-1.7.1.ebuild
@@ -25,6 +25,7 @@ RDEPEND="
dev-lang/mlton
doc? (
virtual/latex-base
+ app-text/texi2html
)
emacs? (
virtual/emacs
^ permalink raw reply related [flat|nested] 7+ messages in thread
* [gentoo-commits] repo/gentoo:master commit in: sci-mathematics/twelf/
@ 2019-12-20 22:49 Ulrich Müller
0 siblings, 0 replies; 7+ messages in thread
From: Ulrich Müller @ 2019-12-20 22:49 UTC (permalink / raw
To: gentoo-commits
commit: 7123dfea220bfbc96226df6883217023f2bfaa19
Author: Ulrich Müller <ulm <AT> gentoo <DOT> org>
AuthorDate: Fri Dec 20 16:30:57 2019 +0000
Commit: Ulrich Müller <ulm <AT> gentoo <DOT> org>
CommitDate: Fri Dec 20 22:48:52 2019 +0000
URL: https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=7123dfea
sci-mathematics/twelf: Update virtual/emacs dependency.
The virtual is deprecated, depend on app-editors/emacs instead.
Package-Manager: Portage-2.3.82, Repoman-2.3.20
Signed-off-by: Ulrich Müller <ulm <AT> gentoo.org>
sci-mathematics/twelf/twelf-1.7.1-r1.ebuild | 4 ++--
sci-mathematics/twelf/twelf-1.7.1.ebuild | 4 ++--
2 files changed, 4 insertions(+), 4 deletions(-)
diff --git a/sci-mathematics/twelf/twelf-1.7.1-r1.ebuild b/sci-mathematics/twelf/twelf-1.7.1-r1.ebuild
index 56b41fcc37e..21d5f0f5a01 100644
--- a/sci-mathematics/twelf/twelf-1.7.1-r1.ebuild
+++ b/sci-mathematics/twelf/twelf-1.7.1-r1.ebuild
@@ -1,4 +1,4 @@
-# Copyright 1999-2018 Gentoo Foundation
+# Copyright 1999-2019 Gentoo Authors
# Distributed under the terms of the GNU General Public License v2
EAPI="6"
@@ -27,7 +27,7 @@ RDEPEND="
app-text/texi2html
)
emacs? (
- virtual/emacs
+ >=app-editors/emacs-23.1:*
)"
DEPEND="${RDEPEND}"
diff --git a/sci-mathematics/twelf/twelf-1.7.1.ebuild b/sci-mathematics/twelf/twelf-1.7.1.ebuild
index f9334067c38..9506fdd8254 100644
--- a/sci-mathematics/twelf/twelf-1.7.1.ebuild
+++ b/sci-mathematics/twelf/twelf-1.7.1.ebuild
@@ -1,4 +1,4 @@
-# Copyright 1999-2018 Gentoo Foundation
+# Copyright 1999-2019 Gentoo Authors
# Distributed under the terms of the GNU General Public License v2
EAPI="5"
@@ -27,7 +27,7 @@ RDEPEND="
app-text/texi2html
)
emacs? (
- virtual/emacs
+ >=app-editors/emacs-23.1:*
)"
DEPEND="${RDEPEND}"
^ permalink raw reply related [flat|nested] 7+ messages in thread* [gentoo-commits] repo/gentoo:master commit in: sci-mathematics/twelf/
@ 2024-09-10 1:37 Eli Schwartz
0 siblings, 0 replies; 7+ messages in thread
From: Eli Schwartz @ 2024-09-10 1:37 UTC (permalink / raw
To: gentoo-commits
commit: e25ea15a06d31bdb46c3c5f6911b71d359547ca0
Author: Eli Schwartz <eschwartz <AT> gentoo <DOT> org>
AuthorDate: Mon Sep 9 03:50:20 2024 +0000
Commit: Eli Schwartz <eschwartz <AT> gentoo <DOT> org>
CommitDate: Tue Sep 10 01:04:12 2024 +0000
URL: https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=e25ea15a
sci-mathematics/twelf: update HOMEPAGE for https
Signed-off-by: Eli Schwartz <eschwartz <AT> gentoo.org>
sci-mathematics/twelf/twelf-1.7.1-r2.ebuild | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/sci-mathematics/twelf/twelf-1.7.1-r2.ebuild b/sci-mathematics/twelf/twelf-1.7.1-r2.ebuild
index c48262362df0..9e6c45a37143 100644
--- a/sci-mathematics/twelf/twelf-1.7.1-r2.ebuild
+++ b/sci-mathematics/twelf/twelf-1.7.1-r2.ebuild
@@ -9,7 +9,7 @@ MY_PN="${PN}-src"
MY_P="${MY_PN}-${PV}"
DESCRIPTION="Implementation of the logical framework LF"
-HOMEPAGE="http://twelf.org/"
+HOMEPAGE="https://twelf.org/"
SRC_URI="https://github.com/standardml/twelf/releases/download/v${PV}/${MY_P}.tar.gz"
SLOT="0/${PV}"
^ permalink raw reply related [flat|nested] 7+ messages in thread* [gentoo-commits] repo/gentoo:master commit in: sci-mathematics/twelf/
@ 2024-09-10 1:37 Eli Schwartz
0 siblings, 0 replies; 7+ messages in thread
From: Eli Schwartz @ 2024-09-10 1:37 UTC (permalink / raw
To: gentoo-commits
commit: 8e94639e5ffafde0a8295cc2f067e127cf00382c
Author: Eli Schwartz <eschwartz <AT> gentoo <DOT> org>
AuthorDate: Mon Sep 9 03:47:51 2024 +0000
Commit: Eli Schwartz <eschwartz <AT> gentoo <DOT> org>
CommitDate: Tue Sep 10 01:04:11 2024 +0000
URL: https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=8e94639e
sci-mathematics/twelf: add github upstream metadata
Signed-off-by: Eli Schwartz <eschwartz <AT> gentoo.org>
sci-mathematics/twelf/metadata.xml | 3 +++
1 file changed, 3 insertions(+)
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>
^ permalink raw reply related [flat|nested] 7+ messages in thread
* [gentoo-commits] repo/gentoo:master commit in: sci-mathematics/twelf/
@ 2024-09-10 1:37 Eli Schwartz
0 siblings, 0 replies; 7+ messages in thread
From: Eli Schwartz @ 2024-09-10 1:37 UTC (permalink / raw
To: gentoo-commits
commit: aab934cfba1de70740564c36ddf809e4c6e105b2
Author: Eli Schwartz <eschwartz <AT> gentoo <DOT> org>
AuthorDate: Mon Sep 9 03:48:57 2024 +0000
Commit: Eli Schwartz <eschwartz <AT> gentoo <DOT> org>
CommitDate: Tue Sep 10 01:04:11 2024 +0000
URL: https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=aab934cf
sci-mathematics/twelf: update SRC_URI to new mirror
The old download site is gone now. The download page points to github
now, which in turn says:
> This is a placeholder release to hold the final source distribution
> tarball, linux distribution tarball, and osx dmg for Twelf 1.7.1 as
> originally hosted on twelf.org.
Checksums match. :)
Signed-off-by: Eli Schwartz <eschwartz <AT> gentoo.org>
sci-mathematics/twelf/twelf-1.7.1-r2.ebuild | 4 ++--
1 file changed, 2 insertions(+), 2 deletions(-)
diff --git a/sci-mathematics/twelf/twelf-1.7.1-r2.ebuild b/sci-mathematics/twelf/twelf-1.7.1-r2.ebuild
index 0a7237065277..c48262362df0 100644
--- a/sci-mathematics/twelf/twelf-1.7.1-r2.ebuild
+++ b/sci-mathematics/twelf/twelf-1.7.1-r2.ebuild
@@ -1,4 +1,4 @@
-# Copyright 1999-2022 Gentoo Authors
+# Copyright 1999-2024 Gentoo Authors
# Distributed under the terms of the GNU General Public License v2
EAPI="8"
@@ -10,7 +10,7 @@ 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"
+SRC_URI="https://github.com/standardml/twelf/releases/download/v${PV}/${MY_P}.tar.gz"
SLOT="0/${PV}"
KEYWORDS="~amd64 ~x86"
^ permalink raw reply related [flat|nested] 7+ messages in thread* [gentoo-commits] repo/gentoo:master commit in: sci-mathematics/twelf/
@ 2024-09-10 1:37 Eli Schwartz
0 siblings, 0 replies; 7+ messages in thread
From: Eli Schwartz @ 2024-09-10 1:37 UTC (permalink / raw
To: gentoo-commits
commit: 9709c3e5dd9a4fe6d398f8c1cfbf48b649efd440
Author: Eli Schwartz <eschwartz <AT> gentoo <DOT> org>
AuthorDate: Mon Sep 9 03:58:21 2024 +0000
Commit: Eli Schwartz <eschwartz <AT> gentoo <DOT> org>
CommitDate: Tue Sep 10 01:04:12 2024 +0000
URL: https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=9709c3e5
sci-mathematics/twelf: mark as LTO-unsafe
Per the contributing guideline:
> Twelf, the software, is not under active development, and changes to
> the code of Twelf are unlikely to be accepted unless you’re working with
> Twelf’s original authors, Frank Pfenning and Carsten Schürmann.
Getting this fixed is unlikely to happen, so all that's left is
filtering.
Closes: https://bugs.gentoo.org/863266
Signed-off-by: Eli Schwartz <eschwartz <AT> gentoo.org>
sci-mathematics/twelf/twelf-1.7.1-r2.ebuild | 8 +++++++-
1 file changed, 7 insertions(+), 1 deletion(-)
diff --git a/sci-mathematics/twelf/twelf-1.7.1-r2.ebuild b/sci-mathematics/twelf/twelf-1.7.1-r2.ebuild
index 9e6c45a37143..1fc16b00baa4 100644
--- a/sci-mathematics/twelf/twelf-1.7.1-r2.ebuild
+++ b/sci-mathematics/twelf/twelf-1.7.1-r2.ebuild
@@ -3,7 +3,7 @@
EAPI="8"
-inherit elisp-common
+inherit elisp-common flag-o-matic
MY_PN="${PN}-src"
MY_P="${MY_PN}-${PV}"
@@ -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"
^ permalink raw reply related [flat|nested] 7+ messages in thread
end of thread, other threads:[~2024-09-10 1:37 UTC | newest]
Thread overview: 7+ messages (download: mbox.gz follow: Atom feed
-- links below jump to the message on this page --
2016-02-12 4:03 [gentoo-commits] repo/gentoo:master commit in: sci-mathematics/twelf/ Vikraman Choudhury
-- strict thread matches above, loose matches on Subject: below --
2016-02-12 4:28 Vikraman Choudhury
2019-12-20 22:49 Ulrich Müller
2024-09-10 1:37 Eli Schwartz
2024-09-10 1:37 Eli Schwartz
2024-09-10 1:37 Eli Schwartz
2024-09-10 1:37 Eli Schwartz
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox