Go to:
Gentoo Home
Documentation
Forums
Lists
Bugs
Planet
Store
Wiki
Get Gentoo!
Gentoo's Bugzilla – Attachment 572210 Details for
Bug 682852
sci-mathematics/isabelle: Fails to compile due to scala dependency issue
Home
|
New
–
[Ex]
|
Browse
|
Search
|
Privacy Policy
|
[?]
|
Reports
|
Requests
|
Help
|
New Account
|
Log In
[x]
|
Forgot Password
Login:
[x]
Log of compile failure
log.txt (text/plain), 23.84 KB, created by
Andrew Duquette
on 2019-04-08 00:15:41 UTC
(
hide
)
Description:
Log of compile failure
Filename:
MIME Type:
Creator:
Andrew Duquette
Created:
2019-04-08 00:15:41 UTC
Size:
23.84 KB
patch
obsolete
>>>> Unpacking source... >>>> Unpacking Isabelle2016-1.tar.gz to /var/tmp/portage/sci-mathematics/isabelle-2016.1/work >>>> Unpacking bash_process-isabelle-component-1.2.1.tar.gz to /var/tmp/portage/sci-mathematics/isabelle-2016.1/work/Isabelle2016-1/$ >ontrib >>>> Unpacking csdp-isabelle-component-6.x.tar.gz to /var/tmp/portage/sci-mathematics/isabelle-2016.1/work/Isabelle2016-1/contrib >>>> Unpacking isabelle_fonts-isabelle-component-20160830.tar.gz to /var/tmp/portage/sci-mathematics/isabelle-2016.1/work/Isabelle20$ >6-1/contrib >>>> Unpacking jedit_build-isabelle-component-20161024.tar.gz to /var/tmp/portage/sci-mathematics/isabelle-2016.1/work/Isabelle2016-$ >/contrib >>>> Unpacking jortho-isabelle-component-1.0-2.tar.gz to /var/tmp/portage/sci-mathematics/isabelle-2016.1/work/Isabelle2016-1/contri$ >>>> Unpacking jfreechart-isabelle-component-1.0.14-1.tar.gz to /var/tmp/portage/sci-mathematics/isabelle-2016.1/work/Isabelle2016-1$ >contrib >>>> Unpacking polyml-isabelle-component-5.6-1.tar.gz to /var/tmp/portage/sci-mathematics/isabelle-2016.1/work/Isabelle2016-1/contri$ >>>> Unpacking ssh-java-isabelle-component-20161009.tar.gz to /var/tmp/portage/sci-mathematics/isabelle-2016.1/work/Isabelle2016-1/c$ >ntrib >>>> Unpacking xz-java-isabelle-component-1.5.tar.gz to /var/tmp/portage/sci-mathematics/isabelle-2016.1/work/Isabelle2016-1/contrib >>>> Source unpacked in /var/tmp/portage/sci-mathematics/isabelle-2016.1/work >>>> Preparing source in /var/tmp/portage/sci-mathematics/isabelle-2016.1/work/Isabelle2016-1 ... > * java-pkg_ensure-dep: The ebuild is attempting to use itext, which is not declared with a SLOT in [RP]DEPEND and --build-only was$ >'t given. > * java-pkg_ensure-dep: The ebuild is attempting to use jcommon-1.0, which is not declared with a SLOT in [RP]DEPEND and --build-on$ >y wasn't given. > * java-pkg_ensure-dep: The ebuild is attempting to use jortho, which is not declared with a SLOT in [RP]DEPEND and --build-only wa$ >n't given. > * java-pkg_ensure-dep: The ebuild is attempting to use jfreechart-1.0, which is not declared with a SLOT in [RP]DEPEND and --build$ >only wasn't given. > * java-pkg_ensure-dep: The ebuild is attempting to use scala-2.12, which is not declared with a SLOT in [RP]DEPEND and --build-onl$ > wasn't given. > * java-pkg_ensure-dep: The ebuild is attempting to use xz-java, which is not declared with a SLOT in [RP]DEPEND and --build-only w$ >sn't given. >//usr/share/itext/lib/iText.jar://usr/share/jcommon-1.0/lib/jcommon.jar://usr/share/jortho/lib/jortho.jar://usr/share/jfreechart-1.$ >/lib/jfreechart.jar://usr/share/jfreechart-1.0/lib/jfreechart-experimental.jar://usr/share/scala-2.12/lib/scala-dist.jar://usr/shar$ >/scala-2.12/lib/scalap-javadoc.jar://usr/share/scala-2.12/lib/scalap-sources.jar://usr/share/scala-2.12/lib/scalap.jar://usr/share/$ >cala-2.12/lib/scala-library-javadoc.jar://usr/share/scala-2.12/lib/scala-library-sources.jar://usr/share/scala-2.12/lib/scala-libra$ >y.jar://usr/share/scala-2.12/lib/scala-reflect-javadoc.jar://usr/share/scala-2.12/lib/scala-reflect-sources.jar://usr/share/scala-2$ >12/lib/scala-reflect.jar://usr/share/scala-2.12/lib/scala-compiler-javadoc.jar://usr/share/scala-2.12/lib/scala-compiler-sources.ja$ >://usr/share/scala-2.12/lib/scala-compiler.jar://usr/share/xz-java/lib/xz-java.jar > * Applying isabelle-2016-classpath.patch ... [ ok ] > * Applying isabelle-2016-jfreechart-classpath.patch ... [ ok ] > * Applying isabelle-2016.1-bash_process-1.2.1-settings.patch ... [ ok ] > * Applying isabelle-2012-graphbrowser.patch ... [ ok ] > * Applying isabelle-2016.1-libsha1.patch ... [ ok ] > * Applying isabelle-2016.1-smt_timeout.patch ... [ ok ] > * Applying isabelle-2016.1-smt_read_only_certificates.patch ... [ ok ] > * Applying isabelle-2016.1-disable-jedit-build-after-install.patch ... [ ok ] > * Applying isabelle-2016.1-jortho-1.0-2-classpath.patch ... [ ok ] >>>> Source prepared. >>>> Configuring source in /var/tmp/portage/sci-mathematics/isabelle-2016.1/work/Isabelle2016-1 ... >>>> Source configured. >>>> Compiling source in /var/tmp/portage/sci-mathematics/isabelle-2016.1/work/Isabelle2016-1 ... > * Building Isabelle. This may take some time. >/var/tmp/portage/sci-mathematics/isabelle-2016.1/work/Isabelle2016-1/contrib/bash_process-1.2.1 /var/tmp/portage/sci-mathematics/isa >belle-2016.1/work/Isabelle2016-1 >/var/tmp/portage/sci-mathematics/isabelle-2016.1/work/Isabelle2016-1 >/var/tmp/portage/sci-mathematics/isabelle-2016.1/work/Isabelle2016-1/src/Pure /var/tmp/portage/sci-mathematics/isabelle-2016.1/work/ >Isabelle2016-1 >### Building Isabelle/Scala ... >GUI/gui.scala:18: error: object swing is not a member of package scala >import scala.swing.{ComboBox, TextArea, ScrollPane} > ^ >GUI/gui.scala:19: error: object swing is not a member of package scala >import scala.swing.event.SelectionChanged > ^ >GUI/gui.scala:85: error: not found: type ScrollPane > : ScrollPane = > ^ >GUI/gui.scala:88: error: not found: type TextArea > val text = new TextArea(txt) > ^ >GUI/gui.scala:92: error: not found: type ScrollPane > new ScrollPane(text) > ^ >GUI/gui.scala:99: error: object swing is not a member of package scala > val java_message = message map { case x: scala.swing.Component => x.peer case x => x } > ^ >GUI/gui.scala:99: error: value peer is not a member of Any > val java_message = message map { case x: scala.swing.Component => x.peer case x => x } > ^ >GUI/gui.scala:117: error: object swing is not a member of package scala > val java_message = message map { case x: scala.swing.Component => x.peer case x => x } > ^ >GUI/gui.scala:117: error: value peer is not a member of Any > val java_message = message map { case x: scala.swing.Component => x.peer case x => x } > ^ >GUI/gui.scala:128: error: not found: type ComboBox > abstract class Zoom_Box extends ComboBox[String]( > ^ >GUI/gui.scala:129: error: no arguments allowed for nullary constructor Object: ()Object > List("50%", "70%", "85%", "100%", "125%", "150%", "175%", "200%", "300%", "400%")) > ^ >GUI/gui.scala:132: error: not found: value selection > def factor: Int = parse(selection.item) > ^ >GUI/gui.scala:145: error: not found: value peer > peer.getEditor match { > ^ >GUI/gui.scala:151: error: not found: value makeEditable > makeEditable()(c => new ComboBox.BuiltInEditor(c)(text => print(parse(text)), x => x)) > ^ >GUI/gui.scala:151: error: not found: value ComboBox > makeEditable()(c => new ComboBox.BuiltInEditor(c)(text => print(parse(text)), x => x)) > ^ >GUI/gui.scala:152: error: not found: value peer > peer.getEditor.getEditorComponent match { > ^ >GUI/gui.scala:157: error: not found: value selection > selection.index = 3 > ^ >GUI/gui.scala:159: error: not found: value listenTo > listenTo(selection) > ^ >GUI/gui.scala:159: error: not found: value selection > listenTo(selection) > ^ >GUI/gui.scala:160: error: not found: value reactions > reactions += { case SelectionChanged(_) => changed } > ^ >GUI/gui.scala:160: error: not found: value SelectionChanged > reactions += { case SelectionChanged(_) => changed } > ^ >GUI/html5_panel.scala:10: error: not found: object javafx >import javafx.scene.Scene > ^ >GUI/html5_panel.scala:11: error: not found: object javafx >import javafx.scene.web.{WebView, WebEngine} > ^ >GUI/html5_panel.scala:12: error: not found: object javafx >import javafx.scene.input.KeyEvent > ^ >GUI/html5_panel.scala:13: error: not found: object javafx >import javafx.scene.text.FontSmoothingType > ^ >GUI/html5_panel.scala:14: error: not found: object javafx >import javafx.scene.layout.{HBox, VBox, Priority} > ^ >GUI/html5_panel.scala:15: error: not found: object javafx >import javafx.geometry.{HPos, VPos, Insets} > ^ >GUI/html5_panel.scala:16: error: not found: object javafx >import javafx.event.EventHandler > ^ >GUI/html5_panel.scala:21: error: not found: value javafx >private class Web_View_Workaround extends javafx.scene.layout.Pane > ^ >GUI/html5_panel.scala:23: error: not found: value VBox > VBox.setVgrow(this, Priority.ALWAYS) > ^ >GUI/html5_panel.scala:23: error: not found: value Priority > VBox.setVgrow(this, Priority.ALWAYS) > ^ >GUI/html5_panel.scala:24: error: not found: value HBox > HBox.setHgrow(this, Priority.ALWAYS) > ^ >GUI/html5_panel.scala:24: error: not found: value Priority > HBox.setHgrow(this, Priority.ALWAYS) > ^ >GUI/html5_panel.scala:26: error: not found: value setMaxWidth > setMaxWidth(java.lang.Double.MAX_VALUE) > ^ >GUI/html5_panel.scala:27: error: not found: value setMaxHeight > setMaxHeight(java.lang.Double.MAX_VALUE) > ^ >GUI/html5_panel.scala:29: error: not found: type WebView > val web_view = new WebView > ^ >GUI/html5_panel.scala:33: error: not found: value getChildren > getChildren().add(web_view) > ^ >GUI/html5_panel.scala:37: error: not found: value getManagedChildren > val managed = getManagedChildren() > ^ >GUI/html5_panel.scala:38: error: not found: value getWidth > val width = getWidth() > ^ >GUI/html5_panel.scala:39: error: not found: value getHeight > val height = getHeight() > ^ >GUI/html5_panel.scala:40: error: not found: value getInsets > val top = getInsets().getTop() >GUI/html5_panel.scala:41: error: not found: value getInsets > val right = getInsets().getRight() > ^ >GUI/html5_panel.scala:42: error: not found: value getInsets > val left = getInsets().getLeft() > ^ >GUI/html5_panel.scala:43: error: not found: value getInsets > val bottom = getInsets().getBottom() > ^ >GUI/html5_panel.scala:46: error: not found: value layoutInArea > layoutInArea(managed.get(i), left, top, > ^ >GUI/html5_panel.scala:48: error: not found: value Insets > 0, Insets.EMPTY, true, true, HPos.CENTER, VPos.CENTER) > ^ >GUI/html5_panel.scala:48: error: not found: value HPos > 0, Insets.EMPTY, true, true, HPos.CENTER, VPos.CENTER) > ^ >GUI/html5_panel.scala:48: error: not found: value VPos > 0, Insets.EMPTY, true, true, HPos.CENTER, VPos.CENTER) > ^ >GUI/html5_panel.scala:53: error: not found: value javafx >class HTML5_Panel extends javafx.embed.swing.JFXPanel > ^ >GUI/html5_panel.scala:72: error: not found: value setScene > setScene(new Scene(pane)) > ^ >GUI/html5_panel.scala:72: error: not found: type Scene > setScene(new Scene(pane)) > ^ >GUI/html5_panel.scala:76: error: not found: type WebView > def web_view: WebView = future.join.web_view > ^ >GUI/html5_panel.scala:77: error: not found: type WebEngine > def web_engine: WebEngine = web_view.getEngine > ^ >GUI/jfx_gui.scala:12: error: not found: object javafx >import javafx.application.{Platform => JFX_Platform} > ^ >GUI/jfx_gui.scala:13: error: not found: object javafx >import javafx.scene.text.{Font => JFX_Font} > ^ >GUI/jfx_gui.scala:22: error: not found: value JFX_Platform > def assert() = Predef.assert(JFX_Platform.isFxApplicationThread()) > ^ >GUI/jfx_gui.scala:23: error: not found: value JFX_Platform > def require() = Predef.require(JFX_Platform.isFxApplicationThread()) > ^ >GUI/jfx_gui.scala:27: error: not found: value JFX_Platform > if (JFX_Platform.isFxApplicationThread()) body > ^ >GUI/jfx_gui.scala:28: error: not found: value JFX_Platform > else JFX_Platform.runLater(new Runnable { def run = body }) > ^ >GUI/jfx_gui.scala:33: error: not found: value JFX_Platform > if (JFX_Platform.isFxApplicationThread()) Future.value(body) > ^ >GUI/jfx_gui.scala:49: error: not found: value JFX_Font > try { JFX_Font.loadFont(stream, 1.0) } > ^ >GUI/wrap_panel.scala:16: error: object swing is not a member of package scala >import scala.swing.{Panel, FlowPanel, Component, SequentialContainer, ScrollPane} > ^ >GUI/wrap_panel.scala:107: error: not found: type Panel > extends Panel with SequentialContainer.Wrapper > ^ >GUI/wrap_panel.scala:107: error: not found: value SequentialContainer > extends Panel with SequentialContainer.Wrapper > ^ >GUI/wrap_panel.scala:21: error: not found: value FlowPanel > val Alignment = FlowPanel.Alignment > ^ >GUI/wrap_panel.scala:106: error: not found: type Component >class Wrap_Panel(alignment: Wrap_Panel.Alignment.Value)(contents0: Component*) > ^ >GUI/wrap_panel.scala:112: error: not found: type Component > def this(contents0: Component*) = this(Wrap_Panel.Alignment.Center)(contents0: _*) > ^ >GUI/wrap_panel.scala:93: error: not found: value Component > case c: JComponent if Component.wrap(c).isInstanceOf[ScrollPane] => true > ^ >GUI/wrap_panel.scala:93: error: not found: type ScrollPane > case c: JComponent if Component.wrap(c).isInstanceOf[ScrollPane] => true > ^ >GUI/wrap_panel.scala:110: error: not found: type SuperMixin > new JPanel(new Wrap_Panel.Layout(alignment.id)) with SuperMixin > ^ >GUI/wrap_panel.scala:115: error: not found: value contents > contents ++= contents0 > ^ >General/antiquote.scala:10: error: object parsing is not a member of package util >import scala.util.parsing.input.CharSequenceReader > ^ >General/scan.scala:14: error: object parsing is not a member of package util >import scala.util.parsing.combinator.RegexParsers > ^ >General/scan.scala:37: error: not found: type RegexParsers > trait Parsers extends RegexParsers > ^ >General/antiquote.scala:27: error: not found: type Parser > private val txt: Parser[String] = > ^ >General/scan.scala:79: error: not found: type Parser > def many1(pred: Symbol.Symbol => Boolean): Parser[String] = > ^ >General/antiquote.scala:28: error: not found: value rep1 > rep1(many1(s => !Symbol.is_control(s) && !Symbol.is_open(s) && s != "@") | > ^ >General/antiquote.scala:31: error: not found: type Parser > val control: Parser[String] = > ^ >General/scan.scala:73: error: not found: type Parser > def one(pred: Symbol.Symbol => Boolean): Parser[String] = > ^ >General/scan.scala:197: error: not found: type Parser > def cartouche: Parser[String] = > ^ >General/antiquote.scala:32: error: not found: value opt > opt(one(Symbol.is_control)) ~ cartouche ^^ { case Some(x) ~ y => x + y case None ~ x => x } | > ^ >General/antiquote.scala:32: error: not found: value ~ > opt(one(Symbol.is_control)) ~ cartouche ^^ { case Some(x) ~ y => x + y case None ~ x => x } | > ^ >General/antiquote.scala:32: error: not found: value ~ > opt(one(Symbol.is_control)) ~ cartouche ^^ { case Some(x) ~ y => x + y case None ~ x => x } | > ^ >General/antiquote.scala:35: error: not found: type Parser > val antiq_other: Parser[String] = > ^ >General/antiquote.scala:38: error: not found: type Parser > private val antiq_body: Parser[String] = > ^ >General/scan.scala:97: error: not found: type Parser > def quoted(quote: Symbol.Symbol): Parser[String] = > ^ >General/antiquote.scala:41: error: not found: type Parser > val antiq: Parser[String] = > ^ >General/antiquote.scala:42: error: value ~ is not a member of String > "@{" ~ rep(antiq_body) ~ "}" ^^ { case x ~ y ~ z => x + y.mkString + z } > ^ >General/antiquote.scala:42: error: not found: value rep > "@{" ~ rep(antiq_body) ~ "}" ^^ { case x ~ y ~ z => x + y.mkString + z } > ^ >General/antiquote.scala:42: error: not found: value ~ > "@{" ~ rep(antiq_body) ~ "}" ^^ { case x ~ y ~ z => x + y.mkString + z } > ^ >General/antiquote.scala:42: error: not found: value ~ > "@{" ~ rep(antiq_body) ~ "}" ^^ { case x ~ y ~ z => x + y.mkString + z } > ^ >General/antiquote.scala:44: error: not found: type Parser > val antiquote: Parser[Antiquote] = > ^ >General/antiquote.scala:53: error: value parseAll is not a member of object isabelle.Antiquote.Parsers > Parsers.parseAll(Parsers.rep(Parsers.antiquote), new CharSequenceReader(input)) match { > ^ >General/antiquote.scala:53: error: value rep is not a member of object isabelle.Antiquote.Parsers > Parsers.parseAll(Parsers.rep(Parsers.antiquote), new CharSequenceReader(input)) match { > ^ >General/antiquote.scala:53: error: not found: type CharSequenceReader > Parsers.parseAll(Parsers.rep(Parsers.antiquote), new CharSequenceReader(input)) match { > ^ >General/antiquote.scala:54: error: value Success is not a member of object isabelle.Antiquote.Parsers > case Parsers.Success(xs, _) => xs > ^ >General/antiquote.scala:55: error: value NoSuccess is not a member of object isabelle.Antiquote.Parsers > case Parsers.NoSuccess(_, next) => > ^ >General/completion.scala:13: error: object parsing is not a member of package util >import scala.util.parsing.combinator.RegexParsers > ^ >Isar/parse.scala:10: error: object parsing is not a member of package util >import scala.util.parsing.combinator.Parsers > ^ >Isar/parse.scala:18: error: not found: type Parsers > trait Parser extends Parsers > ^ >689 errors found >Failed to compile sources
<b>You cannot view the attachment while viewing its details because your browser does not support IFRAMEs. <a href="attachment.cgi?id=572210">View the attachment on a separate page</a>.</b>
View Attachment As Raw
Actions:
View
Attachments on
bug 682852
: 572210
