diff options
| author | Peter Simons <simons@cryp.to> | 2016-12-22 12:42:02 +0100 |
|---|---|---|
| committer | Peter Simons <simons@cryp.to> | 2016-12-22 13:04:30 +0100 |
| commit | 9f1880039fef079927ffb746f8b95a4ce4983fa3 (patch) | |
| tree | a46c5ab4e89f8e9c3ca0b3275ebc1b4c4d758706 /pkgs/development/interpreters/maude | |
| parent | 96c8e1982836bf0b5e4c8614f5ca995d252f9fdd (diff) | |
| download | nixpkgs-9f1880039fef079927ffb746f8b95a4ce4983fa3.tar nixpkgs-9f1880039fef079927ffb746f8b95a4ce4983fa3.tar.gz nixpkgs-9f1880039fef079927ffb746f8b95a4ce4983fa3.tar.bz2 nixpkgs-9f1880039fef079927ffb746f8b95a4ce4983fa3.tar.lz nixpkgs-9f1880039fef079927ffb746f8b95a4ce4983fa3.tar.xz nixpkgs-9f1880039fef079927ffb746f8b95a4ce4983fa3.tar.zst nixpkgs-9f1880039fef079927ffb746f8b95a4ce4983fa3.zip | |
maude: update to version 2.7
Diffstat (limited to 'pkgs/development/interpreters/maude')
| -rw-r--r-- | pkgs/development/interpreters/maude/default.nix | 33 |
1 files changed, 20 insertions, 13 deletions
diff --git a/pkgs/development/interpreters/maude/default.nix b/pkgs/development/interpreters/maude/default.nix index 13403d50759..e833e7b0c6d 100644 --- a/pkgs/development/interpreters/maude/default.nix +++ b/pkgs/development/interpreters/maude/default.nix @@ -1,26 +1,34 @@ -{ stdenv, fetchurl, flex, bison, ncurses, buddy, tecla, libsigsegv, gmpxx, makeWrapper }: +{ stdenv, fetchurl, unzip, makeWrapper +, flex, bison, ncurses, buddy, tecla, libsigsegv, gmpxx, +}: -stdenv.mkDerivation rec { - name = "maude-2.6"; +let - src = fetchurl { - url = "http://maude.cs.uiuc.edu/download/current/Maude-2.6.tar.gz"; - sha256 = "182abzhvjvlaa21aqv7802v3bs57a4dm7cw09s3mqmih7nzpkfm5"; - }; + version = "2.7"; fullMaude = fetchurl { - url = "https://full-maude.googlecode.com/git/full-maude261h.maude"; - sha256 = "0xx8bfn6arsa75m5vhp5lmpazgfw230ssq33h9vifswlvzzc81ha"; + url = "https://raw.githubusercontent.com/maude-team/full-maude/master/full-maude27c.maude"; + sha256 = "08bg3gn1vyjy5k69hnynpzc9s1hnrbkyv6z08y1h2j37rlc4c18y"; + }; + +in + +stdenv.mkDerivation rec { + name = "maude-${version}"; + + src = fetchurl { + url = "https://github.com/maude-team/maude/archive/v${version}-ext-hooks.tar.gz"; + sha256 = "02p0snxm69rs8pvm93r91p881dw6p3bxmazr3cfw5pnxpgz0vjl0"; }; - buildInputs = [flex bison ncurses buddy tecla gmpxx libsigsegv makeWrapper]; + buildInputs = [flex bison ncurses buddy tecla gmpxx libsigsegv makeWrapper unzip]; hardeningDisable = [ "stackprotector" ] ++ stdenv.lib.optionals stdenv.isi686 [ "pic" "fortify" ]; preConfigure = '' configureFlagsArray=( - --datadir=$out/share/maude + --datadir="$out/share/maude" TECLA_LIBS="-ltecla -lncursesw" CFLAGS="-O3" CXXFLAGS="-O3" ) @@ -30,8 +38,7 @@ stdenv.mkDerivation rec { 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 + install -D -m 444 ${fullMaude} $out/share/maude/full-maude.maude ''; meta = { |