forked from mirrors/nixpkgs
c9baba9212
(My OCD kicked in today...) Remove repeated package names, capitalize first word, remove trailing periods and move overlong descriptions to longDescription. I also simplified some descriptions as well, when they were particularly long or technical, often based on Arch Linux' package descriptions. I've tried to stay away from generated expressions (and I think I succeeded). Some specifics worth mentioning: * cron, has "Vixie Cron" in its description. The "Vixie" part is not mentioned anywhere else. I kept it in a parenthesis at the end of the description. * ctags description started with "Exuberant Ctags ...", and the "exuberant" part is not mentioned elsewhere. Kept it in a parenthesis at the end of description. * nix has the description "The Nix Deployment System". Since that doesn't really say much what it is/does (especially after removing the package name!), I changed that to "Powerful package manager that makes package management reliable and reproducible" (borrowed from nixos.org). * Tons of "GNU Foo, Foo is a [the important bits]" descriptions is changed to just [the important bits]. If the package name doesn't contain GNU I don't think it's needed to say it in the description either.
53 lines
1.6 KiB
Nix
53 lines
1.6 KiB
Nix
{ stdenv, fetchurl, flex, bison, ncurses, buddy, tecla, libsigsegv, gmpxx, makeWrapper }:
|
|
|
|
stdenv.mkDerivation rec {
|
|
name = "maude-2.6";
|
|
|
|
src = fetchurl {
|
|
url = "http://maude.cs.uiuc.edu/download/current/Maude-2.6.tar.gz";
|
|
sha256 = "182abzhvjvlaa21aqv7802v3bs57a4dm7cw09s3mqmih7nzpkfm5";
|
|
};
|
|
|
|
fullMaude = fetchurl {
|
|
url = "https://full-maude.googlecode.com/git/full-maude261h.maude";
|
|
sha256 = "0xx8bfn6arsa75m5vhp5lmpazgfw230ssq33h9vifswlvzzc81ha";
|
|
};
|
|
|
|
buildInputs = [flex bison ncurses buddy tecla gmpxx libsigsegv makeWrapper];
|
|
|
|
preConfigure = ''
|
|
configureFlagsArray=(
|
|
--datadir=$out/share/maude
|
|
TECLA_LIBS="-ltecla -lncursesw"
|
|
CFLAGS="-O3" CXXFLAGS="-O3"
|
|
)
|
|
'';
|
|
|
|
doCheck = true;
|
|
|
|
postInstall = ''
|
|
for n in "$out/bin/"*; do wrapProgram "$n" --suffix MAUDE_LIB ':' "$out/share/maude"; done
|
|
mkdir -p $out/share/maude
|
|
cp ${fullMaude} -d $out/share/maude/full-maude.maude
|
|
'';
|
|
|
|
meta = {
|
|
homepage = "http://maude.cs.uiuc.edu/";
|
|
description = "High-level specification language";
|
|
license = stdenv.lib.licenses.gpl2;
|
|
|
|
longDescription = ''
|
|
Maude is a high-performance reflective language and system
|
|
supporting both equational and rewriting logic specification and
|
|
programming for a wide range of applications. Maude has been
|
|
influenced in important ways by the OBJ3 language, which can be
|
|
regarded as an equational logic sublanguage. Besides supporting
|
|
equational specification and programming, Maude also supports
|
|
rewriting logic computation.
|
|
'';
|
|
|
|
hydraPlatforms = stdenv.lib.platforms.linux;
|
|
maintainers = [ stdenv.lib.maintainers.simons ];
|
|
};
|
|
}
|