6f2fbf5f0b
This fixes hopefully all remaining missing lib inputs, likely introduced as a regression by our recent treewide switch from stdenv.lib to lib. These instances are all I could find using nix-instantiate --parse using the following command: find "$NIXPKGS" -name '*.nix' \ -and ! -path "$NIXPKGS/pkgs/development/interpreters/python/cpython/docs/template.nix" \ -and ! -path '$NIXPKGS/.git/**' \ -print0 | xargs -0 nix-instantiate --parse >/dev/null
41 lines
1.4 KiB
Nix
41 lines
1.4 KiB
Nix
{ lib, stdenv, fetchurl, haskell, spass }:
|
|
|
|
stdenv.mkDerivation {
|
|
name = "system-for-automated-deduction-2.3.25";
|
|
src = fetchurl {
|
|
url = "http://nevidal.org/download/sad-2.3-25.tar.gz";
|
|
sha256 = "10jd93xgarik7xwys5lq7fx4vqp7c0yg1gfin9cqfch1k1v8ap4b";
|
|
};
|
|
buildInputs = [ haskell.compiler.ghc844 spass ];
|
|
patches = [
|
|
./patch.patch
|
|
# Since the LTS 12.0 update, <> is an operator in Prelude, colliding with
|
|
# the <> operator with a different meaning defined by this package
|
|
./monoid.patch
|
|
];
|
|
postPatch = ''
|
|
substituteInPlace Alice/Main.hs --replace init.opt $out/init.opt
|
|
'';
|
|
installPhase = ''
|
|
mkdir -p $out/{bin,provers}
|
|
install alice $out/bin
|
|
install provers/moses $out/provers
|
|
substituteAll provers/provers.dat $out/provers/provers.dat
|
|
substituteAll init.opt $out/init.opt
|
|
cp -r examples $out
|
|
'';
|
|
inherit spass;
|
|
meta = {
|
|
description = "A program for automated proving of mathematical texts";
|
|
longDescription = ''
|
|
The system for automated deduction is intended for automated processing of formal mathematical texts
|
|
written in a special language called ForTheL (FORmal THEory Language) or in a traditional first-order language
|
|
'';
|
|
license = lib.licenses.gpl3Plus;
|
|
maintainers = [ lib.maintainers.schmitthenner ];
|
|
homepage = "http://nevidal.org/sad.en.html";
|
|
platforms = lib.platforms.linux;
|
|
broken = true; # ghc-8.4.4 is gone from Nixpkgs
|
|
};
|
|
}
|