nixpkgs/pkgs/development/interpreters/maude/default.nix

74 lines
2.1 KiB
Nix
Raw Normal View History

{ lib, stdenv, fetchurl, unzip, makeWrapper, flex, bison, ncurses, buddy, tecla
, libsigsegv, gmpxx, cln, yices
2016-12-22 11:42:02 +00:00
}:
2016-12-22 11:42:02 +00:00
let
2021-01-19 14:24:30 +00:00
version = "3.1";
fullMaude = fetchurl {
2021-01-19 14:24:30 +00:00
url = "http://maude.cs.illinois.edu/w/images/0/0a/Full-Maude-${version}.zip";
sha256 = "8b13af02c6243116c2ef9592622ecaa06d05dbe1dd6b1e595551ff33855948f2";
2016-12-22 11:42:02 +00:00
};
in
2019-08-13 21:52:01 +00:00
stdenv.mkDerivation {
2019-08-13 21:52:01 +00:00
pname = "maude";
inherit version;
2016-12-22 11:42:02 +00:00
src = fetchurl {
2021-01-19 14:24:30 +00:00
url = "http://maude.cs.illinois.edu/w/images/d/d3/Maude-${version}.tar.gz";
sha256 = "b112d7843f65217e3b5a9d40461698ef8dab7cbbe830af21216dfb924dc88a2f";
};
nativeBuildInputs = [ unzip ];
2016-12-29 11:18:28 +00:00
buildInputs = [
flex bison ncurses buddy tecla gmpxx libsigsegv makeWrapper cln yices
2016-12-29 11:18:28 +00:00
];
hardeningDisable = [ "stackprotector" ] ++
lib.optionals stdenv.isi686 [ "pic" "fortify" ];
2014-01-13 16:14:40 +00:00
preConfigure = ''
configureFlagsArray=(
2016-12-22 11:42:02 +00:00
--datadir="$out/share/maude"
2014-01-13 16:14:40 +00:00
TECLA_LIBS="-ltecla -lncursesw"
2016-12-29 11:18:28 +00:00
LIBS="-lcln"
2014-01-13 16:14:40 +00:00
CFLAGS="-O3" CXXFLAGS="-O3"
)
'';
doCheck = true;
2014-01-13 16:14:40 +00:00
postInstall = ''
for n in "$out/bin/"*; do wrapProgram "$n" --suffix MAUDE_LIB ':' "$out/share/maude"; done
2016-12-29 11:18:28 +00:00
unzip ${fullMaude}
2021-01-19 14:24:30 +00:00
install -D -m 444 full-maude31.maude $out/share/maude/full-maude.maude
'';
# bison -dv surface.yy -o surface.c
# mv surface.c surface.cc
# mv: cannot stat 'surface.c': No such file or directory
enableParallelBuilding = false;
meta = {
homepage = "http://maude.cs.illinois.edu/";
description = "High-level specification language";
license = lib.licenses.gpl2Plus;
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.
'';
platforms = lib.platforms.unix;
maintainers = [ lib.maintainers.peti ];
};
}