2008-07-15 16:53:07 +02:00
|
|
|
{stdenv, fetchurl, emacs}:
|
|
|
|
|
2010-08-26 21:03:52 +02:00
|
|
|
stdenv.mkDerivation {
|
|
|
|
name = "maude-mode-0.2";
|
2010-08-26 20:19:19 +02:00
|
|
|
|
2010-08-26 21:03:52 +02:00
|
|
|
src = fetchurl {
|
|
|
|
url = "mirror://sourceforge/maude-mode/maude-mode-0.2.tar.gz";
|
|
|
|
sha256 = "19jdd7la0bxxxnnq4ryckf63jykg0r3v92z126x6djaigi3xn1yx";
|
2010-08-26 20:19:19 +02:00
|
|
|
};
|
|
|
|
|
2010-08-26 21:03:52 +02:00
|
|
|
buildInputs = [emacs];
|
|
|
|
configureFlags = "--with-lispdir=$$out/share/emacs/site-lisp";
|
2010-08-26 20:19:19 +02:00
|
|
|
|
|
|
|
meta = {
|
|
|
|
description = "Emacs mode for the programming language Maude";
|
2014-06-19 06:19:00 +02:00
|
|
|
license = stdenv.lib.licenses.gpl2;
|
2010-08-26 20:19:19 +02:00
|
|
|
platforms = stdenv.lib.platforms.all;
|
2016-05-16 22:30:20 +02:00
|
|
|
maintainers = [ stdenv.lib.maintainers.peti ];
|
2008-07-15 16:53:07 +02:00
|
|
|
};
|
|
|
|
}
|