parent
4c14c369fe
commit
7e813f0999
@ -0,0 +1,14 @@ |
||||
{stdenv, fetchurl, aterm, toolbuslib, ptsupport, asfsupport}: derivation { |
||||
name = "asc-support-1.8"; |
||||
system = stdenv.system; |
||||
builder = ./builder.sh; |
||||
src = fetchurl { |
||||
url = http://www.cwi.nl/projects/MetaEnv/asc-support/asc-support-1.8.tar.gz; |
||||
md5 = "e85a790c6004dfb974d79fc9699f69f4"; |
||||
}; |
||||
stdenv = stdenv; |
||||
aterm = aterm; |
||||
ptsupport = ptsupport; |
||||
toolbuslib = toolbuslib; |
||||
asfsupport = asfsupport; |
||||
} |
@ -0,0 +1,9 @@ |
||||
#! /bin/sh |
||||
|
||||
buildinputs="$aterm $ptsupport $toolbuslib $asfsupport" |
||||
. $stdenv/setup || exit 1 |
||||
|
||||
tar zxf $src || exit 1 |
||||
cd asc-support-* || exit 1 |
||||
./configure --prefix=$out --with-aterm=$aterm --with-toolbuslib=$toolbuslib --with-pt-support=$ptsupport --with-asf-support=$asfsupport || exit 1 |
||||
make install || exit 1 |
@ -0,0 +1,12 @@ |
||||
{stdenv, fetchurl, aterm, ptsupport}: derivation { |
||||
name = "asf-support-1.2"; |
||||
system = stdenv.system; |
||||
builder = ./builder.sh; |
||||
src = fetchurl { |
||||
url = http://www.cwi.nl/projects/MetaEnv/asf-support/asf-support-1.2.tar.gz; |
||||
md5 = "f32de4c97e62486b67e0af4408585980"; |
||||
}; |
||||
stdenv = stdenv; |
||||
aterm = aterm; |
||||
ptsupport = ptsupport; |
||||
} |
@ -0,0 +1,9 @@ |
||||
#! /bin/sh |
||||
|
||||
buildinputs="$aterm $ptsupport" |
||||
. $stdenv/setup || exit 1 |
||||
|
||||
tar zxf $src || exit 1 |
||||
cd asf-support-* || exit 1 |
||||
./configure --prefix=$out --with-aterm=$aterm --with-pt-support=$ptsupport || exit 1 |
||||
make install || exit 1 |
@ -0,0 +1,17 @@ |
||||
#! /bin/sh |
||||
|
||||
buildinputs="$aterm $getopt $toolbuslib $ptsupport $sdfsupport $asfsupport $ascsupport $sglr" |
||||
. $stdenv/setup || exit 1 |
||||
|
||||
tar zxf $src || exit 1 |
||||
cd pgen-* || exit 1 |
||||
./configure --prefix=$out --with-aterm=$aterm \ |
||||
--with-toolbuslib=$toolbuslib \ |
||||
--with-pt-support=$ptsupport \ |
||||
--with-sdf-support=$sdfsupport \ |
||||
--with-asf-support=$asfsupport \ |
||||
--with-asc-support=$asfsupport \ |
||||
--with-sglr=$sglr || exit 1 |
||||
make install || exit 1 |
||||
|
||||
echo "$getopt" > $out/propagated-build-inputs || exit 1 |
@ -0,0 +1,18 @@ |
||||
{stdenv, getopt, fetchurl, aterm, toolbuslib, ptsupport, sdfsupport, asfsupport, ascsupport, sglr}: derivation { |
||||
name = "pgen-2.0"; |
||||
system = stdenv.system; |
||||
builder = ./builder.sh; |
||||
src = fetchurl { |
||||
url = http://www.cwi.nl/projects/MetaEnv/pgen/pgen-2.0.tar.gz; |
||||
md5 = "368cd8abeed29591a35660d8cea79975"; |
||||
}; |
||||
stdenv = stdenv; |
||||
aterm = aterm; |
||||
getopt = getopt; |
||||
toolbuslib = toolbuslib; |
||||
ptsupport = ptsupport; |
||||
sdfsupport = sdfsupport; |
||||
asfsupport = asfsupport; |
||||
ascsupport = ascsupport; |
||||
sglr = sglr; |
||||
} |
@ -0,0 +1,9 @@ |
||||
#! /bin/sh |
||||
|
||||
buildinputs="$aterm $ptsupport $toolbuslib" |
||||
. $stdenv/setup || exit 1 |
||||
|
||||
tar zxf $src || exit 1 |
||||
cd sdf-support-* || exit 1 |
||||
./configure --prefix=$out --with-aterm=$aterm --with-toolbuslib=$toolbuslib --with-pt-support=$ptsupport || exit 1 |
||||
make install || exit 1 |
@ -0,0 +1,13 @@ |
||||
{stdenv, fetchurl, aterm, toolbuslib, ptsupport}: derivation { |
||||
name = "sdf-support-2.0"; |
||||
system = stdenv.system; |
||||
builder = ./builder.sh; |
||||
src = fetchurl { |
||||
url = http://www.cwi.nl/projects/MetaEnv/sdf-support/sdf-support-2.0.tar.gz; |
||||
md5 = "2987b89ed1d73e34e128b895ff44264c"; |
||||
}; |
||||
stdenv = stdenv; |
||||
aterm = aterm; |
||||
ptsupport = ptsupport; |
||||
toolbuslib = toolbuslib; |
||||
} |
Loading…
Reference in new issue