Gentoo Websites Logo
Go to: Gentoo Home Documentation Forums Lists Bugs Planet Store Wiki Get Gentoo!

Bug 593380

Summary: sci-mathematics/kodkod, sci-mathematics/sha1-polyml, sci-mathematics/isabelle: get_libdir called in global scope
Product: Gentoo Linux Reporter: Michał Górny <mgorny>
Component: Current packagesAssignee: Mark Wright <gienah>
Status: RESOLVED FIXED    
Severity: normal CC: sci-mathematics
Priority: Normal    
Version: unspecified   
Hardware: All   
OS: Linux   
Whiteboard:
Package list:
Runtime testing required: ---
Bug Depends on:    
Bug Blocks: 593364    

Description Michał Górny archtester Gentoo Infrastructure gentoo-dev Security 2016-09-10 11:25:08 UTC
See tracker.
Comment 1 Mark Wright gentoo-dev 2017-01-03 02:13:45 UTC
Fixed:

commit 1772772b7973e844b580481f4912f949b75890f4
Author: Mark Wright <gienah@gentoo.org>
Date:   Tue Jan 3 10:00:36 2017 +1100

    sci-mathematics/sha1-polyml: Bump to 5.6-1. Fix
    get_libdir called in global scope, thanks to mgorny for reporting.
    
    Gentoo-bug: 593380

commit 9d42d1b6bb6bcba7e6617511ae617cef326fd851
Author: Mark Wright <gienah@gentoo.org>
Date:   Tue Jan 3 09:52:35 2017 +1100

    sci-mathematics/kodkod: Fix get_libdir called in global scope, thanks to
    
    mgorny for reporting.
    
    Gentoo-bug: 593380

commit 08c4c3f235caed7161be8696b7019064e20a4378
Author: Mark Wright <gienah@gentoo.org>
Date:   Tue Jan 3 09:47:13 2017 +1100

    sci-mathematics/isabelle: Bump to 2016.1. Thanks to David E. Narv?ez for
    providing the isabelle 2016 patches and the 2016 ebuild. Thanks to
    mgorny for reporting the get_libdir called in global scope QA bug.
    
    Gentoo-bugs: 602958, 593380