cryptominisat: Initial packaging

2016-05-17 17:12:17 -04:00
commit 5b92a21007
1 changed files with 26 additions and 0 deletions
--- a/cryptominisat.nix
+++ b/cryptominisat.nix
@@ -0,0 +1,26 @@
+with import <nixpkgs> {};
+
+stdenv.mkDerivation {
+  name = "cryptominisat-4.5.3";
+
+  src = fetchurl {
+    url = https://github.com/msoos/cryptominisat/archive/4.5.3.tar.gz;
+    sha256 = "0k7blcphchn7pbandbar45zp2i3xrgcayiysv9lc6kbk4l7a4k8i"; 
+  };
+
+  buildInputs = [
+    cmake
+    zlib
+    sqlite
+    boost
+    python27
+    vim
+  ];
+
+  meta = with stdenv.lib; {
+    homepage = https://github.com/msoos/cryptominisat;
+    description = "An advanced SAT Solver";
+    platforms = platforms.all;
+    license = licenses.lgpl3;
+  };
+}