diff options
author | Jörg Thalheim <joerg@thalheim.io> | 2017-05-14 09:53:30 +0100 |
---|---|---|
committer | Jörg Thalheim <joerg@thalheim.io> | 2017-05-22 22:25:14 +0100 |
commit | 893c7b611272c4ba2f8ba6b1b339dd845029cac3 (patch) | |
tree | 836bba5c8717a731b2db829053d35738bbdb5986 /pkgs/applications/science/logic | |
parent | 77869222402a0a2e926f770f3d62dd86430cd521 (diff) | |
download | nixlib-893c7b611272c4ba2f8ba6b1b339dd845029cac3.tar nixlib-893c7b611272c4ba2f8ba6b1b339dd845029cac3.tar.gz nixlib-893c7b611272c4ba2f8ba6b1b339dd845029cac3.tar.bz2 nixlib-893c7b611272c4ba2f8ba6b1b339dd845029cac3.tar.lz nixlib-893c7b611272c4ba2f8ba6b1b339dd845029cac3.tar.xz nixlib-893c7b611272c4ba2f8ba6b1b339dd845029cac3.tar.zst nixlib-893c7b611272c4ba2f8ba6b1b339dd845029cac3.zip |
cryptominisat: init at 5.0.1
Diffstat (limited to 'pkgs/applications/science/logic')
-rw-r--r-- | pkgs/applications/science/logic/cryptominisat/default.nix | 31 |
1 files changed, 31 insertions, 0 deletions
diff --git a/pkgs/applications/science/logic/cryptominisat/default.nix b/pkgs/applications/science/logic/cryptominisat/default.nix new file mode 100644 index 000000000000..26efbc5fe723 --- /dev/null +++ b/pkgs/applications/science/logic/cryptominisat/default.nix @@ -0,0 +1,31 @@ +{ stdenv, fetchFromGitHub, fetchpatch, cmake, python, vim }: + +stdenv.mkDerivation rec { + name = "cryptominisat-${version}"; + version = "5.0.1"; + + src = fetchFromGitHub { + owner = "msoos"; + repo = "cryptominisat"; + rev = version; + sha256 = "0cpw5d9vplxvv3aaplhnga55gz1hy29p7s4pkw1306knkbhlzvkb"; + }; + + # vim for xxd binary + buildInputs = [ python vim ]; + nativeBuildInputs = [ cmake ]; + + patches = [(fetchpatch rec { + name = "fix-exported-library-name.patch"; + url = "https://github.com/msoos/cryptominisat/commit/7a47795cbe5ad5a899731102d297f234bcade077.patch"; + sha256 = "11hf3cfqs4cykn7rlgjglq29lzqfxvlm0f20qasi0kdrz01cr30f"; + })]; + + meta = with stdenv.lib; { + description = "An advanced SAT Solver"; + maintainers = with maintainers; [ mic92 ]; + platforms = platforms.unix; + license = licenses.mit; + homepage = https://github.com/msoos/cryptominisat; + }; +} |