2021-01-22 03:25:31 -08:00
|
|
|
{ fetchurl, lib, stdenv, ncompress, libX11 }:
|
2008-05-29 05:10:10 -07: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 07:44:46 -07:00
|
|
|
buildInputs = [ ncompress libX11 ];
|
2008-05-29 05:10:10 -07:00
|
|
|
|
2021-01-24 01:19:10 -08:00
|
|
|
buildPhase = "./build ";
|
2008-05-29 05:10:10 -07:00
|
|
|
|
|
|
|
installPhase = ''
|
2012-01-18 12:16:00 -08:00
|
|
|
mkdir -p "$out/bin"
|
2008-05-29 05:10:10 -07:00
|
|
|
cp stalin "$out/bin"
|
|
|
|
|
2012-01-18 12:16:00 -08:00
|
|
|
mkdir -p "$out/man/man1"
|
2008-05-29 05:10:10 -07:00
|
|
|
cp stalin.1 "$out/man/man1"
|
|
|
|
|
2012-01-18 12:16:00 -08:00
|
|
|
mkdir -p "$out/share/emacs/site-lisp"
|
2008-05-29 05:10:10 -07:00
|
|
|
cp stalin.el "$out/share/emacs/site-lisp"
|
|
|
|
|
2012-01-18 12:16:00 -08:00
|
|
|
mkdir -p "$out/doc/${name}"
|
2008-05-29 05:10:10 -07:00
|
|
|
cp README "$out/doc/${name}"
|
|
|
|
|
2012-01-18 12:16:00 -08:00
|
|
|
mkdir -p "$out/share/${name}/include"
|
2010-03-17 06:56:36 -07:00
|
|
|
cp "include/"* "$out/share/${name}/include"
|
2008-05-29 05:10:10 -07: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-03-31 18:11:51 -07:00
|
|
|
homepage = "http://www.ece.purdue.edu/~qobi/software.html";
|
2021-01-22 03:25:31 -08:00
|
|
|
license = lib.licenses.gpl2Plus;
|
2020-10-25 21:08:40 -07:00
|
|
|
description = "An optimizing Scheme compiler";
|
2010-03-17 06:56:36 -07:00
|
|
|
|
2013-08-16 14:44:33 -07:00
|
|
|
maintainers = [ ];
|
2014-08-11 17:35:34 -07:00
|
|
|
platforms = ["i686-linux"]; # doesn't want to work on 64-bit platforms
|
2008-05-29 05:10:10 -07:00
|
|
|
};
|
|
|
|
}
|