diff --git a/pkgs/development/compilers/abc/default.nix b/pkgs/development/compilers/abc/default.nix index 0dd7b94a7bc..fbbf2479ea4 100644 --- a/pkgs/development/compilers/abc/default.nix +++ b/pkgs/development/compilers/abc/default.nix @@ -3,12 +3,12 @@ let { body = stdenv.mkDerivation { - name = "abc-1.1.1"; + name = "abc-1.2.0"; 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"; + url = http://abc.comlab.ox.ac.uk/dists/1.2.0/files/abc-1.2.0-src.tar.gz; + md5 = "aef9e8eac860f904f2a841e18770dc47"; }; inherit apacheAnt polyglot soot javaCup xact jasmin jre javabdd paddle jedd patches; @@ -35,7 +35,7 @@ let { 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; + url = http://abc.comlab.ox.ac.uk/dists/1.2.0/files/lib/jedd-runtime-snapshot.jar; md5 = "595c5ac2f6384f4c34f1854891b5e422"; }; }; @@ -46,7 +46,7 @@ let { 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; + url = http://abc.comlab.ox.ac.uk/dists/1.2.0/files/lib/javabdd_0.6.jar; md5 = "6e0246e891b7431f4e7265b5b1471307"; }; }; @@ -57,7 +57,7 @@ let { jarname = "paddle"; builder = ./builder-binjar.sh; src = fetchurl { - url = http://abc.comlab.ox.ac.uk/dists/1.1.1/files/lib/paddle-snapshot.jar; + url = http://abc.comlab.ox.ac.uk/dists/1.2.0/files/lib/paddle-snapshot.jar; md5 = "a8e032310137945124a2850cd8cfc277"; }; }; @@ -68,7 +68,7 @@ let { 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; + url = http://abc.comlab.ox.ac.uk/dists/1.2.0/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 index 100f9bdd04f..b591b60c56a 100644 --- a/pkgs/development/compilers/abc/jasmin/builder.sh +++ b/pkgs/development/compilers/abc/jasmin/builder.sh @@ -3,6 +3,9 @@ source $stdenv/setup tar zxvf $src || fail cd jasmin-* || fail +sed -e 's/ build-tmp.xml +mv build-tmp.xml build.xml + cat > ant.settings < ant.settings <