682852 – sci-mathematics/isabelle: Fails to compile due to scala dependency issue

Bug 682852 - sci-mathematics/isabelle: Fails to compile due to scala dependency issue

Summary: sci-mathematics/isabelle: Fails to compile due to scala dependency issue

Status:	RESOLVED OBSOLETE

Alias:	None

Product:	Gentoo Linux
Classification:	Unclassified
Component:	Current packages (show other bugs)
Hardware:	All Linux

Importance:	Normal normal (vote)
Assignee:	Gentoo Science Mathematics related packages

URL:
Whiteboard:
Keywords:

Depends on:
Blocks:

Reported:	2019-04-08 00:15 UTC by Andrew Duquette
Modified:	2019-09-14 15:53 UTC (History)
CC List:	1 user (show)

See Also:	CVE-2017-9096
Package list:
Runtime testing required:	---

Attachments
Log of compile failure (log.txt,23.84 KB, text/plain) 2019-04-08 00:15 UTC, Andrew Duquette	Details
View All 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 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

2019-09-14 15:53:01 UTC

Package removed.