2021-01-22 11:25:31 +00:00
|
|
|
{ fetchurl, lib, stdenv, ncompress, libX11 }:
|
2008-05-29 13:10:10 +01:00
|
|
|
|
|
|
|
stdenv.mkDerivation rec {
|
|
|
|
name = "stalin-0.11";
|
|
|
|
|
|
|
|
src = fetchurl {
|
|
|
|
url = "ftp://ftp.ecn.purdue.edu/qobi/stalin.tar.Z";
|
|
|
|
sha256 = "0lz8riccpigdixwf6dswwva6s4kxaz3dzxhkqhcxgwmffy30vw8s";
|
|
|
|
};
|
|
|
|
|
2010-03-17 14:44:46 +00:00
|
|
|
buildInputs = [ ncompress libX11 ];
|
2008-05-29 13:10:10 +01:00
|
|
|
|
2021-01-24 09:19:10 +00:00
|
|
|
buildPhase = "./build ";
|
2008-05-29 13:10:10 +01:00
|
|
|
|
|
|
|
installPhase = ''
|
2012-01-18 20:16:00 +00:00
|
|
|
mkdir -p "$out/bin"
|
2008-05-29 13:10:10 +01:00
|
|
|
cp stalin "$out/bin"
|
|
|
|
|
2012-01-18 20:16:00 +00:00
|
|
|
mkdir -p "$out/man/man1"
|
2008-05-29 13:10:10 +01:00
|
|
|
cp stalin.1 "$out/man/man1"
|
|
|
|
|
2012-01-18 20:16:00 +00:00
|
|
|
mkdir -p "$out/share/emacs/site-lisp"
|
2008-05-29 13:10:10 +01:00
|
|
|
cp stalin.el "$out/share/emacs/site-lisp"
|
|
|
|
|
2012-01-18 20:16:00 +00:00
|
|
|
mkdir -p "$out/doc/${name}"
|
2008-05-29 13:10:10 +01:00
|
|
|
cp README "$out/doc/${name}"
|
|
|
|
|
2012-01-18 20:16:00 +00:00
|
|
|
mkdir -p "$out/share/${name}/include"
|
2010-03-17 13:56:36 +00:00
|
|
|
cp "include/"* "$out/share/${name}/include"
|
2008-05-29 13:10:10 +01:00
|
|
|
|
|
|
|
substituteInPlace "$out/bin/stalin" \
|
|
|
|
--replace "$PWD/include/stalin" "$out/share/${name}/include/stalin"
|
|
|
|
substituteInPlace "$out/bin/stalin" \
|
|
|
|
--replace "$PWD/include" "$out/share/${name}/include"
|
|
|
|
'';
|
|
|
|
|
|
|
|
meta = {
|
2020-04-01 02:11:51 +01:00
|
|
|
homepage = "http://www.ece.purdue.edu/~qobi/software.html";
|
2021-01-22 11:25:31 +00:00
|
|
|
license = lib.licenses.gpl2Plus;
|
2020-10-26 04:08:40 +00:00
|
|
|
description = "An optimizing Scheme compiler";
|
2010-03-17 13:56:36 +00:00
|
|
|
|
2013-08-16 22:44:33 +01:00
|
|
|
maintainers = [ ];
|
2014-08-12 01:35:34 +01:00
|
|
|
platforms = ["i686-linux"]; # doesn't want to work on 64-bit platforms
|
2008-05-29 13:10:10 +01:00
|
|
|
};
|
|
|
|
}
|