diff --git a/pkgs/applications/editors/emacs-modes/maude/default.nix b/pkgs/applications/editors/emacs-modes/maude/default.nix new file mode 100644 index 00000000000..6ffb32696d7 --- /dev/null +++ b/pkgs/applications/editors/emacs-modes/maude/default.nix @@ -0,0 +1,13 @@ +{stdenv, fetchurl, emacs}: + +stdenv.mkDerivation +{ + name = "maude-mode-0.1"; + src = fetchurl + { + url = "mirror://sourceforge/maude-mode/maude-mode.tar.gz"; + sha256 = "12555j01mar48da2jy3ay93xfn7ybl23bpvhp0srzg8858gisx5g"; + }; + buildInputs = [emacs]; + configureFlags = "--with-lispdir=$$out/share/emacs/site-lisp"; +} diff --git a/pkgs/top-level/all-packages.nix b/pkgs/top-level/all-packages.nix index 09b9fd88511..9f736fdf0b7 100644 --- a/pkgs/top-level/all-packages.nix +++ b/pkgs/top-level/all-packages.nix @@ -6160,6 +6160,10 @@ let pkgs = rec { qt = qt4; }; + maudeMode = import ../applications/editors/emacs-modes/maude { + inherit fetchurl stdenv emacs; + }; + maxima = import ../applications/misc/maxima { inherit fetchurl stdenv clisp; };