Bug 836270

Summary:	sci-mathematics/twelf-1.7.1-r2 fails to compile
Product:	Gentoo Linux	Reporter:	Agostino Sarubbo <ago>
Component:	Current packages	Assignee:	Mark Wright <gienah>
Status:	RESOLVED FIXED
Severity:	normal	CC:	jouni.kosonen
Priority:	Normal
Version:	unspecified
Hardware:	All
OS:	Linux
See Also:	https://bugs.gentoo.org/show_bug.cgi?id=803296
Whiteboard:
Package list:		Runtime testing required:	---
Attachments:	build.log twelf-1.7.1-emacs-fix-old-style-backquotes-p4.patch

Description Agostino Sarubbo gentoo-dev

2022-03-27 13:08:12 UTC

https://blogs.gentoo.org/ago/2020/07/04/gentoo-tinderbox/

Issue: sci-mathematics/twelf-1.7.1-r2 fails to compile.
Discovered on: amd64 (internal ref: ci)

Comment 1 Agostino Sarubbo gentoo-dev

2022-03-27 13:08:15 UTC

Created attachment 767966 [details]
build.log

build log and emerge --info

Comment 2 Agostino Sarubbo gentoo-dev

2022-03-27 13:08:16 UTC

Error(s) that match a know pattern:


	echo; echo "Error: MLton >= 20041109 required";	echo;	\n

Comment 3 Jouni Kosonen 2022-03-28 02:11:33 UTC

/var/tmp/portage/sci-mathematics/twelf-1.7.1-r2/work/twelf/emacs /var/tmp/portage/sci-mathematics/twelf-1.7.1-r2/work/twelf
 * Emacs version: 27.2
 * Compiling GNU Emacs Elisp files ...

In toplevel form:
auc-menu.el:100:1:Error: Old-style backquotes detected!

Comment 4 Jouni Kosonen 2022-03-28 02:36:38 UTC

Created attachment 768038 [details, diff]
twelf-1.7.1-emacs-fix-old-style-backquotes-p4.patch

Changes the two uses of old-style backquotes following the pattern used in p1.patch and p2.patch, allows for successful compilation.

Looks like the p3.patch in the tree is faulty.

Comment 5 Larry the Git Cow gentoo-dev

2022-03-28 13:42:20 UTC

The bug has been closed via the following commit(s):

https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=6c2708dd89c8d5b69db1bb9d97d499705762076a

commit 6c2708dd89c8d5b69db1bb9d97d499705762076a
Author:     Mark Wright <gienah@gentoo.org>
AuthorDate: 2022-03-28 13:40:59 +0000
Commit:     Mark Wright <gienah@gentoo.org>
CommitDate: 2022-03-28 13:42:14 +0000

    sci-mathematics/twelf: Thanks to Jouni Kosonen for backquotes fix.
    
    Thanks to Agostino Sarubbo and Sam James for reporting and helping.
    Apply patch by Jouni Kosonen to fix old-style emacs backquotes.
    
    Closes: https://bugs.gentoo.org/836270
    Package-Manager: Portage-3.0.30, Repoman-3.0.3
    Signed-off-by: Mark Wright <gienah@gentoo.org>

 ...f-1.7.1-emacs-fix-old-style-backquotes-p3.patch | 23 ++++++++++++++++++----
 1 file changed, 19 insertions(+), 4 deletions(-)