forked from mirrors/nixpkgs
* More cleanup. Updated to the latest Stratego/XT 0.17.
svn path=/nixpkgs/trunk/; revision=14610
This commit is contained in:
parent
b460175a7e
commit
5986a4d175
|
@ -1,4 +0,0 @@
|
|||
source $stdenv/setup
|
||||
|
||||
configureFlags="--with-aterm=$aterm --with-sdf=$sdf --with-strategoxt=$strategoxt"
|
||||
genericBuild
|
|
@ -1,14 +0,0 @@
|
|||
{stdenv, fetchurl, aterm, sdf, strategoxt, pkgconfig}:
|
||||
|
||||
stdenv.mkDerivation {
|
||||
name = "java-front-0.9";
|
||||
builder = ./builder.sh;
|
||||
|
||||
src = fetchurl {
|
||||
url = http://buildfarm.st.ewi.tudelft.nl/releases/strategoxt/java-front-0.9pre17376-qi43zwhy/java-front-0.9pre17376.tar.gz;
|
||||
md5 = "fec70158b110c77a2e5db29676438029";
|
||||
};
|
||||
|
||||
inherit aterm sdf strategoxt;
|
||||
buildInputs = [pkgconfig aterm sdf strategoxt];
|
||||
}
|
|
@ -1,15 +1,51 @@
|
|||
{stdenv, fetchurl, aterm, sdf, pkgconfig}:
|
||||
{stdenv, fetchurl, aterm, pkgconfig, getopt}:
|
||||
|
||||
stdenv.mkDerivation {
|
||||
rec {
|
||||
|
||||
name = "strategoxt-0.16";
|
||||
builder = ./builder.sh;
|
||||
inherit aterm;
|
||||
|
||||
|
||||
src = fetchurl {
|
||||
url = http://nix.cs.uu.nl/dist/stratego/strategoxt-0.16/strategoxt-0.16.tar.gz;
|
||||
md5 = "8b8eabbd785faa84ec20134b63d4829e";
|
||||
sdf = stdenv.mkDerivation rec {
|
||||
name = "sdf2-bundle-2.3.3";
|
||||
|
||||
src = fetchurl {
|
||||
url = ftp://ftp.stratego-language.org/pub/stratego/sdf2/sdf2-bundle-2.3.3/sdf2-bundle-2.3.3.tar.gz;
|
||||
md5 = "62ecabe5fbb8bbe043ee18470107ef88";
|
||||
};
|
||||
|
||||
buildInputs = [pkgconfig aterm getopt];
|
||||
|
||||
preConfigure = ''
|
||||
substituteInPlace pgen/src/sdf2table.src \
|
||||
--replace getopt ${getopt}/bin/getopt
|
||||
'';
|
||||
|
||||
configureFlags = "--disable-static";
|
||||
|
||||
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";
|
||||
};
|
||||
};
|
||||
|
||||
inherit aterm sdf;
|
||||
buildInputs = [pkgconfig aterm sdf];
|
||||
|
||||
strategoxt = stdenv.mkDerivation {
|
||||
name = "strategoxt-0.16";
|
||||
|
||||
src = fetchurl {
|
||||
url = ftp://ftp.strategoxt.org/pub/stratego/StrategoXT/strategoxt-0.16/strategoxt-0.16.tar.gz;
|
||||
md5 = "8b8eabbd785faa84ec20134b63d4829e";
|
||||
};
|
||||
|
||||
buildInputs = [pkgconfig aterm sdf getopt];
|
||||
|
||||
configureFlags = "--disable-static";
|
||||
|
||||
meta = {
|
||||
homepage = http://strategoxt.org/;
|
||||
meta = "A language and toolset for program transformation";
|
||||
};
|
||||
};
|
||||
|
||||
|
||||
}
|
||||
|
|
|
@ -1,15 +1,62 @@
|
|||
{stdenv, fetchurl, aterm, sdf, pkgconfig}:
|
||||
{stdenv, fetchurl, aterm, pkgconfig, getopt}:
|
||||
|
||||
stdenv.mkDerivation {
|
||||
rec {
|
||||
|
||||
name = "strategoxt-0.17";
|
||||
builder = ./builder.sh;
|
||||
inherit aterm;
|
||||
|
||||
src = fetchurl {
|
||||
url = http://buildfarm.st.ewi.tudelft.nl/releases/strategoxt/strategoxt-0.17M3pre17099/strategoxt-0.17M3pre17099.tar.gz;
|
||||
md5 = "fc9bc3cb6d80bfa6ee1fadd2dd828c72";
|
||||
|
||||
sdf = stdenv.mkDerivation rec {
|
||||
name = "sdf2-bundle-2.4pre212034";
|
||||
|
||||
src = fetchurl {
|
||||
url = "http://releases.strategoxt.org/strategoxt-0.17/sdf2-bundle/${name}-37nm9z7p/sdf2-bundle-2.4.tar.gz";
|
||||
sha256 = "2ec83151173378f48a3326e905d11049d094bf9f0c7cff781bc2fce0f3afbc11";
|
||||
};
|
||||
|
||||
buildInputs = [pkgconfig aterm];
|
||||
|
||||
preConfigure = ''
|
||||
substituteInPlace pgen/src/sdf2table.src \
|
||||
--replace getopt ${getopt}/bin/getopt
|
||||
'';
|
||||
|
||||
configureFlags = "--disable-static";
|
||||
|
||||
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";
|
||||
};
|
||||
};
|
||||
|
||||
inherit aterm sdf;
|
||||
buildInputs = [pkgconfig aterm sdf];
|
||||
|
||||
strategoxt = stdenv.mkDerivation rec {
|
||||
name = "strategoxt-0.17pre18269";
|
||||
|
||||
src = fetchurl {
|
||||
url = "http://releases.strategoxt.org/strategoxt/${name}-a0f0wy0j/${name}.tar.gz";
|
||||
sha256 = "7c51c2452bd45f34cd480b6b3cbaac50e0fc53fbb1a884d97cf4e2c2b5330577";
|
||||
};
|
||||
|
||||
buildInputs = [pkgconfig aterm sdf getopt];
|
||||
|
||||
configureFlags = "--disable-static";
|
||||
|
||||
meta = {
|
||||
homepage = http://strategoxt.org/;
|
||||
meta = "A language and toolset for program transformation";
|
||||
};
|
||||
};
|
||||
|
||||
|
||||
/*
|
||||
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;
|
||||
};
|
||||
*/
|
||||
|
||||
}
|
||||
|
|
|
@ -1,4 +0,0 @@
|
|||
source $stdenv/setup
|
||||
|
||||
configureFlags="--with-aterm=$aterm --with-sdf=$sdf"
|
||||
genericBuild
|
|
@ -1,19 +0,0 @@
|
|||
{stdenv, fetchurl, pkgconfig, aterm}:
|
||||
|
||||
stdenv.mkDerivation {
|
||||
name = "stratego-libraries-0.17";
|
||||
src =
|
||||
fetchurl {
|
||||
url = http://www.cs.uu.nl/people/martin/stratego-libraries.tar.gz;
|
||||
md5 = "e99ce18179400c8ef373e8e668a4c576";
|
||||
};
|
||||
|
||||
buildInputs = [pkgconfig aterm];
|
||||
|
||||
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;
|
||||
}
|
|
@ -1,12 +0,0 @@
|
|||
{stdenv, fetchurl, aterm, sdf, strategoxt, pkgconfig}:
|
||||
|
||||
stdenv.mkDerivation {
|
||||
name = "strategoxt-utils-0.16";
|
||||
src = fetchurl {
|
||||
url = http://nix.cs.uu.nl/dist/stratego/strategoxt-utils-0.16/strategoxt-utils-0.16.tar.gz;
|
||||
md5 = "a118d67e7a2f1eb61f0cfccbe61aa509";
|
||||
};
|
||||
|
||||
inherit aterm sdf;
|
||||
buildInputs = [pkgconfig aterm sdf strategoxt];
|
||||
}
|
|
@ -1,5 +0,0 @@
|
|||
source $stdenv/setup
|
||||
|
||||
configureFlags="--with-aterm=$aterm"
|
||||
|
||||
genericBuild
|
|
@ -1 +0,0 @@
|
|||
import ./sdf2-bundle-2.3.3.nix
|
|
@ -1,14 +0,0 @@
|
|||
{stdenv, fetchurl, aterm, getopt}:
|
||||
|
||||
stdenv.mkDerivation {
|
||||
name = "sdf2-bundle-2.2";
|
||||
builder = ./builder.sh;
|
||||
src = fetchurl {
|
||||
url = ftp://ftp.stratego-language.org/pub/stratego/sdf2/sdf2-bundle-2.2.tar.gz;
|
||||
md5 = "995a1739134615b60b1fe796d6c9d0e6";
|
||||
};
|
||||
|
||||
buildInputs = [aterm];
|
||||
propagatedBuildInputs = [getopt];
|
||||
inherit aterm;
|
||||
}
|
|
@ -1,12 +0,0 @@
|
|||
{stdenv, fetchurl, aterm, getopt, pkgconfig}:
|
||||
|
||||
stdenv.mkDerivation {
|
||||
name = "sdf2-bundle-2.3.3";
|
||||
src = fetchurl {
|
||||
url = ftp://ftp.stratego-language.org/pub/stratego/sdf2/sdf2-bundle-2.3.3/sdf2-bundle-2.3.3.tar.gz;
|
||||
md5 = "62ecabe5fbb8bbe043ee18470107ef88";
|
||||
};
|
||||
|
||||
buildInputs = [aterm pkgconfig];
|
||||
propagatedBuildInputs = [getopt];
|
||||
}
|
|
@ -1,12 +0,0 @@
|
|||
{stdenv, fetchurl, aterm, getopt, pkgconfig}:
|
||||
|
||||
stdenv.mkDerivation {
|
||||
name = "sdf2-bundle-2.4";
|
||||
src = fetchurl {
|
||||
url = http://buildfarm.st.ewi.tudelft.nl/releases/meta-environment/sdf2-bundle-2.4pre212034-2nspl1xc/sdf2-bundle-2.4.tar.gz;
|
||||
md5 = "00107bef17d3fb8486575f8974fb384b";
|
||||
};
|
||||
|
||||
buildInputs = [aterm pkgconfig];
|
||||
propagatedBuildInputs = [getopt];
|
||||
}
|
|
@ -449,7 +449,8 @@ let
|
|||
};
|
||||
|
||||
bibtextools = import ../tools/typesetting/bibtex-tools {
|
||||
inherit fetchurl stdenv aterm tetex hevea sdf strategoxt;
|
||||
inherit fetchurl stdenv aterm tetex hevea;
|
||||
inherit (strategoPackages016) strategoxt sdf;
|
||||
};
|
||||
|
||||
bittorrent = import ../tools/networking/p2p/bittorrent {
|
||||
|
@ -1825,13 +1826,6 @@ let
|
|||
inherit gmp;
|
||||
};
|
||||
|
||||
javafront = import ../development/compilers/java-front {
|
||||
inherit stdenv fetchurl pkgconfig;
|
||||
sdf = sdf24;
|
||||
aterm = aterm25;
|
||||
strategoxt = strategoxt017;
|
||||
};
|
||||
|
||||
#TODO add packages http://cvs.haskell.org/Hugs/downloads/2006-09/packages/ and test
|
||||
# commented out because it's using the new configuration style proposal which is unstable
|
||||
hugs = import ../development/compilers/hugs {
|
||||
|
@ -1965,25 +1959,15 @@ let
|
|||
inherit (xlibs) libX11;
|
||||
};
|
||||
|
||||
strategoLibraries = import ../development/compilers/strategoxt/libraries/stratego-libraries-0.17pre.nix {
|
||||
inherit stdenv fetchurl pkgconfig aterm;
|
||||
};
|
||||
strategoPackages = strategoPackages017;
|
||||
|
||||
strategoxt = strategoxt017;
|
||||
|
||||
strategoxt016 = import ../development/compilers/strategoxt/0.16.nix {
|
||||
inherit fetchurl pkgconfig sdf aterm;
|
||||
strategoPackages016 = import ../development/compilers/strategoxt/0.16.nix {
|
||||
inherit fetchurl pkgconfig aterm getopt;
|
||||
stdenv = overrideInStdenv stdenv [gnumake380];
|
||||
};
|
||||
|
||||
strategoxt017 = import ../development/compilers/strategoxt/0.17.nix {
|
||||
inherit fetchurl stdenv pkgconfig;
|
||||
sdf = sdf24;
|
||||
aterm = aterm25;
|
||||
};
|
||||
|
||||
strategoxtUtils = import ../development/compilers/strategoxt/utils {
|
||||
inherit fetchurl pkgconfig stdenv aterm sdf strategoxt;
|
||||
strategoPackages017 = import ../development/compilers/strategoxt/0.17.nix {
|
||||
inherit fetchurl stdenv pkgconfig aterm getopt;
|
||||
};
|
||||
|
||||
swiProlog = composedArgsAndFun (selectVersion ../development/compilers/swi-prolog "5.6.51") {
|
||||
|
@ -1999,10 +1983,8 @@ let
|
|||
};
|
||||
|
||||
webdsl = import ../development/compilers/webdsl {
|
||||
inherit stdenv fetchurl pkgconfig javafront;
|
||||
aterm = aterm25;
|
||||
sdf = sdf24;
|
||||
strategoxt = strategoxt017;
|
||||
inherit stdenv fetchurl pkgconfig;
|
||||
strategoPackages = strategoPackages017;
|
||||
};
|
||||
|
||||
win32hello = import ../development/compilers/visual-c++/test {
|
||||
|
@ -2577,21 +2559,6 @@ let
|
|||
inherit fetchurl stdenv python makeWrapper;
|
||||
};
|
||||
|
||||
sdf = import ../development/tools/parsing/sdf {
|
||||
inherit fetchurl aterm getopt pkgconfig;
|
||||
# Note: sdf2-bundle currently requires GNU make 3.80; remove
|
||||
# explicit dependency when this is fixed.
|
||||
stdenv = overrideInStdenv stdenv [gnumake380];
|
||||
};
|
||||
|
||||
sdf24 = import ../development/tools/parsing/sdf/sdf2-bundle-2.4.nix {
|
||||
inherit fetchurl getopt pkgconfig;
|
||||
aterm = aterm25;
|
||||
# Note: sdf2-bundle currently requires GNU make 3.80; remove
|
||||
# explicit dependency when this is fixed.
|
||||
stdenv = overrideInStdenv stdenv [gnumake380];
|
||||
};
|
||||
|
||||
sloccount = import ../development/tools/misc/sloccount {
|
||||
inherit fetchurl stdenv perl;
|
||||
};
|
||||
|
@ -2716,7 +2683,7 @@ let
|
|||
inherit fetchurl stdenv aspell which;
|
||||
});
|
||||
|
||||
aterm = aterm28;
|
||||
aterm = aterm25;
|
||||
|
||||
aterm242fixes = import ../development/libraries/aterm/2.4.2-fixes.nix {
|
||||
inherit fetchurl stdenv;
|
||||
|
|
Loading…
Reference in a new issue