Added abc 1.1.1.

svn path=/nixpkgs/trunk/; revision=5109

pkgs/development/compilers/abc/builder-binjar.sh

@@ -0,0 +1,4 @@
+source $stdenv/setup
+
+ensureDir $out/jars || fail
+cp $src $out/jars/$jarname.jar || fail

pkgs/development/compilers/abc/builder.sh

@@ -0,0 +1,40 @@
+source $stdenv/setup
+
+tar zxvf $src || fail
+
+cd abc-*  || fail
+
+for p in $patches; do
+  echo "applying patch $p"
+  patch -p1 < $p || fail
+done
+
+cat > ant.settings <<EOF
+polyglot.loc=$polyglot/jars/polyglot.jar
+polyglot.cupclasses.loc=$polyglot/jars/java_cup.jar
+jflex.loc=
+soot.loc=$soot/jars/soot.jar
+jasmin.loc=$jasmin/jars/jasmin.jar
+xact.loc=$xact/jars/xact.jar
+paddle.loc=$paddle/jars/paddle.jar
+jedd.runtime.jar=$jedd/jars/jedd.runtime.jar
+javabdd.jar=$javabdd/jars/javabdd.jar
+EOF
+
+$apacheAnt/bin/ant jars
+
+ensureDir $out/jars
+
+cp lib/abc.jar $out/jars
+cp lib/abc-runtime.jar $out/jars
+cp lib/abc-testing.jar $out/jars
+cp lib/abc-complete.jar $out/jars
+
+# Create the executable abc script
+ensureDir $out/bin
+cat > $out/bin/abc <<EOF
+#! $SHELL -e
+
+exec $jre/bin/java -classpath $out/jars/abc-complete.jar -Xmx256M -Dabc.home=$out/jars abc.main.Main \$@
+EOF
+chmod +x $out/bin/abc

pkgs/development/compilers/abc/default.nix

@@ -0,0 +1,75 @@
+{stdenv, fetchurl, javaCup, jre, apacheAnt, patches} :
+
+let { 
+  body =
+    stdenv.mkDerivation {
+      name = "abc-1.1.1";
+      builder = ./builder.sh;
+
+      src = fetchurl {
+        url = http://abc.comlab.ox.ac.uk/dists/1.1.1/files/abc-1.1.1-src.tar.gz;
+        md5 = "6479e151d0a00633f7aa7c31c93c439e";
+      };
+
+      inherit apacheAnt polyglot soot javaCup xact jasmin jre javabdd paddle jedd patches;
+    };
+
+  soot =
+    import ./soot {
+      inherit stdenv fetchurl apacheAnt polyglot jasmin;
+    };
+
+  jasmin =
+    import ./jasmin {
+      inherit stdenv fetchurl apacheAnt javaCup;
+    };
+
+  polyglot =
+    import ./polyglot {
+      inherit stdenv fetchurl apacheAnt;
+    };
+
+  jedd =
+    stdenv.mkDerivation {
+      name = "jedd-runtime-snapshot";
+      jarname = "jedd.runtime";
+      builder = ./builder-binjar.sh;
+      src = fetchurl {
+        url = http://abc.comlab.ox.ac.uk/dists/1.1.1/files/lib/jedd-runtime-snapshot.jar;
+        md5 = "595c5ac2f6384f4c34f1854891b5e422";
+      };
+    };
+
+  javabdd =
+    stdenv.mkDerivation {
+      name = "javabdd-0.6";
+      jarname = "javabdd";
+      builder = ./builder-binjar.sh;
+      src = fetchurl {
+        url = http://abc.comlab.ox.ac.uk/dists/1.1.1/files/lib/javabdd_0.6.jar;
+        md5 = "6e0246e891b7431f4e7265b5b1471307";
+      };
+    };
+
+  paddle =
+    stdenv.mkDerivation {
+      name = "paddle-snapshot";
+      jarname = "paddle";
+      builder = ./builder-binjar.sh;
+      src = fetchurl {
+        url = http://abc.comlab.ox.ac.uk/dists/1.1.1/files/lib/paddle-snapshot.jar;
+        md5 = "a8e032310137945124a2850cd8cfc277";
+      };
+    };
+
+  xact =
+    stdenv.mkDerivation {
+      name = "xact-complete-1.0-1";
+      jarname = "xact";
+      builder = ./builder-binjar.sh;
+      src = fetchurl {
+        url = http://abc.comlab.ox.ac.uk/dists/1.0.2/files/lib/xact-complete-1.0-1.jar;
+        md5 = "9810ad8762101ea691a895f0a6b7a5c3";
+      };
+    };
+}

