diff options
Diffstat (limited to 'pkgs/applications/science/logic/sad/default.nix')
| -rw-r--r-- | pkgs/applications/science/logic/sad/default.nix | 15 |
1 files changed, 8 insertions, 7 deletions
diff --git a/pkgs/applications/science/logic/sad/default.nix b/pkgs/applications/science/logic/sad/default.nix index fe0ca1b3017ba..a509d70ed4624 100644 --- a/pkgs/applications/science/logic/sad/default.nix +++ b/pkgs/applications/science/logic/sad/default.nix @@ -1,9 +1,10 @@ { lib, stdenv, fetchurl, haskell, spass }: -stdenv.mkDerivation { - name = "system-for-automated-deduction-2.3.25"; +stdenv.mkDerivation rec { + pname = "system-for-automated-deduction"; + version = "2.3.25"; src = fetchurl { - url = "http://nevidal.org/download/sad-2.3-25.tar.gz"; + url = "http://nevidal.org/download/sad-${version}.tar.gz"; sha256 = "10jd93xgarik7xwys5lq7fx4vqp7c0yg1gfin9cqfch1k1v8ap4b"; }; buildInputs = [ haskell.compiler.ghc844 spass ]; @@ -15,7 +16,7 @@ stdenv.mkDerivation { ]; postPatch = '' substituteInPlace Alice/Main.hs --replace init.opt $out/init.opt - ''; + ''; installPhase = '' mkdir -p $out/{bin,provers} install alice $out/bin @@ -23,18 +24,18 @@ stdenv.mkDerivation { 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 + broken = true; # ghc-8.4.4 is gone from Nixpkgs }; } |