public/nixpkgs
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

maude: update to 2.7.1

Browse Source
This commit is contained in:
Peter Simons 2016-12-29 12:18:28 +01:00
parent c2d90eaa91
commit 774435d0aa
1 changed files with 14 additions and 10 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

24
pkgs/development/interpreters/maude/default.nix
View File

@ -1,14 +1,14 @@
{ stdenv, fetchurl, unzip, makeWrapper { stdenv, fetchurl, unzip, makeWrapper , flex, bison, ncurses, buddy, tecla
, flex, bison, ncurses, buddy, tecla, libsigsegv, gmpxx, , libsigsegv, gmpxx, cvc4, cln
}: }:
let let
version = "2.7"; version = "2.7.1";
fullMaude = fetchurl { fullMaude = fetchurl {
url = "https://raw.githubusercontent.com/maude-team/full-maude/master/full-maude27c.maude"; url = "http://maude.cs.illinois.edu/w/images/c/ca/Full-Maude-${version}.zip";
sha256 = "08bg3gn1vyjy5k69hnynpzc9s1hnrbkyv6z08y1h2j37rlc4c18y"; sha256 = "0y4gn7n8vh24r24vckhpkd46hb5hqsbrm4w9zr6dz4paafq12fjc";
}; };
in in
@ -17,11 +17,13 @@ stdenv.mkDerivation rec {
name = "maude-${version}"; name = "maude-${version}";
src = fetchurl { src = fetchurl {
url = "https://github.com/maude-team/maude/archive/v${version}-ext-hooks.tar.gz"; url = "http://maude.cs.illinois.edu/w/images/d/d8/Maude-${version}.tar.gz";
sha256 = "02p0snxm69rs8pvm93r91p881dw6p3bxmazr3cfw5pnxpgz0vjl0"; sha256 = "0jskn5dm8vvbd3mlryjxdb6wfpkvyx174wk7ci9a31aylxzpr25i";
}; };
buildInputs = [flex bison ncurses buddy tecla gmpxx libsigsegv makeWrapper unzip]; buildInputs = [
flex bison ncurses buddy tecla gmpxx libsigsegv makeWrapper unzip cvc4 cln
];
hardeningDisable = [ "stackprotector" ] ++ hardeningDisable = [ "stackprotector" ] ++
stdenv.lib.optionals stdenv.isi686 [ "pic" "fortify" ]; stdenv.lib.optionals stdenv.isi686 [ "pic" "fortify" ];
@ -30,6 +32,7 @@ stdenv.mkDerivation rec {
configureFlagsArray=( configureFlagsArray=(
--datadir="$out/share/maude" --datadir="$out/share/maude"
TECLA_LIBS="-ltecla -lncursesw" TECLA_LIBS="-ltecla -lncursesw"
LIBS="-lcln"
CFLAGS="-O3" CXXFLAGS="-O3" CFLAGS="-O3" CXXFLAGS="-O3"
) )
''; '';
@ -38,11 +41,12 @@ stdenv.mkDerivation rec {
postInstall = '' postInstall = ''
for n in "$out/bin/"*; do wrapProgram "$n" --suffix MAUDE_LIB ':' "$out/share/maude"; done for n in "$out/bin/"*; do wrapProgram "$n" --suffix MAUDE_LIB ':' "$out/share/maude"; done
install -D -m 444 ${fullMaude} $out/share/maude/full-maude.maude unzip ${fullMaude}
install -D -m 444 full-maude.maude $out/share/maude/full-maude.maude
''; '';
meta = { meta = {
homepage = "http://maude.cs.uiuc.edu/"; homepage = "http://maude.cs.illinois.edu/";
description = "High-level specification language"; description = "High-level specification language";
license = stdenv.lib.licenses.gpl2; license = stdenv.lib.licenses.gpl2;