Gentoo Websites Logo
Go to: Gentoo Home Documentation Forums Lists Bugs Planet Store Wiki Get Gentoo!
Bug 593380 - sci-mathematics/kodkod, sci-mathematics/sha1-polyml, sci-mathematics/isabelle: get_libdir called in global scope
Summary: sci-mathematics/kodkod, sci-mathematics/sha1-polyml, sci-mathematics/isabelle...
Status: RESOLVED FIXED
Alias: None
Product: Gentoo Linux
Classification: Unclassified
Component: Current packages (show other bugs)
Hardware: All Linux
: Normal normal
Assignee: Mark Wright
URL:
Whiteboard:
Keywords:
Depends on:
Blocks: function-calls-in-global-scope
  Show dependency tree
 
Reported: 2016-09-10 11:25 UTC by Michał Górny
Modified: 2017-01-03 02:13 UTC (History)
1 user (show)

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

Attachments
Add an attachment (proposed patch, testcase, etc.)

Note You need to log in before you can comment on or make changes to this bug.
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