spoofax-eclipse.nix

spoofaxEclipse = with pkgs.eclipses; eclipseWithPlugins {
  eclipse = eclipse-platform;
  jvmArgs = [
    "-Xss16m"
    "-Xms1024m"
    "-Xmx1024m"
    "-XX:MaxPermSize=256m"
    "-server"
    "-Djava.net.preferIPv4Stack=true"
  ];
  plugins = [
    plugins.color-theme
    (plugins.buildEclipseUpdateSite {
      name = "vrapper-0.66";
      unpackCmd = "unzip $curSrc -d vrapper_0.66.0_20160403";
      src = pkgs.fetchurl {
        url = "mirror://sourceforge/vrapper/vrapper_0.66.0_20160403.zip";
        sha256 = "115j154v5p9r1z254vm184g448rdrpd7q2pf2rsyr2dryhg364s7";
      };
    })
    (plugins.buildEclipseUpdateSite {
      name = "spoofax-nightly";
      unpackCmd = "unzip $curSrc -d spoofax-eclipse";
      src = pkgs.fetchurl {
        url = "http://buildfarm.metaborg.org/job/spoofax-master/527/artifact/dist/spoofax-eclipse.zip";
        sha256 = "0ia7afz747f24z8gag14y376hvfmhf6y1cgm6brh83wx87x943hq";
      };
    })
  ];
}