From d88e2ea70f60dca43eab87adf675d366e79cca42 Mon Sep 17 00:00:00 2001
From: Martin Bravenboer <martin.bravenboer@logicblox.com>
Date: Sun, 26 Mar 2006 03:21:32 +0000
Subject: [PATCH] Added abc 1.1.1.

svn path=/nixpkgs/trunk/; revision=5109
---
 .../compilers/abc/builder-binjar.sh           |  4 +
 pkgs/development/compilers/abc/builder.sh     | 40 ++++++++++
 pkgs/development/compilers/abc/default.nix    | 75 +++++++++++++++++++
 .../compilers/abc/jasmin/builder.sh           | 19 +++++
 .../compilers/abc/jasmin/default.nix          | 13 ++++
 .../compilers/abc/polyglot/builder.sh         | 11 +++
 .../compilers/abc/polyglot/default.nix        | 13 ++++
 .../development/compilers/abc/soot/builder.sh | 17 +++++
 .../compilers/abc/soot/default.nix            | 13 ++++
 pkgs/top-level/all-packages.nix               | 14 ++++
 pkgs/top-level/build-for-release.nix          |  1 +
 11 files changed, 220 insertions(+)
 create mode 100644 pkgs/development/compilers/abc/builder-binjar.sh
 create mode 100644 pkgs/development/compilers/abc/builder.sh
 create mode 100644 pkgs/development/compilers/abc/default.nix
 create mode 100644 pkgs/development/compilers/abc/jasmin/builder.sh
 create mode 100644 pkgs/development/compilers/abc/jasmin/default.nix
 create mode 100644 pkgs/development/compilers/abc/polyglot/builder.sh
 create mode 100644 pkgs/development/compilers/abc/polyglot/default.nix
 create mode 100644 pkgs/development/compilers/abc/soot/builder.sh
 create mode 100644 pkgs/development/compilers/abc/soot/default.nix

diff --git a/pkgs/development/compilers/abc/builder-binjar.sh b/pkgs/development/compilers/abc/builder-binjar.sh
new file mode 100644
index 00000000000..90458f9897d
--- /dev/null
+++ b/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
diff --git a/pkgs/development/compilers/abc/builder.sh b/pkgs/development/compilers/abc/builder.sh
new file mode 100644
index 00000000000..935fcf8fecd
--- /dev/null
+++ b/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
diff --git a/pkgs/development/compilers/abc/default.nix b/pkgs/development/compilers/abc/default.nix
new file mode 100644
index 00000000000..0dd7b94a7bc
--- /dev/null
+++ b/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";
+      };
+    };
+}
diff --git a/pkgs/development/compilers/abc/jasmin/builder.sh b/pkgs/development/compilers/abc/jasmin/builder.sh
new file mode 100644
index 00000000000..100f9bdd04f
--- /dev/null
+++ b/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
diff --git a/pkgs/development/compilers/abc/jasmin/default.nix b/pkgs/development/compilers/abc/jasmin/default.nix
new file mode 100644
index 00000000000..48a54366510
--- /dev/null
+++ b/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;
+}
diff --git a/pkgs/development/compilers/abc/polyglot/builder.sh b/pkgs/development/compilers/abc/polyglot/builder.sh
new file mode 100644
index 00000000000..e00ba976b99
--- /dev/null
+++ b/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
diff --git a/pkgs/development/compilers/abc/polyglot/default.nix b/pkgs/development/compilers/abc/polyglot/default.nix
new file mode 100644
index 00000000000..d45aa3ffe4b
--- /dev/null
+++ b/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;
+}
diff --git a/pkgs/development/compilers/abc/soot/builder.sh b/pkgs/development/compilers/abc/soot/builder.sh
new file mode 100644
index 00000000000..fea9448160c
--- /dev/null
+++ b/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
diff --git a/pkgs/development/compilers/abc/soot/default.nix b/pkgs/development/compilers/abc/soot/default.nix
new file mode 100644
index 00000000000..48b1b46d6dc
--- /dev/null
+++ b/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;
+}
diff --git a/pkgs/top-level/all-packages.nix b/pkgs/top-level/all-packages.nix
index 1e6b158af4b..b789af479d0 100644
--- a/pkgs/top-level/all-packages.nix
+++ b/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;
   };
diff --git a/pkgs/top-level/build-for-release.nix b/pkgs/top-level/build-for-release.nix
index 63f792acf3f..9130ea3fa59 100644
--- a/pkgs/top-level/build-for-release.nix
+++ b/pkgs/top-level/build-for-release.nix
@@ -5,6 +5,7 @@ let {
   i686LinuxPkgs = {inherit (allPackages {system = "i686-linux";})
     MPlayer
     MPlayerPlugin
+    abc
     apacheAntBlackdown14
     apacheHttpd
     aterm