2016-12-29 12:18:28 +01:00
|
|
|
{ stdenv, fetchurl, unzip, makeWrapper , flex, bison, ncurses, buddy, tecla
|
2017-05-26 20:37:36 +02:00
|
|
|
, libsigsegv, gmpxx, cln
|
2016-12-22 12:42:02 +01:00
|
|
|
}:
|
2008-07-15 11:58:30 +02:00
|
|
|
|
2016-12-22 12:42:02 +01:00
|
|
|
let
|
2010-04-12 13:21:42 +02:00
|
|
|
|
2016-12-29 12:18:28 +01:00
|
|
|
version = "2.7.1";
|
2010-04-12 13:21:42 +02:00
|
|
|
|
2008-11-13 20:35:48 +01:00
|
|
|
fullMaude = fetchurl {
|
2016-12-29 12:18:28 +01:00
|
|
|
url = "http://maude.cs.illinois.edu/w/images/c/ca/Full-Maude-${version}.zip";
|
|
|
|
sha256 = "0y4gn7n8vh24r24vckhpkd46hb5hqsbrm4w9zr6dz4paafq12fjc";
|
2016-12-22 12:42:02 +01:00
|
|
|
};
|
|
|
|
|
|
|
|
in
|
|
|
|
|
2019-08-13 23:52:01 +02:00
|
|
|
stdenv.mkDerivation {
|
2019-08-13 23:52:01 +02:00
|
|
|
pname = "maude";
|
|
|
|
inherit version;
|
2016-12-22 12:42:02 +01:00
|
|
|
|
|
|
|
src = fetchurl {
|
2016-12-29 12:18:28 +01:00
|
|
|
url = "http://maude.cs.illinois.edu/w/images/d/d8/Maude-${version}.tar.gz";
|
|
|
|
sha256 = "0jskn5dm8vvbd3mlryjxdb6wfpkvyx174wk7ci9a31aylxzpr25i";
|
2008-07-15 11:58:30 +02:00
|
|
|
};
|
2010-04-12 13:21:42 +02:00
|
|
|
|
2016-12-29 12:18:28 +01:00
|
|
|
buildInputs = [
|
2017-05-26 20:37:36 +02:00
|
|
|
flex bison ncurses buddy tecla gmpxx libsigsegv makeWrapper unzip cln
|
2016-12-29 12:18:28 +01:00
|
|
|
];
|
2010-04-12 13:21:42 +02:00
|
|
|
|
2016-08-24 20:29:36 +02:00
|
|
|
hardeningDisable = [ "stackprotector" ] ++
|
|
|
|
stdenv.lib.optionals stdenv.isi686 [ "pic" "fortify" ];
|
2016-05-31 14:58:10 +02:00
|
|
|
|
2014-01-13 17:14:40 +01:00
|
|
|
preConfigure = ''
|
|
|
|
configureFlagsArray=(
|
2016-12-22 12:42:02 +01:00
|
|
|
--datadir="$out/share/maude"
|
2014-01-13 17:14:40 +01:00
|
|
|
TECLA_LIBS="-ltecla -lncursesw"
|
2016-12-29 12:18:28 +01:00
|
|
|
LIBS="-lcln"
|
2014-01-13 17:14:40 +01:00
|
|
|
CFLAGS="-O3" CXXFLAGS="-O3"
|
2017-05-26 20:37:36 +02:00
|
|
|
--without-cvc4 # Our version is too new for Maude to cope.
|
2014-01-13 17:14:40 +01:00
|
|
|
)
|
|
|
|
'';
|
2010-04-12 13:21:42 +02:00
|
|
|
|
2011-02-11 15:41:03 +01:00
|
|
|
doCheck = true;
|
2010-04-12 13:21:42 +02:00
|
|
|
|
2014-01-13 17:14:40 +01:00
|
|
|
postInstall = ''
|
2011-01-26 16:39:24 +01:00
|
|
|
for n in "$out/bin/"*; do wrapProgram "$n" --suffix MAUDE_LIB ':' "$out/share/maude"; done
|
2016-12-29 12:18:28 +01:00
|
|
|
unzip ${fullMaude}
|
|
|
|
install -D -m 444 full-maude.maude $out/share/maude/full-maude.maude
|
2008-07-15 11:58:30 +02:00
|
|
|
'';
|
2010-04-12 13:21:42 +02:00
|
|
|
|
2018-11-13 04:32:19 +01:00
|
|
|
# bison -dv surface.yy -o surface.c
|
|
|
|
# mv surface.c surface.cc
|
|
|
|
# mv: cannot stat 'surface.c': No such file or directory
|
|
|
|
enableParallelBuilding = false;
|
|
|
|
|
2010-05-09 18:01:44 +02:00
|
|
|
meta = {
|
2017-08-01 22:03:30 +02:00
|
|
|
homepage = http://maude.cs.illinois.edu/;
|
2014-08-24 16:21:08 +02:00
|
|
|
description = "High-level specification language";
|
2014-06-19 06:19:00 +02:00
|
|
|
license = stdenv.lib.licenses.gpl2;
|
2010-08-26 20:09:14 +02:00
|
|
|
|
|
|
|
longDescription = ''
|
|
|
|
Maude is a high-performance reflective language and system
|
|
|
|
supporting both equational and rewriting logic specification and
|
|
|
|
programming for a wide range of applications. Maude has been
|
|
|
|
influenced in important ways by the OBJ3 language, which can be
|
|
|
|
regarded as an equational logic sublanguage. Besides supporting
|
|
|
|
equational specification and programming, Maude also supports
|
|
|
|
rewriting logic computation.
|
|
|
|
'';
|
|
|
|
|
2017-07-05 19:28:44 +02:00
|
|
|
platforms = stdenv.lib.platforms.unix;
|
2016-05-16 22:30:20 +02:00
|
|
|
maintainers = [ stdenv.lib.maintainers.peti ];
|
2010-05-09 18:01:44 +02:00
|
|
|
};
|
2008-07-15 11:58:30 +02:00
|
|
|
}
|