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:
(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.