@@ -0,0 +1,75 @@
1+{stdenv, fetchurl, javaCup, jre, apacheAnt, patches} :
2+
3+let {
4+ body =
5+ stdenv.mkDerivation {
6+ name = "abc-1.1.1";
7+ builder = ./builder.sh;
8+
9+ src = fetchurl {
10+ url = http://abc.comlab.ox.ac.uk/dists/1.1.1/files/abc-1.1.1-src.tar.gz;
11+ md5 = "6479e151d0a00633f7aa7c31c93c439e";
12+ };
13+
14+ inherit apacheAnt polyglot soot javaCup xact jasmin jre javabdd paddle jedd patches;
15+ };
16+
17+ soot =
18+ import ./soot {
19+ inherit stdenv fetchurl apacheAnt polyglot jasmin;
20+ };
21+
22+ jasmin =
23+ import ./jasmin {
24+ inherit stdenv fetchurl apacheAnt javaCup;
25+ };
26+
27+ polyglot =
28+ import ./polyglot {
29+ inherit stdenv fetchurl apacheAnt;
30+ };
31+
32+ jedd =
33+ stdenv.mkDerivation {
34+ name = "jedd-runtime-snapshot";
35+ jarname = "jedd.runtime";
36+ builder = ./builder-binjar.sh;
37+ src = fetchurl {
38+ url = http://abc.comlab.ox.ac.uk/dists/1.1.1/files/lib/jedd-runtime-snapshot.jar;
39+ md5 = "595c5ac2f6384f4c34f1854891b5e422";
40+ };
41+ };
42+
43+ javabdd =
44+ stdenv.mkDerivation {
45+ name = "javabdd-0.6";
46+ jarname = "javabdd";
47+ builder = ./builder-binjar.sh;
48+ src = fetchurl {
49+ url = http://abc.comlab.ox.ac.uk/dists/1.1.1/files/lib/javabdd_0.6.jar;
50+ md5 = "6e0246e891b7431f4e7265b5b1471307";
51+ };
52+ };
53+
54+ paddle =
55+ stdenv.mkDerivation {
56+ name = "paddle-snapshot";
57+ jarname = "paddle";
58+ builder = ./builder-binjar.sh;
59+ src = fetchurl {
60+ url = http://abc.comlab.ox.ac.uk/dists/1.1.1/files/lib/paddle-snapshot.jar;
61+ md5 = "a8e032310137945124a2850cd8cfc277";
62+ };
63+ };
64+
65+ xact =
66+ stdenv.mkDerivation {
67+ name = "xact-complete-1.0-1";
68+ jarname = "xact";
69+ builder = ./builder-binjar.sh;
70+ src = fetchurl {
71+ url = http://abc.comlab.ox.ac.uk/dists/1.0.2/files/lib/xact-complete-1.0-1.jar;
72+ md5 = "9810ad8762101ea691a895f0a6b7a5c3";
73+ };
74+ };
75+}