2009-03-19 14:46:38 +00:00
|
|
|
{stdenv, fetchurl, aterm, pkgconfig, getopt, jdk}:
|
2008-01-29 09:42:20 +00:00
|
|
|
|
2009-03-19 14:34:16 +00:00
|
|
|
rec {
|
2008-01-29 09:42:20 +00:00
|
|
|
|
2009-03-19 14:34:16 +00:00
|
|
|
inherit aterm;
|
2008-01-29 09:42:20 +00:00
|
|
|
|
2009-03-19 14:34:16 +00:00
|
|
|
|
2009-07-09 15:15:36 +01:00
|
|
|
sdf = stdenv.mkDerivation ( rec {
|
2009-07-03 06:01:04 +01:00
|
|
|
name = "sdf2-bundle-2.4";
|
2009-03-19 14:34:16 +00:00
|
|
|
|
|
|
|
src = fetchurl {
|
2009-07-03 06:01:04 +01:00
|
|
|
url = "ftp://ftp.strategoxt.org/pub/stratego/StrategoXT/strategoxt-0.17/sdf2-bundle-2.4.tar.gz";
|
2009-03-19 14:34:16 +00:00
|
|
|
sha256 = "2ec83151173378f48a3326e905d11049d094bf9f0c7cff781bc2fce0f3afbc11";
|
|
|
|
};
|
|
|
|
|
|
|
|
buildInputs = [pkgconfig aterm];
|
|
|
|
|
|
|
|
preConfigure = ''
|
|
|
|
substituteInPlace pgen/src/sdf2table.src \
|
|
|
|
--replace getopt ${getopt}/bin/getopt
|
|
|
|
'';
|
|
|
|
|
|
|
|
meta = {
|
|
|
|
homepage = http://www.program-transformation.org/Sdf/SdfBundle;
|
|
|
|
meta = "Tools for the SDF2 Syntax Definition Formalism, including the `pgen' parser generator and `sglr' parser";
|
|
|
|
};
|
2009-07-09 15:15:36 +01:00
|
|
|
} // ( if stdenv.system == "i686-cygwin" then { CFLAGS = "-O2 -Wl,--stack=0x2300000"; } else {} ) ) ;
|
2009-03-19 14:34:16 +00:00
|
|
|
|
|
|
|
|
|
|
|
strategoxt = stdenv.mkDerivation rec {
|
2009-07-03 06:01:04 +01:00
|
|
|
name = "strategoxt-0.17";
|
2009-03-19 14:34:16 +00:00
|
|
|
|
|
|
|
src = fetchurl {
|
2009-07-03 06:01:04 +01:00
|
|
|
url = "ftp://ftp.strategoxt.org/pub/stratego/StrategoXT/strategoxt-0.17/strategoxt-0.17.tar.gz";
|
|
|
|
sha256 = "70355576c3ce3c5a8a26435705a49cf7d13e91eada974a654534d63e0d34acdb";
|
2009-03-19 14:34:16 +00:00
|
|
|
};
|
|
|
|
|
|
|
|
buildInputs = [pkgconfig aterm sdf getopt];
|
|
|
|
|
|
|
|
meta = {
|
|
|
|
homepage = http://strategoxt.org/;
|
|
|
|
meta = "A language and toolset for program transformation";
|
|
|
|
};
|
2008-01-29 09:42:20 +00:00
|
|
|
};
|
|
|
|
|
2009-03-19 14:34:16 +00:00
|
|
|
|
2009-03-19 14:46:38 +00:00
|
|
|
javafront = stdenv.mkDerivation rec {
|
|
|
|
name = "java-front-0.9pre1823618236";
|
|
|
|
|
|
|
|
src = fetchurl {
|
|
|
|
url = "http://releases.strategoxt.org/java-front/${name}-frb8zh7m/java-front-0.9pre18236.tar.gz";
|
|
|
|
sha256 = "93d2919cfbda41a96a944f71ae57704ad1f0efcc0c1084b501a4536f82e25387";
|
|
|
|
};
|
|
|
|
|
2009-03-19 17:34:59 +00:00
|
|
|
buildInputs = [pkgconfig aterm sdf strategoxt];
|
2009-03-19 14:46:38 +00:00
|
|
|
|
2009-03-19 17:34:59 +00:00
|
|
|
# !!! The explicit `--with-strategoxt' is necessary; otherwise we
|
|
|
|
# get an XTC registration that refers to "/share/strategoxt/XTC".
|
2009-04-22 00:18:09 +01:00
|
|
|
configureFlags = "--enable-xtc --with-strategoxt=${strategoxt}";
|
2009-03-19 14:46:38 +00:00
|
|
|
|
|
|
|
meta = {
|
|
|
|
homepage = http://strategoxt.org/Stratego/JavaFront;
|
|
|
|
meta = "Tools for generating or transforming Java code";
|
|
|
|
};
|
|
|
|
};
|
|
|
|
|
|
|
|
|
|
|
|
dryad = stdenv.mkDerivation rec {
|
|
|
|
name = "dryad-0.2pre1835518355";
|
|
|
|
|
|
|
|
src = fetchurl {
|
|
|
|
url = "http://releases.strategoxt.org/dryad/${name}-zbqfh1rm/dryad-0.2pre18355.tar.gz";
|
|
|
|
sha256 = "2c27b7f82f87ffc27b75969acc365560651275d348b3b5cbb530276d20ae83ab";
|
|
|
|
};
|
|
|
|
|
|
|
|
buildInputs = [jdk pkgconfig aterm sdf strategoxt javafront];
|
|
|
|
|
|
|
|
meta = {
|
|
|
|
homepage = http://strategoxt.org/Stratego/TheDryad;
|
|
|
|
meta = "A collection of tools for developing transformation systems for Java source and bytecode";
|
|
|
|
};
|
|
|
|
};
|
|
|
|
|
|
|
|
|
2009-03-19 14:34:16 +00:00
|
|
|
/*
|
|
|
|
libraries = ... {
|
|
|
|
configureFlags =
|
|
|
|
if stdenv ? isMinGW && stdenv.isMinGW then "--with-std=C99" else "";
|
|
|
|
|
|
|
|
# avoids loads of warnings about too big description fields because of a broken debug format
|
|
|
|
CFLAGS =
|
|
|
|
if stdenv ? isMinGW && stdenv.isMinGW then "-O2" else null;
|
|
|
|
};
|
|
|
|
*/
|
|
|
|
|
2008-01-29 09:42:20 +00:00
|
|
|
}
|