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

clprover: init at 1.0.3 (#56403)

Browse Source 
* clprover: init at 1.0.3
This commit is contained in:
Merlin Göttlinger 2019-02-26 13:36:04 +01:00 committed by Michael Raskin
parent 8aa34227e8
commit 5781856630
2 changed files with 29 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

27
pkgs/applications/science/logic/clprover/clprover.nix Normal file
View File

@ -0,0 +1,27 @@
{ stdenv, pkgs, fetchzip }:
stdenv.mkDerivation rec {
name = "clprover-${version}";
version = "1.0.3";
src = fetchzip {
url = "http://cgi.csc.liv.ac.uk/~ullrich/CLProver++/CLProver++-v1.0.3-18-04-2015.zip";
sha256 = "10kmlg4m572qwfzi6hkyb0ypb643xw8sfb55xx7866lyh37w1q3s";
stripRoot = false;
};
installPhase = ''
mkdir $out
cp -r bin $out/bin
mkdir -p $out/share/clprover
cp -r examples $out/share/clprover/examples
'';
meta = with stdenv.lib; {
description = "Resolution-based theorem prover for Coalition Logic implemented in C++";
homepage = http://cgi.csc.liv.ac.uk/~ullrich/CLProver++/;
license = licenses.gpl3; # Note that while the website states that it is GPLv2 but the file in the zip as well as the comments in the source state it is GPLv3
maintainers = with maintainers; [ mgttlinger ];
platforms = [ "x86_64-linux" ];
};
}

2
pkgs/top-level/all-packages.nix
View File

@ -1181,6 +1181,8 @@ in
clingo = callPackage ../applications/science/logic/potassco/clingo.nix { }; clingo = callPackage ../applications/science/logic/potassco/clingo.nix { };
clprover = callPackage ../applications/science/logic/clprover/clprover.nix { };
colord-kde = libsForQt5.callPackage ../tools/misc/colord-kde {}; colord-kde = libsForQt5.callPackage ../tools/misc/colord-kde {};
colpack = callPackage ../applications/science/math/colpack { }; colpack = callPackage ../applications/science/math/colpack { };