Daniel Albert
2355d9d545
eclipse-scala-sdk: 4.4.1 -> 4.7.0
...
Unfortunately scala-ide is based on eclipse 4.7 (oxygen).
Thus is requires a java SDK 8 and GTK2.
2020-04-16 21:58:48 +02:00
Michael Reilly
84cf00f980
treewide: Per RFC45, remove all unquoted URLs
2020-04-10 17:54:53 +01:00
Matt McHenry
573d6dd011
eclipses: 2018-09 -> 2018-12
...
this also removes i686-linux support, as 2018-09 was the last release
officially supporting 32-bit
2019-02-11 14:12:56 -05:00
John Ericson
2c2f1e37d4
reewide: Purge all uses stdenv.system and top-level system
...
It is deprecated and will be removed after 18.09.
2018-08-30 17:20:32 -04:00
Matt McHenry
cb66a7468e
eclipse: jdk8 -> jdk10
...
in combination with the parent commit that makes jdk10 use gtk3, this
lets us get onto a current webkitgtk.
since the current version of webkitgtk is still receiving security
updates, this also reverts 49ea0e2736
2018-04-03 12:30:21 -04:00
Jan Tojnar
a31d98f312
tree-wide: autorename gnome packages to use dashes
2018-02-25 17:41:16 +01:00
Volth
b7ccf27229
rename webkitgtk24x -> webkitgtk24x-gtk3; webkitgtk2 -> webkitgtk24x-gtk2
2017-05-26 13:43:25 +00:00
Robert Helgesson
5228bc9f2e
eclipses: add dependencies as build inputs
...
Having `glib` in the build inputs will allow its build hook to
trigger. Also adds `gsettings_desktop_schemas` as a dependency since
Eclipse appears to need the schemas under certain circumstances.
2017-03-14 20:38:04 +01:00
Kirill Boltaev
bccd75094f
treewide: explicitly specify gtk and related package versions
2016-09-12 18:26:06 +03:00
Tuomas Tynkkynen
51ad423716
treewide: Use makeLibraryPath in 'patchelf --set-rpath' calls
2016-08-23 00:04:39 +03:00
Yochai Meir
4a0cbae070
eclipse: fix build error
2016-04-28 20:31:14 +03:00
Matt McHenry
98a0484471
eclipse: run with the jdk, not the jre
...
This is necessary so that tools like native2ascii are available to
maven eclipse integration (m2e).
2016-02-27 13:40:38 +01:00
Damien Cassou
6115684b73
Avoid CamelCase in filenames and add buildEclipse
2016-01-16 18:35:35 +01:00
