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

Bug 682852

Summary: sci-mathematics/isabelle: Fails to compile due to scala dependency issue
Product: Gentoo Linux Reporter: Andrew Duquette <amranu>
Component: Current packagesAssignee: Gentoo Science Mathematics related packages <sci-mathematics>
Status: RESOLVED OBSOLETE    
Severity: normal CC: stefan.gast
Priority: Normal    
Version: unspecified   
Hardware: All   
OS: Linux   
See Also: https://bugs.gentoo.org/show_bug.cgi?id=636976
Whiteboard:
Package list:
Runtime testing required: ---
Attachments: Log of compile failure

Description Andrew Duquette 2019-04-08 00:15:41 UTC
Created attachment 572210 [details]
Log of compile failure

sci-mathematics/isabelle currently fails to compile due to scala swing missing
Comment 1 Mark Wright gentoo-dev 2019-08-22 11:54:48 UTC
isabelle is being removed since it depends on dev-java/itext which is being removed.
Comment 2 Stefan Gast 2019-08-27 16:06:08 UTC
sci-mathematics/e got masked as a dependency of sci-mathematics/isabelle. However, as far as I can see, isabelle is only an optional dependency of it, controlled by the USE flag of the same name.

So what about just disabling the isabelle USE flag for sci-mathematics/e and keeping the latter in the tree?
Comment 3 Michał Górny archtester Gentoo Infrastructure gentoo-dev Security 2019-09-14 15:53:01 UTC
Package removed.