diff options
Diffstat (limited to 'nixpkgs/pkgs/applications/science/logic/cryptominisat/default.nix')
-rw-r--r-- | nixpkgs/pkgs/applications/science/logic/cryptominisat/default.nix | 24 |
1 files changed, 24 insertions, 0 deletions
diff --git a/nixpkgs/pkgs/applications/science/logic/cryptominisat/default.nix b/nixpkgs/pkgs/applications/science/logic/cryptominisat/default.nix new file mode 100644 index 000000000000..18af6f0a618b --- /dev/null +++ b/nixpkgs/pkgs/applications/science/logic/cryptominisat/default.nix @@ -0,0 +1,24 @@ +{ stdenv, fetchFromGitHub, fetchpatch, cmake, python3, xxd, boost }: + +stdenv.mkDerivation rec { + name = "cryptominisat-${version}"; + version = "5.6.6"; + + src = fetchFromGitHub { + owner = "msoos"; + repo = "cryptominisat"; + rev = version; + sha256 = "1a1494gj4j73yij0hjbzsn2hglk9zy5c5wfwgig3j67cis28saf5"; + }; + + buildInputs = [ python3 boost ]; + nativeBuildInputs = [ cmake xxd ]; + + meta = with stdenv.lib; { + description = "An advanced SAT Solver"; + homepage = https://github.com/msoos/cryptominisat; + license = licenses.mit; + maintainers = with maintainers; [ mic92 ]; + platforms = platforms.unix; + }; +} |