Bug 689918

Summary:	sci-mathematics/cvc4-1.7 : sandbox issue
Product:	Gentoo Linux	Reporter:	Toralf Förster <toralf>
Component:	Current packages	Assignee:	Tupone Alfredo <tupone>
Status:	RESOLVED FIXED
Severity:	normal
Priority:	Normal
Version:	unspecified
Hardware:	All
OS:	Linux
Whiteboard:
Package list:		Runtime testing required:	---
Attachments:	emerge-info.txt CMakeCache.txt emerge-history.txt etc.portage.tbz2 logs.tbz2 sandbox-4.log sci-mathematics:cvc4-1.7:20190714-223544.log

Description Toralf Förster gentoo-dev

2019-07-15 18:19:48 UTC

VERSION 1.0
FORMAT: F - Function called
FORMAT: S - Access Status
FORMAT: P - Path as passed to function
FORMAT: A - Absolute Path (not canonical)
FORMAT: R - Canonical Path
FORMAT: C - Command Line

F: mkostemp
S: deny

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

  This is an unstable amd64 chroot image at a tinderbox (==build bot)
  name: 17.1_desktop-libressl-20190710-213827

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

gcc-config -l:
 [1] x86_64-pc-linux-gnu-9.1.0 *

Available Python interpreters, in order of preference:
  [1]   python3.6
  [2]   python2.7 (fallback)
Available Ruby profiles:
  [1]   ruby24 (with Rubygems) *
Available Rust versions:
  [1]   rust-1.36.0 *
java-config:
The following VMs are available for generation-2:
*)	IcedTea JDK 3.12.0 [icedtea-bin-8]
2)	JamVM JDK 2.0.0 [jamvm]
Available Java Virtual Machines:
  [1]   icedtea-bin-8  system-vm
  [2]   jamvm 

emerge -qpvO sci-mathematics/cvc4
[ebuild     U ] sci-mathematics/cvc4-1.7 [1.6] USE="cln"

Comment 1 Toralf Förster gentoo-dev

2019-07-15 18:19:50 UTC

Created attachment 582902 [details]
emerge-info.txt

Comment 2 Toralf Förster gentoo-dev

2019-07-15 18:19:53 UTC

Created attachment 582904 [details]
CMakeCache.txt

Comment 3 Toralf Förster gentoo-dev

2019-07-15 18:19:56 UTC

Created attachment 582906 [details]
emerge-history.txt

Comment 4 Toralf Förster gentoo-dev

2019-07-15 18:19:59 UTC

Created attachment 582908 [details]
etc.portage.tbz2

Comment 5 Toralf Förster gentoo-dev

2019-07-15 18:20:01 UTC

Created attachment 582910 [details]
logs.tbz2

Comment 6 Toralf Förster gentoo-dev

2019-07-15 18:20:04 UTC

Created attachment 582912 [details]
sandbox-4.log

Comment 7 Toralf Förster gentoo-dev

2019-07-15 18:20:07 UTC

Created attachment 582914 [details]
sci-mathematics:cvc4-1.7:20190714-223544.log

Comment 8 Larry the Git Cow gentoo-dev

2019-07-18 10:28:25 UTC

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

https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=91f593d0b2dceda3acb4035fe50172cccc6f290e

commit 91f593d0b2dceda3acb4035fe50172cccc6f290e
Author:     Tupone Alfredo <tupone@gentoo.org>
AuthorDate: 2019-07-18 10:27:55 +0000
Commit:     Tupone Alfredo <tupone@gentoo.org>
CommitDate: 2019-07-18 10:27:55 +0000

    sci-mathematics/cvc4: Fix sandbox issue
    
    Closes: https://bugs.gentoo.org/689918
    Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
    Package-Manager: Portage-2.3.66, Repoman-2.3.11

 sci-mathematics/cvc4/files/cvc4-1.7-gentoo.patch | 8 ++++++++
 1 file changed, 8 insertions(+)