JakeHillion/nixpkgs
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

prover9: convert patchPhase to postPatch, cleanup meta

Browse Source
This commit is contained in:
Sandro Jäckel 2021-11-09 10:20:48 +01:00
parent c135faf682
commit 11c55d061e
No known key found for this signature in database
GPG Key ID: 3AF5A43A3EECC2E5
1 changed files with 5 additions and 5 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

10
pkgs/applications/science/logic/prover9/default.nix
View File

@ -11,7 +11,7 @@ stdenv.mkDerivation {
hardeningDisable = [ "format" ];
patchPhase = ''
postPatch = ''
RM=$(type -tp rm)
MV=$(type -tp mv)
CP=$(type -tp cp)
@ -31,16 +31,16 @@ stdenv.mkDerivation {
cp bin/* $out/bin
'';
meta = {
meta = with lib; {
homepage = "https://www.cs.unm.edu/~mccune/mace4/";
license = "GPL";
license = license.gpl;
description = "Automated theorem prover for first-order and equational logic";
longDescription = ''
Prover9 is a resolution/paramodulation automated theorem prover
for first-order and equational logic. Prover9 is a successor of
the Otter Prover. This is the LADR command-line version.
'';
platforms = lib.platforms.linux;
maintainers = [ ];
platforms = platforms.linux;
maintainers = with maintainers; [ ];
};
}