NetBSD Problem Report #55569

From dholland@netbsd.org  Fri Aug 14 00:43:40 2020
Return-Path: <dholland@netbsd.org>
Received: from mail.netbsd.org (mail.netbsd.org [199.233.217.200])
	(using TLSv1.2 with cipher ECDHE-RSA-AES256-GCM-SHA384 (256/256 bits))
	(Client CN "mail.NetBSD.org", Issuer "mail.NetBSD.org CA" (not verified))
	by mollari.NetBSD.org (Postfix) with ESMTPS id E5E841A9239
	for <gnats-bugs@gnats.NetBSD.org>; Fri, 14 Aug 2020 00:43:40 +0000 (UTC)
Message-Id: <20200814004340.A8B4384D7A@mail.netbsd.org>
Date: Fri, 14 Aug 2020 00:43:40 +0000 (UTC)
From: dholland@NetBSD.org
Reply-To: dholland@NetBSD.org
To: gnats-bugs@NetBSD.org
Subject: lang/polyml does not build (or work)
X-Send-Pr-Version: 3.95

>Number:         55569
>Category:       pkg
>Synopsis:       lang/polyml does not build (or work)
>Confidential:   no
>Severity:       critical
>Priority:       medium
>Responsible:    jaapb
>State:          closed
>Class:          sw-bug
>Submitter-Id:   net
>Arrival-Date:   Fri Aug 14 00:45:01 +0000 2020
>Closed-Date:    Fri Jul 09 01:47:50 +0000 2021
>Last-Modified:  Fri Jul 09 01:47:50 +0000 2021
>Originator:     David A. Holland
>Release:        NetBSD 8.99.25 (20181103)
>Organization:
>Environment:
System: NetBSD valkyrie 8.99.25 NetBSD 8.99.25 (VALKYRIE) #28: Thu Jan 17 20:46:50 EST 2019  dholland@valkyrie:/usr/src/sys/arch/amd64/compile/VALKYRIE amd64
Architecture: x86_64
Machine: amd64
>Description:

lang/polyml fails when built on netbsd amd64.

I have committed two fixes today; after those the next behavior is
(during the build)

Making all in modules
--- all-recursive ---
Making all in IntInfAsInt
--- IntInfAsInt ---
echo "use \"./ROOT.sml\";" | ../../poly -q -error-exit

which ran for 30 minutes before I killed it.

I have marked it NOT_FOR_BULK_PLATFORM= *-*-* until this is at least
understood, since looping is much more problematic than merely failing.

>How-To-Repeat:

bmake

>Fix:

No idea.

>Release-Note:

>Audit-Trail:
From: "David A. Holland" <dholland@netbsd.org>
To: gnats-bugs@gnats.NetBSD.org
Cc: 
Subject: PR/55569 CVS commit: pkgsrc/lang/polyml
Date: Fri, 14 Aug 2020 00:47:10 +0000

 Module Name:	pkgsrc
 Committed By:	dholland
 Date:		Fri Aug 14 00:47:10 UTC 2020

 Modified Files:
 	pkgsrc/lang/polyml: Makefile

 Log Message:
 In light of PR 55569, mark lang/polyml NOT_FOR_BULK_PLATFORM *-*-*.

 (It loops during the build, at least on amd64 netbsd. It hasn't
 apparently been compilable at all in some time, so this should not
 make it any less available.)


 To generate a diff of this commit:
 cvs rdiff -u -r1.23 -r1.24 pkgsrc/lang/polyml/Makefile

 Please note that diffs are not public domain; they are subject to the
 copyright notices on the relevant files.

From: "Jaap Boender" <jaapb@netbsd.org>
To: gnats-bugs@gnats.NetBSD.org
Cc: 
Subject: PR/55569 CVS commit: pkgsrc/lang/polyml
Date: Fri, 5 Mar 2021 09:19:58 +0000

 Module Name:	pkgsrc
 Committed By:	jaapb
 Date:		Fri Mar  5 09:19:58 UTC 2021

 Modified Files:
 	pkgsrc/lang/polyml: Makefile buildlink3.mk distinfo
 	pkgsrc/lang/polyml/patches: patch-Makefile.in
 Removed Files:
 	pkgsrc/lang/polyml/patches: patch-libpolyml_polyffi.cpp
 	    patch-modules_IntInfAsInt_Makefile.in

 Log Message:
 Updated lang/polyml to 5.8.1.

 Changes since last version: an option to create a version that supports
 32-bit values for the X86/64 platform with a heap size of up to 16Gb.

 Otherwise, minor bugfixes and changes.

 The package has also been updated to remove some superfluous patches that
 have been moved upstream and fix a build problem reported in PR pkg/55569


 To generate a diff of this commit:
 cvs rdiff -u -r1.24 -r1.25 pkgsrc/lang/polyml/Makefile
 cvs rdiff -u -r1.1 -r1.2 pkgsrc/lang/polyml/buildlink3.mk
 cvs rdiff -u -r1.16 -r1.17 pkgsrc/lang/polyml/distinfo
 cvs rdiff -u -r1.1 -r1.2 pkgsrc/lang/polyml/patches/patch-Makefile.in
 cvs rdiff -u -r1.1 -r0 pkgsrc/lang/polyml/patches/patch-libpolyml_polyffi.cpp \
     pkgsrc/lang/polyml/patches/patch-modules_IntInfAsInt_Makefile.in

 Please note that diffs are not public domain; they are subject to the
 copyright notices on the relevant files.

Responsible-Changed-From-To: pkg-manager->jaapb
Responsible-Changed-By: jaapb@NetBSD.org
Responsible-Changed-When: Fri, 05 Mar 2021 09:23:28 +0000
Responsible-Changed-Why:
I'll take it.


State-Changed-From-To: open->feedback
State-Changed-By: jaapb@NetBSD.org
State-Changed-When: Fri, 05 Mar 2021 09:23:28 +0000
State-Changed-Why:
Fix suggested, waiting for feedback from submitter.


From: Jaap Boender <jaapb@kerguelen.org>
To: gnats-bugs@netbsd.org
Cc: 
Subject: Re: pkg/55569
Date: Fri, 05 Mar 2021 10:20:52 +0100

 The problem here is that the Poly/ML compiler is not ASLR or MPROTECT-safe; 
 this is taken care of in the Makefile, but the compiler that is used for 
 bootstrapping doesn't have the relevant flags attended. I've just committed an 
 update to pkgsrc that updates to 5.8.1 and adds the relevant paxctl command 
 into Makefile.in.


State-Changed-From-To: feedback->closed
State-Changed-By: dholland@NetBSD.org
State-Changed-When: Fri, 09 Jul 2021 01:47:50 +0000
State-Changed-Why:
fixed, thanks


>Unformatted:

NetBSD Home
NetBSD PR Database Search

(Contact us) $NetBSD: query-full-pr,v 1.46 2020/01/03 16:35:01 leot Exp $
$NetBSD: gnats_config.sh,v 1.9 2014/08/02 14:16:04 spz Exp $
Copyright © 1994-2020 The NetBSD Foundation, Inc. ALL RIGHTS RESERVED.