pkgs/development/compilers/abc/jasmin/builder.sh

@@ -0,0 +1,19 @@
+source $stdenv/setup
+
+tar zxvf $src  || fail
+cd jasmin-*  || fail
+
+cat > ant.settings <<EOF
+java_cup.jar=$javaCup
+
+# Location in which to generate Jasmin release tarballs
+release.loc=lib
+
+# Version of Jasmin for tagging tarballs
+jasmin.version=foo
+EOF
+
+$apacheAnt/bin/ant jasmin-jar || fail
+
+ensureDir $out/jars/ || fail
+mv lib/jasminclasses-foo.jar $out/jars/jasmin.jar || fail

pkgs/development/compilers/abc/jasmin/default.nix

@@ -0,0 +1,13 @@
+{stdenv, fetchurl, apacheAnt, javaCup}:
+
+stdenv.mkDerivation {
+  name = "jasmin-dev-20060319162437";
+  builder = ./builder.sh;
+
+  src = fetchurl {
+    url = http://abc.comlab.ox.ac.uk/dists/1.1.1/files/jasmin-dev-20060319162437.tar.gz;
+    md5 = "d161d647ef727335cb1d15976a5e3011";
+  };
+
+  inherit apacheAnt javaCup;
+}

pkgs/development/compilers/abc/polyglot/builder.sh

@@ -0,0 +1,11 @@
+source $stdenv/setup
+
+tar zxvf $src  || fail
+cd polyglot-*  || fail
+
+$apacheAnt/bin/ant polyglot-jar || fail
+$apacheAnt/bin/ant cup || fail
+
+ensureDir $out/jars/ || fail
+mv lib/java_cup.jar $out/jars/ || fail
+mv lib/polyglot*.jar $out/jars/ || fail

pkgs/development/compilers/abc/polyglot/default.nix

@@ -0,0 +1,13 @@
+{stdenv, fetchurl, apacheAnt}:
+
+stdenv.mkDerivation {
+  name = "polyglot-dev-20060319162437";
+  builder = ./builder.sh;
+
+  src = fetchurl {
+    url = http://abc.comlab.ox.ac.uk/dists/1.1.1/files/polyglot-dev-20060319162437.tar.gz;
+    md5 = "c6c29535e33f3055b7bc8f39f5acf00d";
+  };
+
+  inherit apacheAnt;
+}

pkgs/development/compilers/abc/soot/builder.sh

@@ -0,0 +1,17 @@
+source $stdenv/setup
+
+tar zxvf $src  || fail
+cd soot-*  || fail
+
+cat > ant.settings <<EOF
+polyglot.jar=$polyglot/jars/polyglot.jar
+jasmin.jar=$jasmin/jars/jasmin.jar
+soot.version=foo
+release.loc=lib
+javaapi.url=http://java.sun.com/j2se/1.4.2/docs/api/
+EOF
+
+$apacheAnt/bin/ant classesjar || fail
+
+ensureDir $out/jars/ || fail
+mv lib/sootclasses-foo.jar $out/jars/soot.jar || fail

pkgs/development/compilers/abc/soot/default.nix

@@ -0,0 +1,13 @@
+{stdenv, fetchurl, apacheAnt, polyglot, jasmin}:
+
+stdenv.mkDerivation {
+  name = "soot-dev-20060319162437";
+  builder = ./builder.sh;
+
+  src = fetchurl {
+    url = http://abc.comlab.ox.ac.uk/dists/1.1.1/files/soot-dev-20060319162437.tar.gz;
+    md5 = "5657edcb5de974514f151aca37112630";
+  };
+
+  inherit apacheAnt polyglot jasmin;
+}

pkgs/top-level/all-packages.nix

@@ -710,6 +710,20 @@ rec {
     inherit fetchurl stdenv;
   };
 
+  abc =
+    abcPatchable [];
+
+  abcPatchable = patches : 
+    (import ../development/compilers/abc/default.nix) {
+      inherit stdenv fetchurl patches;
+      apacheAnt = apacheAntBlackdown14;
+      jre = blackdown;
+      javaCup = import ../development/libraries/java/cup {
+        inherit stdenv fetchurl;
+        jdk = blackdown;
+      };
+    };
+
   ocaml = (import ../development/compilers/ocaml) {
     inherit fetchurl stdenv x11;
   };

pkgs/top-level/build-for-release.nix

@@ -5,6 +5,7 @@ let {
   i686LinuxPkgs = {inherit (allPackages {system = "i686-linux";})
     MPlayer
     MPlayerPlugin
+    abc
     apacheAntBlackdown14
     apacheHttpd
     aterm