Gentoo Websites Logo
Go to: Gentoo Home Documentation Forums Lists Bugs Planet Store Wiki Get Gentoo!
Bug 713178 - dev-lang/polyml-5.8 : <snip> Segmentation fault | ../../poly -q -error-exit
Summary: dev-lang/polyml-5.8 : <snip> Segmentation fault | ../../poly -q -error-exit
Status: RESOLVED OBSOLETE
Alias: None
Product: Gentoo Linux
Classification: Unclassified
Component: Current packages (show other bugs)
Hardware: All Linux
: Normal normal
Assignee: Gentoo musl team
URL:
Whiteboard:
Keywords:
Depends on:
Blocks:
 
Reported: 2020-03-18 09:01 UTC by Toralf Förster
Modified: 2024-10-13 14:36 UTC (History)
3 users (show)

See Also:
Package list:
Runtime testing required: ---


Attachments
emerge-info.txt (emerge-info.txt,15.93 KB, text/plain)
2020-03-18 09:01 UTC, Toralf Förster
Details
dev-lang:polyml-5.8:20200318-043831.log (dev-lang:polyml-5.8:20200318-043831.log,71.70 KB, text/plain)
2020-03-18 09:01 UTC, Toralf Förster
Details
emerge-history.txt (emerge-history.txt,69.91 KB, text/plain)
2020-03-18 09:01 UTC, Toralf Förster
Details
environment (environment,61.74 KB, text/plain)
2020-03-18 09:01 UTC, Toralf Förster
Details
etc.portage.tbz2 (etc.portage.tbz2,11.74 KB, application/x-bzip)
2020-03-18 09:01 UTC, Toralf Förster
Details
logs.tbz2 (logs.tbz2,22.08 KB, application/x-bzip)
2020-03-18 09:01 UTC, Toralf Förster
Details
temp.tbz2 (temp.tbz2,25.92 KB, application/x-bzip)
2020-03-18 09:01 UTC, Toralf Förster
Details

Note You need to log in before you can comment on or make changes to this bug.
Description Toralf Förster gentoo-dev 2020-03-18 09:01:05 UTC
echo use \./ROOT.sml\; | ../../poly -q -error-exit
/bin/sh: line 1: 23836 Done                    echo use \./ROOT.sml\;
     23837 Segmentation fault      | ../../poly -q -error-exit
make[3]: *** [Makefile:479: IntInfAsInt] Error 139
make[3]: Leaving directory /var/tmp/portage/dev-lang/polyml-5.8/work/polyml-5.8/modules/IntInfAsInt
make[2]: *** [Makefile:377: all-recursive] Error 1

  -------------------------------------------------------------------

  This is an unstable amd64 chroot image at a tinderbox (==build bot)
  name: 17.0_musl-20200316-165821

  -------------------------------------------------------------------

gcc-config -l:
 [1] x86_64-gentoo-linux-musl-9.3.0 *
clang version 10.0.0 
Target: x86_64-gentoo-linux-musl
Thread model: posix
InstalledDir: /usr/lib/llvm/10/bin
/usr/lib/llvm/10
10.0.0
Available Python interpreters, in order of preference:
  [1]   python3.8
  [2]   python3.7
  [3]   python3.6
  [4]   python2.7 (fallback)
Available Ruby profiles:
  [1]   ruby24 (with Rubygems)
  [2]   ruby25 (with Rubygems) *

repository:
==> /var/db/repos/gentoo/metadata/timestamp.chk <==
Wed, 18 Mar 2020 03:39:31 +0000
emerge -qpvO dev-lang/polyml
[ebuild  N    ] dev-lang/polyml-5.8  USE="gmp threads -X -portable -test"
Comment 1 Toralf Förster gentoo-dev 2020-03-18 09:01:08 UTC
Created attachment 621524 [details]
emerge-info.txt
Comment 2 Toralf Förster gentoo-dev 2020-03-18 09:01:11 UTC
Created attachment 621526 [details]
dev-lang:polyml-5.8:20200318-043831.log
Comment 3 Toralf Förster gentoo-dev 2020-03-18 09:01:14 UTC
Created attachment 621528 [details]
emerge-history.txt
Comment 4 Toralf Förster gentoo-dev 2020-03-18 09:01:17 UTC
Created attachment 621530 [details]
environment
Comment 5 Toralf Förster gentoo-dev 2020-03-18 09:01:20 UTC
Created attachment 621532 [details]
etc.portage.tbz2
Comment 6 Toralf Förster gentoo-dev 2020-03-18 09:01:23 UTC
Created attachment 621534 [details]
logs.tbz2
Comment 7 Toralf Förster gentoo-dev 2020-03-18 09:01:26 UTC
Created attachment 621536 [details]
temp.tbz2
Comment 8 Tupone Alfredo gentoo-dev 2024-10-13 07:09:28 UTC
Do you mind retesting it.
SIGSEGV could be a local problem