8d7fe32a0e
Maude is a high-level specification language. Buddy and libtecla are required to build Maude. svn path=/nixpkgs/trunk/; revision=12358
18 lines
443 B
Nix
18 lines
443 B
Nix
{ stdenv, fetchurl }:
|
|
|
|
stdenv.mkDerivation rec
|
|
{
|
|
name = "tecla-1.6.1";
|
|
meta =
|
|
{
|
|
homepage = "http://www.astro.caltech.edu/~mcs/tecla/";
|
|
description = "Tecla command-line editing library";
|
|
license = "as-is";
|
|
};
|
|
src = fetchurl
|
|
{
|
|
url = "http://www.astro.caltech.edu/~mcs/tecla/lib${name}.tar.gz";
|
|
sha256 = "18crv6q5f9g0cg6ry5h9dsa10inhpslklrv20h70f58lpm3jknr1";
|
|
};
|
|
configureFlags = "CFLAGS=-O3 CXXFLAGS=-O3";
|
|
}
|