otter: remove after being marked broken for over two years
It was marked in commit ca0e724266
by Tuomas Tynkkynen on 2016-04-27 (commited on 2016-04-27)
This commit is contained in:
parent
148b8f1543
commit
672ea43d0e
|
@ -1,53 +0,0 @@
|
||||||
{lib, stdenv, fetchurl, tcsh, libXaw, libXt, libX11}:
|
|
||||||
let
|
|
||||||
s = # Generated upstream information
|
|
||||||
rec {
|
|
||||||
version = "3.3f";
|
|
||||||
name = "otter";
|
|
||||||
url = "https://www.cs.unm.edu/~mccune/otter/otter-${version}.tar.gz";
|
|
||||||
sha256 = "16mc1npl7sk9cmqhrf3ghfmvx29inijw76f1b1lsykllaxjqqb1r";
|
|
||||||
};
|
|
||||||
buildInputs = [
|
|
||||||
tcsh libXaw libXt libX11
|
|
||||||
];
|
|
||||||
in
|
|
||||||
stdenv.mkDerivation {
|
|
||||||
name = "${s.name}-${s.version}";
|
|
||||||
inherit buildInputs;
|
|
||||||
src = fetchurl {
|
|
||||||
inherit (s) url sha256;
|
|
||||||
};
|
|
||||||
|
|
||||||
hardeningDisable = [ "format" ];
|
|
||||||
|
|
||||||
buildPhase = ''
|
|
||||||
find . -name Makefile | xargs sed -i -e "s@/bin/rm@$(type -P rm)@g"
|
|
||||||
find . -name Makefile | xargs sed -i -e "s@/bin/mv@$(type -P mv)@g"
|
|
||||||
find . -perm -0100 -type f | xargs sed -i -e "s@/bin/csh@$(type -P csh)@g"
|
|
||||||
find . -perm -0100 -type f | xargs sed -i -e "s@/bin/rm@$(type -P rm)@g"
|
|
||||||
find . -perm -0100 -type f | xargs sed -i -e "s@/bin/mv@$(type -P mv)@g"
|
|
||||||
|
|
||||||
sed -i -e "s/^XLIBS *=.*/XLIBS=-lXaw -lXt -lX11/" source/formed/Makefile
|
|
||||||
|
|
||||||
make all
|
|
||||||
make -C examples all
|
|
||||||
make -C examples-mace2 all
|
|
||||||
make -C source/formed realclean
|
|
||||||
make -C source/formed formed
|
|
||||||
'';
|
|
||||||
|
|
||||||
installPhase = ''
|
|
||||||
mkdir -p "$out"/{bin,share/otter}
|
|
||||||
cp bin/* source/formed/formed "$out/bin/"
|
|
||||||
cp -r examples examples-mace2 documents README* Legal Changelog Contents index.html "$out/share/otter/"
|
|
||||||
'';
|
|
||||||
|
|
||||||
meta = {
|
|
||||||
inherit (s) version;
|
|
||||||
description = "A reliable first-order theorem prover";
|
|
||||||
license = lib.licenses.publicDomain ;
|
|
||||||
maintainers = [lib.maintainers.raskin];
|
|
||||||
platforms = lib.platforms.linux;
|
|
||||||
broken = true;
|
|
||||||
};
|
|
||||||
}
|
|
|
@ -32812,8 +32812,6 @@ with pkgs;
|
||||||
|
|
||||||
ott = callPackage ../applications/science/logic/ott { };
|
ott = callPackage ../applications/science/logic/ott { };
|
||||||
|
|
||||||
otter = callPackage ../applications/science/logic/otter {};
|
|
||||||
|
|
||||||
picosat = callPackage ../applications/science/logic/picosat {};
|
picosat = callPackage ../applications/science/logic/picosat {};
|
||||||
|
|
||||||
libpoly = callPackage ../applications/science/logic/poly {};
|
libpoly = callPackage ../applications/science/logic/poly {};
|
||||||
|
|
Loading…
Reference in a new issue