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