Package Details: scala-ide 4.7.0-3

Git Clone URL: https://aur.archlinux.org/scala-ide.git (read-only)
Package Base: scala-ide
Description: Scala IDE, the official IDE, stand-alone Eclipse-based version
Upstream URL: http://www.scala-ide.org/
Keywords: Eclipse IDE scala
Licenses: custom
Provides: scala-ide
Submitter: kaptoxic
Maintainer: kaptoxic
Last Packager: kaptoxic
Votes: 3
Popularity: 0.000050
First Submitted: 2016-12-17 00:21
Last Updated: 2019-02-03 01:26

Latest Comments

kaptoxic commented on 2019-02-03 01:03

It's been a long time, but nevertheless, thanks for the comment. I actually did update the PKGBUILD based on your comment. I think, at this point, I'll change the description to be more descriptive and relatable to Eclipse.

I just hope the development of ScalaIDE continues at some point, as this is still my favorite Scala IDE. :)

Musikolo commented on 2018-02-17 04:22

@kaptoxic, I've modified the original PKGBUILD script, and added a few enhancements. If you are interested, you can find them at https://pastebin.com/2sDA2ZQR

As a side note, I think a better/more descriptive package name could be eclipse-scala-ide-full or eclipse-scala-ide-standalone. Current name (scala-ide) doesn't suggest any relationship with Eclipse, which is a bit confusing. Just thinking aloud!

Thank you!! ;-)

kaptoxic commented on 2018-02-02 21:35

Thanks. It seems that webkitgtk is indeed required, but only for invoking the internal browser component. I will update the PKGBUILD.

qw3ry commented on 2018-01-24 17:54

I can successfully build and use this package WITHOUT webkitgtk. I think it would be a good idea to remove this dependency or make it at least optional, because webkitgtk takes massive time to build.

I am neither familiar with the differences between webkitgtk and webkit2gtk, nor with pacman and eclipse internals, but maybe webkit2gtk (from the official repos) would be sufficient as well? Some other eclipse packages I found do depend on webkit2gtk:

To be clear: I do not know if scala-ide builds and runs without webkit2gtk