diff options
| author | Peter Simons <simons@cryp.to> | 2011-02-11 14:41:03 +0000 |
|---|---|---|
| committer | Peter Simons <simons@cryp.to> | 2011-02-11 14:41:03 +0000 |
| commit | bb1edcae8d22bb23fe631b735ec1eb827d08c8d3 (patch) | |
| tree | 7e528798020f38fc69ac4bd017315f3e3620142f /pkgs/development/interpreters/maude | |
| parent | cd2df27b1c08889968918b1f7be6ee5b0ff74f48 (diff) | |
| download | nixlib-bb1edcae8d22bb23fe631b735ec1eb827d08c8d3.tar nixlib-bb1edcae8d22bb23fe631b735ec1eb827d08c8d3.tar.gz nixlib-bb1edcae8d22bb23fe631b735ec1eb827d08c8d3.tar.bz2 nixlib-bb1edcae8d22bb23fe631b735ec1eb827d08c8d3.tar.lz nixlib-bb1edcae8d22bb23fe631b735ec1eb827d08c8d3.tar.xz nixlib-bb1edcae8d22bb23fe631b735ec1eb827d08c8d3.tar.zst nixlib-bb1edcae8d22bb23fe631b735ec1eb827d08c8d3.zip | |
pkgs/development/interpreters/maude: updated to version 2.6
svn path=/nixpkgs/trunk/; revision=25904
Diffstat (limited to 'pkgs/development/interpreters/maude')
| -rw-r--r-- | pkgs/development/interpreters/maude/default.nix | 14 |
1 files changed, 6 insertions, 8 deletions
diff --git a/pkgs/development/interpreters/maude/default.nix b/pkgs/development/interpreters/maude/default.nix index 8fdad7bbc555..f5d4fd090159 100644 --- a/pkgs/development/interpreters/maude/default.nix +++ b/pkgs/development/interpreters/maude/default.nix @@ -1,25 +1,23 @@ { stdenv, fetchurl, flex, bison, ncurses, buddy, tecla, libsigsegv, gmpxx, makeWrapper }: stdenv.mkDerivation rec { - name = "maude-2.5"; + name = "maude-2.6"; src = fetchurl { - url = "http://maude.cs.uiuc.edu/download/current/Maude-2.5.tar.gz"; - sha256 = "16bvnbyi257z87crzkw9gx2kz13482hnjnik22c2p2ml4rj4lpfw"; + url = "http://maude.cs.uiuc.edu/download/current/Maude-2.6.tar.gz"; + sha256 = "182abzhvjvlaa21aqv7802v3bs57a4dm7cw09s3mqmih7nzpkfm5"; }; fullMaude = fetchurl { - url = "http://maude.cs.uiuc.edu/download/current/FM2.5/full-maude25.maude"; - sha256 = "1d0izdbmhpifb2plnkk3cp7li2z60r8a8ppxhifmfpzi6x6pfvrd"; + url = "http://maude.cs.uiuc.edu/download/current/FM2.6/full-maude26.maude"; + sha256 = "1382hjwwrsdgd5yjn3ph1b5i1bhrhzvqx0v369bmcjkly9k96v6q"; }; buildInputs = [flex bison ncurses buddy tecla gmpxx libsigsegv makeWrapper]; configurePhase = ''./configure --disable-dependency-tracking --prefix=$out --datadir=$out/share/maude TECLA_LIBS="-ltecla -lncursesw" CFLAGS="-O3" CXXFLAGS="-O3"''; - # The test suite is known to fail on Darwin. If maude is ever updated to a - # new version, this exception ought to be removed again. - doCheck = !stdenv.isDarwin; + doCheck = true; postInstall = '' |